Saint Andrews, University of, PhD, Computer Science
Study mode |
Start date |
Duration |
Full-time |
n/a |
years: 3 |
Part-time |
n/a |
: 0 |
Research areas currently include: automated theorem-proving, computational logic, computer algebra, concurrency, distributed systems, expert systems, formal methods and semantics, functional programming, neural nets, operating systems, persistent programming, programming language design and implementation, symbolic computation, type systems.
Other courses at University of St Andrews
Photos