Tuesday, January 10, 2006
About Me
I am Head of the School of Informatics, and Professor of Computer Systems, at The University of Edinburgh.
My research interests are centred around applications of logics in Computer Science, Artificial Intelligence, and Cognitive Science.
Links
Previous Posts
- Plans
- CTL example
- Assignment 1 Submission
- mu-calculus and CTL
- mu-calculus and CTL
- mu-calculus and CTL
- Assignment 1 released
- NuSMV
- Temporal Logic: CTL
- Finite State Machines
Propositional Methods is an MSc course given at the University of Edinburgh
0 Comments:
Post a Comment
<< Home