Advisory Board and Editors Theory & Formal Methods
Bilal Alatas
Prof. Alatas received his B.S., M.S., and Ph.D. degrees from Firat University. He works as a Professor of Software Engineering at Firat University and he is the head of same department. He is the founder head of the Computer Engineering Department of Munzur University and Software Engineering Department of Firat University. His research interests include artificial intelligence, data mining, social network analysis, metaheuristic optimization, and machine learning. Dr. Alatas has published over 250 papers in many well-known international journals and proceedings of the refereed conference since 2001. He has been editor of twelve journals five of which are indexed in SCI and reviewer of seventy SCI-indexed journals.
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.
Jurgita Antucheviciene
Prof Jurgita Antucheviciene, PhD, Professor at the Department of Construction Management and Real Estate at Vilnius Gediminas Technical University, Lithuania. She received her PhD in Civil Engineering in 2005. Her research interests include multiple-criteria decision-making (MCDM) theory and applications, civil engineering, sustainable development.
Prof. Antucheviciene has over 150 publications in Clarivate Analytic (Web of Science, h=39). She is a member of IEEE SMC, Systems Science and Engineering Technical Committee: Grey Systems and of two EURO Working Groups: Multicriteria Decision Aiding (EWG - MCDA) and Operations Research in Sustainable Development and Civil Engineering (EWG - ORSDCE).
She is also Deputy Editor in Chief of "Journal of Civil Engineering and Management", Associate Editor of "Applied Soft Computing", Editorial Board Member of "Sustainability" and "Buildings", and Guest Editor of several special issues in "Mathematical Problems in Engineering", "Complexity", "Symmetry", "Sustainability", "Information", "Algorithms", "Applied Soft Computing".
Prof. Antucheviciene is among the World's Top 2% Scientists in the field of Artificial Intelligence
https://orcid.org/0000-0002-1734-3216
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.
Mario Luca Bernardi
I 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 more than 90 papers published in journals and conference proceedings. My main research interests include software maintenance and testing, software reuse, software reverse engineering, and re-engineering, with a particular interest in software modularization.
I also served both as a member of the program and organizing committees of several international conferences, and as a reviewer of papers submitted to some of the main journals and magazines in the field of data and process mining, software engineering, software maintenance, program comprehension, and the application of computational intelligence approaches in the above fields.
Currently, I am an Senior Researcher at University of Sannio, holding the course of "Pervasive Computing".
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.
Gorka Bidegain
Gorka Bidegain (GB) is a Senior Lecturer of the University of the Basque Country at the Department of Applied Mathematics. His main research interests lie within marine ecological and population dynamics modelling, including disease ecology and pathogen transmission. He conducts laboratory/field experiments and uses advanced mathematical and computational ecological modelling techniques to identify and asses the population and ecosystem responses to pressures and ecological and environmental heterogeneities. GB is developing new models, methodologies and algorithms with implications for the understanding of how climate variability interacts with marine populations and host-pathogen systems.
GB has participated in more than 20 national and international R&D competitive projects including three EU projects and three National Science Foundation (NSF). GB has published more than 25 articles in top rank peer reviewed journals, 3 book chapters, several scientific/technical reports and open access computer codes and Graphical User Interface for disease modelling (R, Matalab).
He is member of the Ecology of Infectious Marine Diseases Research Coordination Network (EIMD-RCN) (Cornell University, USA). He is also member of the Marine Biological Association and the Estuarine and Coastal Sciences Association
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 KR 2020, and general chair of ESSLLI 2016. ACM Fellow, EurAI Fellow.
M Emilia Cambronero
María Emilia Cambronero received a Ph.D. degree from the University of Castilla-La Mancha, in 2007, where she was an Assistant Professor for several years. She is currently a Full Professor of computer science with Castilla-La Mancha University, Spain. Her research goals are aimed to make the software more reliable, more secure, and easier to design. Her research interests include software engineering and related areas, including contract specification, program monitoring, testing, and verification. Her research combines strong theoretical foundations with realistic experimentation in the areas of web services and cloud computing.