Team
I am fortunate to work with (and learn from) a fantastic group of young researchers!
Wanna work with us? See below.
Current Postdocs
Current PhD Students
Jovana Dedeić (co-supervised with Vanja Pantović)
[DBLP]
Graduated PhD Students
Mauricio Cano (2020)
Session-based concurrency: between operational and declarative views [DOI]
[DBLP]
BSc and MSc Students
MSc students
Jeroen Brandsma (2018, co-supervised with Paris Avgeriou)
Firat Sertgoz (2018, co-supervised with Marco Aiello)
Bas van den Heuvel (2019, UvA - co-supervised with Alban Ponse)
BSc students
Elton Antonis (2018, Honours College and BSc Thesis)
Alexandru Babeanu (2018, co-supervised with Mauricio Cano)
Barnabas Busa (2018, co-supervised with Vasilios Andrikopoulos)
Alex Keizer (2020, UL - main supervisor Henning Basold)
Daan Raatjes (2018, Honours College)
Luis D. Reyes (2020)
Ana Roman (2017)
Kanghu Shi (2020, Honours College)
Bianca Udrescu (2019)
Jakob Vokac (2019)
Erik Voogd (2018)
Folkert de Vries (2018)
Evi Xhelo (2019)
Work with us!
PhD scholarship on "Concurrency and Logic" - supported by the Young Academy Groningen, with Barteld Kooi.
See below for a description
Postdoc: at the moment I don't have any vacancies - stay tuned!
If you have your own source of funding (already acquired): send me an email including a detailed CV, transcripts of academic record, and a short statement of research interest.
BSc / MSc students: please send me an email to discuss research topics.
PHD SCHOLARSHIP ON “CONCURRENCY AND LOGIC"
Posted: January 10, 2021.
Last updated: January 13, 2021.
Supervisors:
Prof. Barteld Kooi (https://www.philos.rug.nl/~barteld/)
Prof. Jorge A. Pérez (https://www.jperez.nl)
Description
We seek excellent candidates for one four-year PhD scholarship on the topics of message-passing concurrency, modal logic, and type systems.
The PhD scholarship concerns the interdisciplinary project "Knowledge is Power: Reliable Communicating Software by Epistemic Logics", supported by the Young Academy Groningen (https://www.rug.nl/research/young-academy/).
Details on the PhD Scholarship program can be found here:
https://www.rug.nl/education/phd-programmes/phd-scholarship-programme/
The starting point of the proposed research is "propositions as sessions", a remarkable principle that connects concurrency and logic in the style of the well-known Curry-Howard correspondence.
In this project, you will enhance the expressiveness of analysis techniques for message-passing programs by incorporating forms of knowledge and belief in formal specifications of communicating programs.
To this end, you will develop new extensions of "propositions as sessions" by exploiting elements from epistemic logics and modal logics.
Qualifications
You have an MSc degree (or equivalent) in Computer Science, (Philosophical) Logic, Mathematics, or Artificial Intelligence, with
proven experience in at least two of the following:
Modal logics and (their) proof theory
Concurrency theory and/or process calculi
Semantics of programming languages
Program verification and type systems
The Curry-Howard correspondence
Application
Details on the application procedure will be made available shortly at
https://www.rug.nl/about-us/work-with-us/
You will be asked to provide the following documents:
A brief letter of motivation
A CV, including contact details of two academic referees
A research proposal of max. 1500 words
A certified transcript of records
Scan of diploma/transcripts
Additional Information
Prospective applicants are strongly encouraged to contact the supervisors for further details on the research project and also advice on how to prepare their applications:
References
Caires, Pfenning, Toninho: Towards Concurrent Type Theory (2012)
Wadler: Propositions as Sessions (2012)
Caires, Pérez, Pfenning, Toninho: Domain-Aware Session Types (2019)