Fundamental Computing (FC)
Our research group is part of the Bernoulli Institute for Mathematics, Computer Science, and Artificial Intelligence of the University of Groningen, the Netherlands.
Group leader: Prof. Dr. Jorge A. Pérez.
Objective
The group aims to contribute to the understanding of the logical and mathematical foundations of computing science and to realize a two-way transfer between this fundamental research and more applied sub-disciplines of computing science.
Recent News
| Sep 2020 | Dan Frumin joins our group as postdoctoral researcher. Welcome Dan! |
| Jun 2020 | Helle Hvid Hansen joins our group as associate professor and Rosalind Franklin Fellow. Welcome Helle! |
| Mar 2020 | Work with us! We have a vacancy on "Theory of Computation" at the level of assistant (tenure-track), associate, or full professor. Apply by May 5, 2020! |
| Feb 2020 | We hosted several visitors: Claudio Mezzina (University of Urbino), Mauricio Ayala (University of Brasilia), Kirstin Peters (TU Darmstadt). |
| Jan 2020 | Mauricio Cano successfully defended his PhD thesis - congratulations! |
| Oct 2019 | Bas van den Heuvel joins our group as PhD student. |
| Mar 2019 | Jorge A. Pérez has been selected as a new member of the Young Academy Groningen, a club for "the University’s most talented, enthusiastic and ambitious young researchers". |
| Feb 2019 | Joseph Paulus joins our group as PhD student. |
| Nov 2018 | Jorge A. Pérez and Alen Arslanagic gave contributed talks in the First VERSEN Workshop on Programming Languages in The Netherlands. |
| Aug 2018 | PhD opening to work in the VIDI project of Jorge A. Pérez. See the official vacancy for details and application procedure (deadline: October 1st, 2018). |
| July 2018 | Jorge A. Pérez has been invited to co-chair the 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2019) |
| June 2018 | Jorge A. Pérez has been awarded a VIDI career grant by the NWO. See the press releases by NWO and RUG. Please visit the dedicated website for details on currently available vacancies. |
| Apr 2018 | Alen Arslanagic joins our group as PhD student. |
| Jun 2016 | Dr Luis Quesada (University College Cork, Ireland) visits our group. |
| Jun 2016 | Jorge A. Pérez has been invited to serve in the PC of SAC 2017 (32nd ACM/SIGAPP Symposium On Applied Computing) - Track: Service-Oriented Architectures and Programming. |
| May 2016 | Jorge A. Pérez has been invited to attend the Dagstuhl Seminar 17051 (Theory and Applications of Behavioural Types). |
| Apr 2016 | Jorge A. Pérez has been invited to serve in the PC of EXPRESS/SOS 2016 (Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics). |
| Apr 2016 | Dr Claudio Mezzina (IMT Lucca, Italy) visits our group supported by EU COST Action 1405. |
| Mar 2016 | Two new accepted papers (co-authored by Jorge A. Pérez) in FORTE 2016, the 36th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE). |
| Feb 2016 | Dr Daniele Nantes (University of Brasilia, Brazil) visits our group. |
| Feb 2016 | Dr Jovana Dedeić (University of Novi Sad, Serbia) visits our group supported by EU COST Action 1201 (BETTY). |
| Jan 2016 | New accepted paper (co-authored by Jorge A. Pérez with Kouzapas and Yoshida) in ESOP 2016, the 25th European Symposium on Programming (ESOP). |
| Jan 2016 | Dr Jaime Arias (INRIA Bordeaux, France) visits our group and delivers a Computer Science colloquium. |
| Jan 2016 | Jorge A. Pérez is the editor of the conference report section of SIGLOG News, the newsletter of the ACM Special Interest Group on Logic and Computation (SIGLOG). |
| Sep 2015 | The CONCUR 2015 paper co-authored by Jorge A. Pérez (with Kouzapas and Yoshida) has been selected among the best papers, and invited to the special issue to appear in Springer's Acta Informatica. |
| Sep 2015 | Mr Mauricio Cano joins as a PhD student. |
| Ago 2015 | Two new accepted papers in EXPRESS/SOS 2015, the combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics. |
| Jun 2015 | New accepted paper (co-authored by Jorge A. Pérez with Kouzapas and Yoshida) in CONCUR 2015, the 26th Conference on Concurrency Theory. |
| Jun 2015 | Jorge A. Pérez has been invited to serve in the PC of SAC 2016 (31st ACM/SIGAPP Symposium On Applied Computing) - Track: Service-Oriented Architectures and Programming. |
| Jun 2015 | New accepted paper in PPDP 2015, the 17th International Symposium on Principles and Practice of Declarative Programming. |
| Apr 2015 | Jorge A. Pérez has been invited to serve in the PC of ICALP 2016 (43rd International Colloquium on Automata, Languages, and Programming / Track B). ICALP is the premier European conference in Theoretical Computer Science. |