Research Interest & Invited talks

My main research interests include:
LTL Synthesis, compositional reasoning, model checking, proof methods, deductive methods, automata theory.
On the other hand I also very interested in:
Programming language, software engineering, aspect oriented programing, object oriented design.

Generally, I'm very enthusiastic about practical solutions.

I'm also (less formally) interested in:
Constraint solving, and functional verification of concurrent programs.
The psychological aspect of applications.
Personal information management (PIM).
User interfaces and graphic design.