Departamento de Matemática
Instituto Superior Técnico
Av. Rovisco Pais 1049-001, Lisboa, Portugal
jabr@math.ist.utl.pt
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
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.