Advisory Board and Editors Theory & Formal Methods
Giorgio Delzanno
Prof. Giorgio Delzanno graduated in Computer Science in 1992. He defended his PhD thesis in Computer Science in 1998 (Doctorate program in the Genoa, Udine and Pisa consortium) and was Post-Doc at the Max Planck Institut in Saarbruecken until the end of 1999. He got a position In 2005 Associate Professor at the University of Genoa. He is Full Professor at the University of Genoa since 2018.
Prof. Delzanno is currently the Coordinator of the PhD in Computer and Systems Engineering at the University of Genoa. Since 2012 he has been a member of the Orientation Commission of the Computer Science Degree Program and deputy coordinator of the Master's Degree in Computer Science.
The research activity was mainly carried out in the following areas: AI and Computational Logic: Logic Programming, Constraints, Multiagent Systems; Formal Methods: Model Checking, Abstract Interpretation, Parameterized Verification; Concurrent and Distributed Systems, Ubiquitous and Pervasive Computing, Internet of Things; Computer Science Education: Computational Thinking and Coding.
He has participated in numerous program and organized committees
conferences, workshops and doctoral schools. Recently he was co-chair of the APCSE 2020 workshops of UMAP 2020 and HCVS of ETAPS 2020.
He is co-founder of Druidlab, a joint laboratory with the FOS Group of Genoa, and a member of GRIN, of the INSTM, of the CINI laboratory on Smart Cities and of the Indam GNCS group.
Louise A Dennis
Louise Dennis is a Reader at the University of Manchester.
Her background is in artificial intelligence and more specifically in agent and autonomous systems and automated reasoning. She has worked on the development of several automated reasoning and theorem proving tools, most notably the Agent JPF model checker for BDI agent languages; the lambda-clam proof planning system (also archived at the Theorem Prover Museum); and the PROSPER Toolkit for integrating an interactive theorem prover (HOL) with automated reasoning tools (such as SAT solvers) and Case/CAD tools. More recently she has investigated rational agent programming languages and architectures for autonomous systems, with a particular emphasis on verifiable systems and ethical reasoning.
Gillian Dobbie
Gill worked in industry for a couple of years before doing research at the University of Melbourne, Victoria University of Wellington and the National University of Singapore. Her main areas of interest pertain to databases and the web. She has worked in the foundations of database systems, defining logical models for various kinds of database systems, and reasoning about the correctness of algorithms in that setting. She publishes her research in high ranking conferences and journals.
Chiara Ghidini
Chiara Ghidini is a senior Research Scientist at Fondazione Bruno Kessler (FBK), Trento, Italy, where she heads the Process & Data Intelligence (PDI) research unit. She obtained her PhD in Computer Science Engineering in a joint programme between the Università “La Sapienza” of Rome and the University of Trento.
Her scientific work in the areas of Semantic Web, Knowledge Engineering and Representation, Multi-Agent Systems and Process Mining is internationally well known and recognised, and she has made significant scientific contributions in the areas of: formal semantics for contextual reasoning and multi-context logics; formal frameworks for the specification of deliberative resource bounded agents; ontology mappings and integration; collaborative modeling platforms, and predictive business process monitoring.
Dr. Ghidini has actively been involved in the organisation of several workshops and conferences on multiagent systems, Contexts-based representations, Knowledge Engineering, and Semantic Web, and has served as programme committee member for most of the top international conferences in these areas.
She has been involved in a number of international research projects, among which the FP7 Organic.Lingua and SO-PC-Pro European projects, a well as industrial projects in collaboration with companies in the Trentino area.
Ernst Moritz Hahn
I am assistant professor at the University of Twente in the group FMT working in probabilistic model checking. Previously Lecturer at Queen's University Belfast, Marie-Curie fellow at University of Liverpool, associate professor at Institute of Software, Chinese Academy of Sciences, PostDoc at University of Oxford, PhD at Saarland University.
Marieke Huisman
Marieke Huisman is a professor in Software Reliability, leading the Formal Methods and Tools group at the Univ. of Twente, Netherlands. She obtained her PhD in 2001 from the Univ. of Nijmegen, in the area of semantics and verification of sequential Java programs. She worked 8 years at INRIA Sophia Antipolis, France on verification of concurrent programs. In 2008 she joined the UT. She leads the development of the VerCors program verifier for concurrent software. For this work, she has received the support of several personal grants, such as an ERC Starting Grant, and a Vici grant from the Dutch Science Organisation. She has been chairing Versen, the Dutch association of software researchers, and works hard to improve the overall visibility of software research.
Lydia E Kavraki
Lydia Kavraki received her B.A. in Computer Science from the University of Crete in Greece and her Ph.D. in Computer Science from Stanford University. Her research contributions are in physical algorithms and their applications in robotics as well as in computational structural biology and biomedciine. Kavraki is the recipient of the ACM Grace Murray Hopper Award; a Fellow of ACM, IEEE, AAAS, AAAI, and AIMBE; and a member of the Institute of Medicine of the National Academies.
Antonia Lopes
Antónia Lopes is Associate Professor at the University of Lisbon, Portugal, since March 2006. She received a Ph.D. in Informatics at the University of Lisbon in 1999 and holds a BSc and MSc in Applied Mathematics from Technical University of Lisbon. Her research interests are mainly in the area of formal methods for software engineering. These include mathematically based techniques for the specification, modelling and analysis of various types of software intensive systems.
Ana G Maguitman
Ana Gabriela Maguitman is a Principal Researcher at the National Council for Science and Technology (CONICET) of Argentina and an Associate Professor at the Department of Computer Science and Engineering of the Universidad Nacional del Sur (Argentina). She obtained her PhD in Computer Science at Indiana University (USA). Dr. Maguitman leads the Knowledge Management and Information Retrieval Research Group at Universidad Nacional del Sur. Her main research areas include Natural Language Processing, Machine Learning, and Information Retrieval.
Pablo A Marquet
Dr. Marquet is a Chilean Ecologist, known for his contributions in the fields of macroecology, theoretical ecology, conservation, and global change, and author of 190 publications including three books. Early in his carrier he started working on the quest for general principles underlying the complexity of ecological systems that contributed to the disciplines of metabolic ecology and ecological scaling. His work on the relationship between the size of organisms and their abundance proved to be of great generality as well as his work on the evolution of body size on landmasses; connecting body size to area, evolution, and fitness. He pioneered the development of Metapopulation models in dynamic landscapes uniting concepts from epidemiology and ecology and the emergence of power laws in ecological systems, being among the first to provide empirical evidence of Self-Organized Criticality in ecological systems using the extinction record of birds in Hawaii. In parallel, he carried important work on the conservation of vertebrate species and on the impact of climate change in the Americas and Europe. His current work focuses on the emergence of ecological diversity, the drivers and consequences of human cultural complexity and the integration of theories in ecology. He is member of the Chilean National Academy of Science, a former Guggenheim Fellow and member of the science board of several national and international organizations.
Kurt Mehlhorn
Kurt Mehlhorn is Director at the Max Planck Institute for Informatics.
Christopher J Mungall
I am a Computer Research Scientist in the Environmental Genomics and Systems Biology division at Lawrence Berkeley Laboratory. My work focuses on computational methods for representing and interpreting complex biological data, in particular through the development and application of knowledge representation structures such as ontologies.