Hugo Torres Vieira is a Research Assistant at the Nova Computer Science Department. His research activities are focused on programming language models for concurrency and distributed computing, namely service-oriented computing, and language based verification techniques for communication centric software, that address issues such as communication safety.
Torres Vieira holds a B.Sc. in Computer Science Engineering from the Universidade Nova de Lisboa.

João Costa Seco is an Assistant Professor. His research activities are programming language design and lightweight language based program analysis focused on program modularity, program construction and concurrency. He teaches courses related to compiler construction and programming language theory.
Costa Seco holds a Ph.D., a M.Sc., and a B.Sc. in Computer Science from the Universidade Nova de Lisboa.

Jorge A. Perez is a Post Doctoral Researcher at the Computer Science Department, New University of Lisbon. His research activities and interests are in formal languages for concurrency theory (in particular, process calculi), their fundamental properties and associated verification/proof techniques. 
Perez holds a Ph.D. in Computer Science from the University of Bologna (2010) and an Engineering Degree in Computer Science from Universidad Javeriana in Colombia (2006).

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.