computer science: FOrmal Languages and COncurrency
Team members:
- dr Kamila Barylska
- dr Anna Gogolińska
- dr Mariusz Kaniecki
- mgr inż. Mateusz Kamiński
- mgr inż. Damian Kurpiewski
- dr hab. Łukasz Mikulski, prof. UMK – lider
- dr hab. Andrzej Mróz, prof. UMK
- dr Marek Nowicki
- dr Marcin Piątkowski
- dr Piotr Przymus
email: khama@mat.umk.pl
Kamila Barylska obtained a master’s degree in computer science in 2005 (with the paper entitled “Conspiracies in Petri nets and methods of avoiding them”), and a PhD degree in mathematics with a specialization in computer science, based on the dissertation entitled “Persistence and conflictlessness in Petri nets”, in 2011. The promotor of both theses was dr. hab. Edward Ochmański, prof. NCU.
Her scientific interests include the mathematical foundations of computer science and are focused on the theory of concurrency (mainly related to Petri nets – their analysis and synthesis).
She is the laureate of three team awards founded by the Rector of the Nicolaus Copernicus University for scientific results (in the following years: 2009 – III degree, 2013 – III degree and 2016 – II degree). She was also a contractor in grants from the Polish Ministry of Science and Higher Education (N N206 258035) and the Polish National Science Center (2013/09/D/ST6/03928). Her most important achievements include obtaining a nine-month scholarship for postdocs as part of the project “Information Technologies: Research and their Interdisciplinary Applications” implemented by the Institute of Computer Sciences, Polish Academy od Science in Warsaw, as well as a post-doctoral scholarship within the project “Enhancing Educational Potential of Nicolaus Copernicus University in Toruń in the Disciplines of Mathematical and Natural Sciences” for an internship under the guidance of prof. dr. Eike Besta at Department für Informatik, Universität Oldenburg (held from February to July 2015).
Kamila Barylska actively cooperates with foreign research centers, including Universität Oldenburg, Newcastle University and University of Cyprus
email: leii@mat.umk.pl
Anna Gogolinska obtained her master’s degree in computer science in 2009, with the paper entited “Concurrent systems in biology” (supervisor dr hab. Edward Ochmański, prof. NCU) at the Faculty of Mathematics and Computer Science, Nicolaus Copernicus University.
She defended herdoctoral dissertation entitled “Algorithms Inspired by Petri Nets in Modeling of Complex Biological Systems” at the Faculty of Mathematics, Computer Science and Mechanics of the University of Warsaw in 2016.
Her research interests include wide area of Petri nets applications, especially their applications in modeling of biological systems and processes. She created Petri nets model of the human immune system and compex framework based on Petri nets to analysie and study results obtained from molecular dynamic simulations.
As her achievement, one can mention the awarding, with distinction, of the scholarship “Step into the future – scholarships for PhD students of the fifth edition” in the 2013/2014 academic year.
email: kanies@mat.umk.pl
Mariusz Kaniecki received his master’s degree in mathematics in 2014, defending his master’s thesis „Partial orders in the category of invariant subspaces of nilpotent linear operators” (supervisor: dr hab. Justyna Kosakowska, prof. NCU). He obtained his PhD in mathematics in 2021 by defending the thesis “Degenerations and generic extensions in discrete subcategories of the category of invariant subspaces of nilpotent linear operators ” supervised by dr hab. Justyna Kosakowska, prof. NCU. He is employed at Nicolaus Copernicus University since 2018. His scientific interests are concentrated around the combinatorics, representation theory of algebras and algebraic geometry, especially the algorithmic approach to solving problems in algebra.
email: mathis@mat.umk.pl
email: blackbat@mat.umk.pl
Damian Kurpiewski obtained his master’s degree in computer science in 215, defending his master’s thesis “Extension of Lindenmayer systems and their visualization” (supervisor: Dr. Błażej Zyglarski).
His research interests include temporal logic, modeling, specification and verification of strategies and interactions between agents in multi-agent systems. In particular, he focuses on the modeling of e-voting systems, as well as on the verification methods for ATL logic with incomplete information.
Damian Kurpiewski actively cooperates with foreign research centers, including Luxembourg and France. He was a researcher in the VoteVerif and STV projects as part of CORE/PolLux.
dr hab. Łukasz Mikulski, prof. UMK – lider
email: lukasz.mikulski@mat.umk.pl
Łukasz Mikulski obtained a master’s degree in computer science in 2006, and a master’s degree in mathematics in 2007 defending his master’s thesis “Development of parallel molecular dynamics algorithms” (supervisor Piotr Bała) and ” Topology for ethics of concurrency ” (supervisor Edward Ochmański), both at the Faculty of Mathematics and Computer Science, Nicolaus Copernicus University, where he was employed in 2007. He defended his doctoral dissertation entitled “Infinite Processes of Concurrent Systems” at the Faculty of Mathematics, Computer Science and Mechanics of the University of Warsaw.
His research interests include various methods of modeling, synthesis and analysis of concurrent systems. Among others, they include Petri nets, generalizations of Mazurkiewicz’s traces, order invariants, reaction systems or multi-agent systems. He is a co-author of the theory of step traces and generalized relational structures that can be used to describe and study processes in systems with concurrent step sequence semantics.
He was honored with two individual awards, three team awards and two scholarships for outstanding scientific publications of his UMK Rector Magnificence. He completed postdoctoral internships at Newcastle University, the Institute of Computer Science of the Polish Academy of Sciences and the Institute of Informatics of the University of Warsaw. He was the head of the National Science Center grant (2013/09 / D / ST6 / 03928) as well as the contractor or researcher in four other NCN / MNiSW grants and two British EPSRC grants. In 2016-2019, he actively participated in the research of the Foundations of Reversible Computations working group of the COST IC1405 action. He is a member of ACM (since 2007), a visiting researcher at Newcastle University (since 2011) and an expert of the National Agency for Academic Cooperation (from 2019). He collaborates with researchers from the United Kingdom, the Netherlands, Canada, Spain, Italy, Germany, Luxembourg and Cyprus.
dr hab. Andrzej Mróz, prof. UMK
email: amroz@mat.umk.pl
email: faramir@mat.umk.pl
Marek Nowicki graduated from computer science at the Nicolaus Copernicus University in Toruń, Poland. During studies, he has been participating in many programming contests both single and team programming receiving awards. He was key person involved in the development of the programming contest system which is still used to support the teaching of programming. He entered a prestigious country wide program for the best Ph.D. students in math and computer science. He is also a winner of the IBM Great Minds student internships in 2013. He finished Ph.D. studies in 2015 and defended at the University of Warsaw thesis on the New programming methods for parallel programming in Java based on the PGAS (Partitioned Global Address Space) paradigm. Currently, he is working at the Faculty of Mathematics and Computer Science, Nicolaus Copernicus University in Toruń, Poland. The main research interest is on parallel computing in Java. He was involved in the HPDCJ (Heterogenous parallel and distributed computing with Java) project and takes care on the development of the PCJ library.
email: martinp@mat.umk.pl
Marcin Piątkowski is an assistant professor at the Faculty of Mathematics and Computer Science of Nicolaus Copernicus University. He obtained his PhD in computer science at the University of Warsaw in 2011 by defending the thesis “Efficient algorithms related to combinatorial structure of words” supervised by prof. Wojciech Rytter.
His scientific interests are focused mainly on combinatorial and algorithmic processing of words, theory of algorithms, concurrency theory, Petri nets analysis, synthesis and applications, etc.
He was a researcher in grants from the Ministry of Science and Higher Education and the National Science Centre. He coordinated and co-coordinated grants of the Ministry of Science and Higher Education in the “Best of the Best” project. For many years he has been training outstanding WMiI students to participate in national and international programming competests.
He completed scientific internships at the Institute of Computer Science of the Polish Academy of Sciences and University of Helsinki (Department of Computer Science). He actively cooperates with research centers in Finland, Great Britain, Germany, Japan and Cyprus. Three times his scientific results have been awarded with the Nicolaus Copernicus University Rector’s team award; he was also honoured with a scholarship from the Nicolaus Copernicus University Rector for an outstanding publication.
email: eror@mat.umk.pl
Assistant professor at the Faculty of Mathematics and Computer Science of the Nicolaus Copernicus University in Toruń. He defended his PhD dissertation at the Faculty of Mathematics, Informatics, and Mechanics, University of Warsaw.
His main scientific interests are data mining, machine learning, database systems and GPGPU computing. He completed a one-year postdoctoral internship at Laboratoire d’Informatique Fondamentale de Marseille (LIF) at the University of Aix-Marseille in 2016-2017 in the topic of time series exploration and prediction. From 2019 he is on the management committee of the project “CA18131 – Statistical and machine learning techniques in human microbiome studies”.
His research is noticed by the international scientific community: in 2011 he received the “Best Paper award” at the Future Generation Information Technology conference, Jeju Island, South Korea, and in 2014 the Best Poster award at the specialist summer school PUMPS 2014 – Programming and Tuning Massively Parallel, Barcelona, Spain. During his doctoral studies he was twice awarded the Scholarship of the Marshal of the Kuyavian-Pomeranian Voivodship for PhD students, “Step into the Future” (2nd and 5th edition).