Lecturer in the IT, Multimedia and Telecommunications Department
Formal verification; formal methods in software engineering; theoretical computer science.
Teacher of the following programs:
Research group: SOM / Internet Interdisciplinary Institute (IN3).