
معرفی
Vasco T. Vasconcelos is a Professor at the University of Lisbon, affiliated with LASIGE (Laboratory of Computer Science and Informatics). His research focuses on programming languages, type systems, and concurrency, particularly in session types and their applications to functional and parallel programming.
- Academic Rank: Professor
- Affiliation: LASIGE, University of Lisbon
Vasconcelos has extensively contributed to session type theory, including context-free grammars, asynchronous communication, and gradual typing. His work bridges theoretical formalisms and practical implementations in functional languages like FreeST.
He has served on program and steering committees for conferences such as POPL, SPLASH, and ECOOP, and has presented keynotes, including the Mooly Fest at ETAPS 2019. Vasconcelos also mentors students and participates in academic panels, though no specific advisees are listed here.
Vasco T. Vasconcelos در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
Matthias FelleisenMax Planck Institute for Software Systems · استاد
J. Garrett MorrisInria · پژوهشگر
Nobuko YoshidaInria · استاد
Pascal WeisenburgerMax Planck Institute for Software Systems · پژوهشگر
Carla FerreiraIMDEA Software Institute · پژوهشگر
Olivier FlückigerMax Planck Institute for Software Systems · پژوهشگر