|
|
Research
Research areas
My research interests involve the following main topics:
- Artificial intelligence
- Formal verification and model checking
- Simulation-based verification and synthesis of Cyber-Physical Systems and Virtual Physiological Human models
- Knowledge representation and reasoning
- Constraint modelling and solving
Affiliations
A selected list of my publications.
A selected list of research projects I'm involved in.
|
[This web site could never be realised without the sophisticated features of a pure text editor and the extreme power of 220V]
|