Distinguished Carl Adam Petri Lecture
Title - Promises and Challenges of Reactive Modeling: A Personal Perspective
Prof. Thomas A. Henzinger
Institute of Science and Technology (IST) Austria
Wednesday, 28 June, 9:45 - 10:45 h. Assembly Hall. Abstract
Thomas A. Henzinger is president of IST Austria (Institute of Science and Technology Austria). He holds a Dipl.-Ing. degree in Computer Science from Kepler University in Linz, Austria, an M.S. degree in Computer and Information Sciences from the University of Delaware, a Ph.D. degree in Computer Science from Stanford University (1991), and a Dr.h.c. from Fourier University in Grenoble, France (2012) and from Masaryk University in Brno, Czech Republic (2015). He was Assistant Professor of Computer Science at Cornell University (1992-95), Assistant Professor (1996-97), Associate Professor (1997-98), and Professor (1998-2004) of Electrical Engineering and Computer Sciences at the University of California, Berkeley. He was also Director at the Max-Planck Institute for Computer Science in Saarbruecken, Germany (1999) and Professor of Computer and Communication Sciences at EPFL in Lausanne, Switzerland (2004-09). His research focuses on modern systems theory, especially models, algorithms, and tools for the design and verification of reliable software, hardware, and embedded systems. His HyTech tool was the first model checker for mixed discrete-continuous systems. He is an ISI highly cited researcher, a member of Academia Europaea, a member of the German Academy of Sciences (Leopoldina), a member of the Austrian Academy of Sciences, a Fellow of the AAAS, a Fellow of the ACM, and a Fellow of the IEEE. He has received the Milner Award of the Royal Society, the Wittgenstein Award of the Austrian Science Fund, and an ERC Advanced Investigator Grant.
Title - The Alignment of Formal, Structured and Unstructured Process Descriptions
Prof. Josep Carmona
Department of Computer Science,
Universitat Politècnica de Catalunya, Spain
Wednesday, 28 June, 14:15 - 15:15 h. Assembly Hall. Abstract
Josep Carmona is an Associate Professor at Universitat Politècnica de Catalunya. He got a PhD at the same university in 2004, under the supervision of Prof. Jordi Cortaldella. His research interests include formal methods and concurrent systems, data and process science, business intelligence and business process management, and natural language processing. He has co-authored numerous research papers and organized various conferences and workshops. He is a member of the IEEE Task Force on Process Mining, and co-organizes the Process Discovery Contest.
Prof. Carmona has served on the technical committees of several international conferences in different fields. He received the best paper award at the Int. Conf. on Application of Concurrency to System Design (2009), and a best student paper award with his PhD student at the Int. Conf. on Business Process Management (2013). A PhD supervised by Prof. Carmona won the IEEE Best Process Mining Dissertation Award (2015).
Prof. Carmona was a Visiting Researcher at Leiden University (January — September, 2002), and a Visiting Professor at Mannheim University (January — July, 2015).
Title - Complexity Made Simple*
*at a small price
Prof. Christos G. Cassandras
Division of Systems Engineering,
Department of Electrical and Computer Engineering, and
Center for Information and Systems Engineering (CISE)
Boston University, USA
Friday, 30 June, 9:00 - 10:00 h. Assembly Hall. Abstract
Christos G. Cassandras is Distinguished Professor of Engineering at Boston University. He is Head of the Division of Systems Engineering, Professor of Electrical and Computer Engineering, and co-founder of Boston University’s Center for Information and Systems Engineering (CISE). He received degrees from Yale University (B.S., 1977), Stanford University (M.S.E.E., 1978), and Harvard University (S.M., 1979; Ph.D., 1982). In 1982-84 he was with ITP Boston, Inc. where he worked on the design of automated manufacturing systems. In 1984-1996 he was a faculty member at the Department of Electrical and Computer Engineering, University of Massachusetts/Amherst. He specializes in the areas of discrete event and hybrid systems, cooperative control, stochastic optimization, and computer simulation, with applications to computer and sensor networks, manufacturing systems, and transportation systems. He has published over 380 refereed papers in these areas, and six books. He has guest-edited several technical journal issues and serves on several journal Editorial Boards. In addition to his academic activities, he has worked extensively with industrial organizations on various systems integration projects and the development of decision-support software. He has most recently collaborated with The MathWorks, Inc. in the development of the discrete event and hybrid system simulator SimEvents.
Dr. Cassandras was Editor-in-Chief of the IEEE Transactions on Automatic Control from 1998 through 2009 and has also served as Editor for Technical Notes and Correspondence and Associate Editor. He is currently an Editor of Automatica. He was the 2012 President of the IEEE Control Systems Society (CSS). He has also served as Vice President for Publications and on the Board of Governors of the CSS, as well as on several IEEE committees, and has chaired several conferences. He has been a plenary/keynote speaker at numerous international conferences, including the American Control Conference in 2001 and the IEEE Conference on Decision and Control in 2002 and 2016, and has also been an IEEE Distinguished Lecturer.
He is the recipient of several awards, including the 2011 IEEE Control Systems Technology Award, the Distinguished Member Award of the IEEE Control Systems Society (2006), the 1999 Harold Chestnut Prize (IFAC Best Control Engineering Textbook) for Discrete Event Systems: Modeling and Performance Analysis, a 2011 prize and a 2014 prize for the IBM/IEEE Smarter Planet Challenge competition (for a “Smart Parking” system and for the analytical engine of the Street Bump system respectively), the 2014 Engineering Distinguished Scholar Award at Boston University, several honorary professorships, a 1991 Lilly Fellowship and a 2012 Kern Fellowship. He is a member of Phi Beta Kappa and Tau Beta Pi. He is also a Fellow of the IEEE and a Fellow of the IFAC.
Title - Resource equivalences in Petri nets
Prof. Irina Lomazova
Laboratory of Process-Aware Information Systems (PAIS Lab), and
Faculty of Computer Science
National Research University Higher School of Economics, Moscow, Russia
Thursday, 29 June, 15:15 - 16:15 h. Assembly Hall. Abstract
Irina A. Lomazova is a Professor at the Faculty of Computer Science of National Research University Higher School of Economics , Moscow, Russia. She is also the Head of Laboratory of Process-Aware Information Systems (PAIS Lab). She holds a Diploma and a PhD in Mathematics from Novosibirsk State University, Russia, under the supervision of Prof. B.A. Trakhtenbrot .Then she was Associate Professor at Krasnoyarsk State University, Russia, Senior Researcher in Program Systems Institute of Russian Academy of Science. She is author of two books and over 100 refereed papers concerning program semantics and analysis, formal methods, concurrent and distributed systems, process modeling and analysis. Her current interests focus on formal methods for modeling and analysis of distributed multi-agent systems and process mining. She is a member of IEEE Task Force on Process Mining . She was a Visiting Professor/Researcher at Humboldt-Universität zu Berlin, Germany, École normale supérieure de Cachan, France, Eindhoven University of Technology, Netherlands, University of Turku, Finland, University of Siegen, Germany.
Title - Property-Preserving Generation of Tailored Benchmark Petri Nets
Prof. Jaco van de Pol
Research Institute CTIT, Faculty EEMCS
University of Twente, The Netherlands
Thursday, 29 June, 9:00 - 10:00 h. Assembly Hall. Abstract
Title - Modelling & Mining Event-based Concurrent Declarative Processes as Dynamic Condition Response Graphs
Prof. Thomas Hildebrandt
Process Intelligence, Modelling and Optimisation Group
University of Copenhagen, Denmark
Monday, 26 June, 13:45 - 14:45 h. Assembly Hall. Abstract
Thomas Hildebrandt is Associate professor at IT University of Copenhagen and head of the Process Intelligence, Modelling and Optimisation Group. He obtained a PhD in Computer Science in 1999 from BRICS, Aarhus University and has published more than 60 peer-reviewed papers in the areas of formal models for concurrent, distributed and mobile systems and applications to security, business and workflow management systems. He has been the principal investigator of several interdisciplinary research projects with industry partners and member of the management committee for the EU COST action on behavioural types for complex distributed systems. In particular, he initiated and lead the development of the declarative DCR Graphs process technology for flexible and adaptable processes jointly with his research group and the danish company Exformatics. Currently he is co-investigator on the Computational Artefacts (CompArt) project supported by the Velux foundation and facilitates three industry interest groups in the area of processes and IT in two innovation networks (infinit.dk and cfir.dk) and the private knowledge network VidenDanmark.dk.
Title - Model-Driven Development of Performance Sensitive Cloud Native Streaming Applications
Prof. José Ángel Bañares
COS2MOS Research Group, Aragón Institute of Engineering Research (I3A)
University of Zaragoza, Spain
Tuesday, 27 June, 9:15 - 10:15 h. Assembly Hall. Abstract
He has co-authored numerous research papers and organized various international conferences. Prof. José Ángel Bañares has served on the technical committees of several international conferences in different fields. He is member of the Steering Committee of GECON – Conference on the Economics of Grids, Clouds, Systems and Services, and member of the directive board of AEPIA - the Spanish Association for Artificial Intelligence.
Title - Verification of Reconfigurable Petri Nets
Prof. Julia Padberg
Fakultät Technik und Informatik, Department Informatik
Hamburg University of Applied Sciences, Germany
Monday, 26 June, 17:15 - 18:15 h. Assembly Hall. Abstract
She is married and has two sons.