|
|
Teaching
Courses
I Currently teach the following two courses:
Language
and Communication (internal link) which is a level 1 course. I
teach the language part of this course, and cover themes such as
regular expressions, finite state automata, context free grammars and
parsers.
Specification
and Verification (internal link) which is an MSc course. I teach
the PVS part of this course, and cover themes such as propositional
and predicate logic, writing specifications and doing basic proofs,
all using the theorem prover PVS.
|