Lecturer in the IT, Multimedia and Telecommunications DepartmentDirector of the university master's degree programme in Computer Engineering@robertclarisoLinkedin
Field of expertise: Computer science
(+34) 93 326 34 10
Knowledge area: Computing and theoretical computer science.
Expert in: Formal verification; formal methods in software engineering; theoretical computer science.
Research centre: Internet Interdisciplinary Institute (IN3).
Research group: SOM Research Lab (Systems, Software and Models Lab).
Position in research group: Researcher.