Born in 1969 in Lisbon, Jaime Ramos graduated in Applied Mathematics and Computation at Instituto Superior Técnico (IST) in 1992 and received his PhD in Mathematics from the Technical University of Lisbon in 2000. Currently he is an Associate Professor at the Department of Mathematics of IST, a researcher at Instituto de Telecomunicações (SQIG), and Vice-coordinator of the Masters Programme in Mathematics at IST. He is also a founding member of SQIG.

Most of his research has been focused on applications of logic to computer science, including temporal logic, situation calculus, constructs for combining logics, kleistic logic and linear algebra of programming.

Papers and profiles in the following links:

Projects at Instituto de Telecomunicações:

Courses in the areas of Logic, Discrete Mathematics and Optimization.