Experts guide

Robert Claris Viladrosa

Lecturer in the IT, Multimedia and Telecommunications Department
Director of the university master's degree programme in Computer Engineering

Field of expertise: Computer science

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: GRES-UOC (Software Engineering).

Position in research group: Lead researcher.

Related news