معرفی
Bernardo Toninho is an Assistant Professor at the School of Science and Technology, NOVA University of Lisbon, with a research focus on type theory and its applications to concurrent and distributed systems. He is affiliated with NOVA-LINCS and actively works on session types, linear logic, and program verification in languages like Go, Rust, and Haskell.
- Research interests include Type Theory, Programming Languages, Linear Logic, and Meta-programming
- Current teaching: Concurrent Programming Languages, Introduction to Programming (Fall 2022)
- Organizer of Programming Languages Mentoring Workshop (PLMW) at POPL 2019
- Judge for Student Research Competition at SPLASH 2019
His work on Refinement Kinds (with Luís Caires) explores type-safe meta-programming by extending refinement types to the kind level. Articles highlight his contributions to session type theory, type systems for concurrency, and formal verification of channel-based communication.
Scientific Awards
- Distinguished Reviewer Award (ESOP 2022)
He has served on program committees for OOPSLA, ICFP, ESOP, and CONCUR, and contributed to foundational work in session types and linear logic. Projects include GOLEM (funded research) and Featherweight Go (formalization of Go's concurrency model).
