Research
Interest
Process calculi, concurrency and type theory
Activities
Events
l serve as a PC member at ICE 2023 - 16th Interaction and Concurrency Experience
I served as a PC member at ICE 2022 - 15th Interaction and Concurrency Experience
Visits
Johann Bernoulli Institute for Mathematics and Computer Science, University of Groningen; mentor: Prof. Jorge A. Pérez; 1 week, April 2018 (Erasmus+ International Credit Mobility (ICM))
Johann Bernoulli Institute for Mathematics and Computer Science, University of Groningen; mentor: Prof. Jorge A. Pérez; 1 week, July 2017
Johann Bernoulli Institute for Mathematics and Computer Science, University of Groningen; mentor: Prof. Jorge A. Pérez; 2 weeks, September 2016
Johann Bernoulli Institute for Mathematics and Computer Science, University of Groningen; mentor: Prof. Jorge A. Pérez; 4 weeks, January 2016
Johann Bernoulli Institute for Mathematics and Computer Science, University of Groningen; mentor: Prof. Jorge A. Pérez; 3 weeks, January 2015
Summer schools
Second International Summer School on Behavioural Types, 27th June - 1st July, 2016, Limassol, Cyprus
Summer School on the Interactions between Modern Foundations of Mathematics and Contemporary Philosophy, 21 - 25 July 2014, Benedictine nunnery on Fraueninsel (as island in Chiemsee), Germany
First International Summer School on Behavioural Types, 30th June - 4th July, 2014, Lovran, Croatia
Tempus Student Exchange Visual Mathematics and Education , 30th April - 29 May, 2014, Vienna, Austria (Student book of study visits)
European Summer School for Visual Mathematics and Education , 13 -25 July, 2013, Eger, Hungary
Other activities
22nd International Conference on Types for Proofs and Programs, TYPES 2016, 23-26 May 2016, Novi Sad, Serbia
Logic and Applications 2015 (LAP 2015), 21-25 September 2015, Dubrovnik, Croatia
Mathematical Structures of Computation, 10 -14 February, 2014, Lyon, France
Probabilistic logics and applications, 26-27 September, 2013, Belgrade, Serbia
84th Annual Meeting of the International Association of Applied Mathematics and Mechanics - GAMM 2013 , 18 - 22 March, 2013, Novi Sad, Serbia