معرفی
Jan Gunnar Cederquist is an Assistant Professor at the Department of Computer Engineering, Instituto Superior Técnico, Technical University of Lisbon, since 2006. He is also a member of the SQIG (Security and Quantum Information Group) at IT (Instituto de Telecomunicações). His research focuses on mathematical modeling, formal specification, and verification, particularly in security protocols and language-based security.
His work spans software verification, type theory, and cryptographic protocol analysis. He has contributed to fields like non-repudiation protocols, RBAC, audit logic, and distributed security. He has taught courses ranging from Software Specification to Language-Based Security at the PhD and MSc levels. His students include MSc candidates Fernando Mário Machado Marques and Carlos Magno Gaspar Vasconcelos.
Previously, he held postdoctoral positions at the University of Twente, CWI, INRIA, and Imperial College London. He has chaired tracks at ACM SAC conferences (2010–2011) and served on program committees for security and formal methods events. His industry experience includes roles at Prover Technology and SEMCON.
