Advisory Board and Editors Theory & Formal Methods

Perry Alexander

AT&T Distinguished Professor of Electrical Engineering and Computer Science and Director of the Information and Telecommunication Technology Center at the University of Kansas; Senior Member IEEE; Senior Member ACM; Past Chair IEEE Engineering of Computer-Based Systems Technical Committee.

Antonio Amorim

Degree in Biology, University of Porto, in 1974; PhD in 1983. Full Professor since 1993.
CURRENT RESEARCH ACTIVITIES: Formal and population genetics. Pure and applied genetics, forensics (human and non-human paternity and kinship expertise) and diagnosis of genetic diseases.

Christel Baier

Christel Baier is a full professor and head of the chair for Algebraic and Logic Foundations of Computer Science at the Faculty of Computer Science of the Technische Universität Dresden since 2006.  From the University of Mannheim she received her Diploma in Mathematics in 1990, her Ph.D. in Computer Science in 1994 and her Habilitation in 1999. She was an associate professor for Theoretical Computer Science at the University of Bonn from 1999 to 2006.

Anne Bergeron

Member of the "Laboratoire de combinatoire et d'informatique mathématique" (LaCIM) of Université du Québec à Montréal, that initially explored the interplay between combinatorics and computer science. In the mid 90s, it began to include computational biology in the mix.

Jan A Bergstra

Born in Rotterdam, PhD math. Utrecht 1976, with Leiden University till 1982,
with CWI Amsterdam till 1985, subsequently with the University of Amsterdam (UoA). Professor of software engineering since 1985, with Philips Research during 1988/9, visiting professor of informatics in Swansea. Currently director of Informatics Institute of the UoA Faculty of Science, Chair Informatics Section of Academia Europaea. Editor-in-chief of Science of Computer Programming. Also with Minstroom Research BV

Mario Luca Bernardi

Mario Luca Bernardi received the Laurea degree in Computer Science Engineering from the University of Naples Federico II, Italy, in 2003 and the Ph.D. degree in Information Engineering from the University of Sannio in 2007.

Since 2003 I have worked as a researcher in the field of software engineering writing several papers published in journals and conference proceedings. My main research interests include software maintenance and testing, software reuse, software reverse engineering and reengineering, with particular interest on software modularization.
I also served both as a member of the program and organizing committees of several international conferences, and as reviewer of papers submitted to some of the main journals and magazines in the field of data mining, software engineering, software maintenance and program comprehension.

Currently I am an Assistant Professor at Giustino Fortunato University , holding the courses of "Computer Science" and "Software Systems and Services" for the Avionics Science and Technologies master degree.

Dirk Beyer

Dirk Beyer is Professor of Computer Science and has a Research Chair for Software Systems at the University of Passau, Germany. Before, he worked at Simon Fraser University, B.C., Canada, at EPFL in Lausanne, Switzerland, and at UC Berkeley, CA, USA. His research focuses on models, algorithms, and tools for the construction and analysis of reliable software systems. He is the principal designer and implementor of several successful tools, for example, CCVisu, CPAchecker, CrocoPat, and BLAST.

Paolo Boldi

I graduated at the Computer Science Department (DI) of the University of Milano.
Presently I am an associate professor at the Computer Science Department of the University of Milano. My current research interests are: Distributed systems, anonymity, Sense of direction, Models of computation over the reals, Concurrency theory, Applied graph theory, Web crawling and indexing, Web graphs

Diego Calvanese

Professor at the KRDB Research Centre for Knowledge and Data. Research interests include knowledge representation and reasoning, ontology languages, description logics, conceptual data modeling, data integration, graph data
management, data-aware process verification, and service modeling and synthesis. In 2012-2013 visiting researcher at the Technical University of Vienna as Pauli Fellow of the "Wolfgang Pauli Institute". Program chair of PODS 2015, and general chair of ESSLLI 2016.

Jennifer T Chayes

Chayes is a leader in the field of network science, with applications in computer science, economics, biology and math. She is founder and Managing Director of Microsoft Research New England and NYC, and was previously Professor of Math at UCLA. She received an NSF Postdoctoral Fellowship, a Sloan Fellowship and the ABI Women of Vision Leadership Award. She was a member of the IAS Princeton, is a Fellow of the AAAS, ACM, AMS and is an elected member of the American Academy of Arts and Sciences.

Mariangiola Dezani

Full professor of ''Teoria e Applicazioni delle Macchine Calcolatrici'' at the University of Torino since 31/10/81.
Member of IFIP W.G.2.2 on ''Formal Description of Programming Concepts'' since 1/6/84.
Member of the Editorial Board of ''Information and Computation'' since 1991.
Member of the Editorial Board of ''The Computer Journal'' since 2011.
Member of the ''Academia Europaea'' since 1994.
Chair of the Steering Committee of TLCA from 2005 to 2011 (member since 1993).

David L Dill

Professor of Computer Science, Stanford University, Member of the National Academy of Engineering and American Academy of Arts and Sciences, IEEE and ACM Fellow.