Jaime Ramos

Departamento de Matemática
Instituto Superior Técnico
Av. Rovisco Pais 1049-001, Lisboa, Portugal


britoramos at Skype


Assistant Professor for Logic and Computation at IST
Vice-coordinator of the Masters Programme in Mathematics at IST
Founding member of SQIG

Short Biography

Born in 1969 in Lisbon, Jaime Ramos graduated in Applied Mathematics and Computation at IST in 1992 and received his PhD in Mathematics from the Technical University of Lisbon in 2000.



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.