Lecturer in the IT, Multimedia and Telecommunications DepartmentDirector of the university master's degree programme in Computer Engineering
Formal verification; formal methods in software engineering; theoretical computer science.
Teacher of the following programs:
Research group: SOM Research Lab / Internet Interdisciplinary Institute (IN3).