photo by Nica George; adapted
photo by Nica George; adapted
The purpose of the session is to provide a forum of discussions for recent developments in advanced algebraic theories and techniques that are central to the use of formal methods for the specification, implementation, verification and certification of systems. The term systems is meant to be interpreted in its widest sense, encompassing software and hardware systems, as well as hybrid constructions. All the ideas discussed are expected to have a solid mathematical content and great potential for applicability.
Key mathematical themes to be discussed include, but are not limited to, category theory, model theory, (co)algebraic specification languages, methods and environments, term rewriting, proof systems, proof assistants, and interactive or automated deduction.
This event is organized with the support of the Simion Stoilow Institute of Mathematics of the Romanian Academy (IMAR). The organizers and many of the invited speakers and participants are former professors or master students at Şcoala Normală Superioară Bucureşti (SNSB) – who later studied and obtained PhD degrees at universities in Germany, Japan, UK and USA.
Daniel Găină Institute of Mathematics for Industry, Kyushu University Japan biography Daniel Găină is an assistant professor at the Institute of Mathematics for Industry at Kyushu University, Japan. He received his PhD degree from the Japan Advanced Institute of Science and Technology (JAIST) in 2009, and continued his career at JAIST until 2017. During that time, he worked on the algebraic specification language CafeOBJ, providing support for Observational Transition Systems and enhancing its modularity. He joined the Institute of Mathematics for Industry in the spring of 2017. His current research focuses on the use of advanced model theory and category theory in order to develop solid mathematical foundations for the reconfiguration paradigm, which includes the design and implementation of a verification method for transition systems. |
Andrei Pavelescu University of South Alabama USA biography Andrei Pavelescu is an assistant professor in the Mathematics Department at University of South Alabama. He received his Ph.D. degree from USC in 2012 under the supervision of Dr. Robert Guralnick. His main research focus lies within the realm of (finite) group theory and graph theory, although he also had encounters with number theory, ring theory and orderable groups. |
Andrei Popescu Middlesex University London United Kingdom biography Andrei holds Ph.D. degrees in computer science from the University of Illinois at Urbana-Champaign and in mathematics from the University of Bucharest. Between 2010 and 2014 he worked as a postdoc at the Technical University of Munich. From 2014, he has been a Senior Lecturer at Middlesex University London. His research interests include theorem proving, (co)inductive datatypes, syntax with bindings, logical foundations, proof-assistant automation and verification of information-flow security. One of his main research vehicles is the Isabelle proof assistant. Together with colleagues, he has been developing Isabelle/HOL's infrastructure for (co)inductive datatypes and the verified conference management system CoCon. In the past, he worked on abstract model theory and fuzzy logic. |
Ferucio Laurențiu Țiplea Alexandru Ioan Cuza University of Iași Romania biography Ferucio Laurențiu Țiplea is a professor at the Alexandru Ioan Cuza University of Iași, Romania. He received his MSc and PhD degrees from the Alexandru Ioan Cuza University of Iași in 1986 and 1993, respectively. From 1990 to 1991 he was a member of the Faculty of Mathematics of the Alexandru Ioan Cuza University. He joined the Faculty of Computer Science in the autumn of 1991. His research interests include the high-level modelling, design and analysis of systems; cryptography and computer security; and algebraic foundations of computer science. |
Uwe Egbert Wolter University of Bergen Norway biography Uwe E. Wolter is associate professor at the University of Bergen, Norway. He received his PhD degree in 1989 from the Technical University Magdeburg, Germany. He was awarded with the Medal of Honour from the East-German Society of Mathematics for the best PhD thesis of the year. He held positions at Humboldt-University Berlin and Technical University Berlin before joining the Department of Informatics at the University of Bergen in 2000. His research interests can be characterized in two ways: Foundation of Formal Specifications, the broad topic, and Applied Category Theory, the method. He contributed to areas like Algebraic Specification, Abstract Model Theory, Graph Transformation, Coalgebra, Process Calculi and Knowledge Engineering. The last decade his research focuses on the foundation of model-driven software engineering. |
If you have any questions or inquiries, you can contact the organizers via e-mail: