Short CV (2 pages, pdf, January 2024)
Vasco T. Vasconcelos is a professor at the Department of Informatics, Faculty of Sciences, University of Lisbon where he has been lecturing since March 1996. He is a member of the LASIGE research lab. He received M.Sc. and Ph.D. degrees in computer science from Keio University (1992, 1995), and the habilitation in informatics from Nova University of Lisbon (2003). Spent a (made short by the pandemics) sabbatical at University of Glasgow in Spring 2020, a sabbatical semester at Kyoto University in Autumn 2023 and Autumn 2016 and a year at University of Sussex in 2002-03. He was at Nova University of Lisbon, first as a post doc, then as teaching assistant in 1995-96, and worked at Sony Computer Science Laboratory, Tokyo, in 1993-94 while a Ph.D. student. Vasconcelos is a founding member of the Reliable Software Systems research line at LASIGE. His research work centers on programming languages for concurrent and distributed programming, type systems, process calculi, and specification and verification of computer systems.
| Department of Informatics | Office: 6.3.12 |
| Faculty of Sciences | Phone: +351 217 500 608 |
| University of Lisbon | Office: +351 217 500 042 |
| Campo Grande | Internal calls: 26312 |
| 1749-016 Lisboa | email: |
| Portugal |