Prof. Dr. Jorge A. Pérez

Associate Professor in Software Foundations

• Room number: 558 (Bernoulliborg, building 5161)
• E-mail: j.a.perez((at))rug.nl
• Personal webpage
• Further information: DBLP entry / Google scholar
• Phone numbers
  • domestic: (050) 363 3971
  • international: +31 50 363 3971

Current Research Interests

• semantics of programming languages
• logic in computer science
• concurrency theory: logical foundations and process calculi
• type systems

Ongoing Research Projects

• NWO Vidi Grant Unifying Correctness for Communicating Software (2019 - 2024)

Graduated PhD Students

• Dr Mauricio Cano (2020)

Current PhD Students

• Mr Alen Arslanagic (Since 04/2018)
• Mrs Jovana Dedeic (Novi Sad, Serbia)
• Mr Bas van den Heuvel (Since 10/2019)
• Mr Joseph Paulus (Since 02/2019)