Luo, Zhaohui
Edit Page
Report
Scan day: 09 February 2014 UTC
3
Virus safety - good
Description: University of London, UK - Type theory, theoretical computer science and semantics of natural languages.
Logic -- type theory, proof theory, computer-assisted formal reasoning. Language -- advanced programming, mathematical vernacular, linguistic semantics. Software engineering -- specification languages, system verification, formal methods.
Size: 238 chars
Contact Information
Email:Send Message
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Zhaohui Luo's Home Page |
| Keywords: | |
| Description: | |
| IP-address: | 134.219.205.132 |