Luís Caires is an Associate Professor and he also directs the Centre for Informatics and Information Technology. His research activities are centered on principles and tools for software construction, programming languages, and language based analysis techniques for concurrency and security. He teaches a range of courses on programming languages theory, design and implementation, program analysis, software verification, and principles of concurrency and security. His recent research projects focus on programming language-based verification techniques for concurrency and security in distributed and service based systems, e.g. Sensoria, SecureSpace, SpaceTimeTypes, and MobiLog, in conjunction with Carnegie Mellon.
Caires holds Ph.D. and M.Sc. degrees in Computer Science from the Universidade Nova de Lisboa, and a B.Sc. in Computer Science from the Universidade de Lisboa.