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.
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
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.
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.
Aswani Kumar Cherukuri
Dr. Aswani Kumar Cherukuri is a Professor at Vellore Institute of Technology (VIT), India. His research interests include information security and machine learning. Aswani Kumar earned the Young Scientist Fellowship from Tamilnadu State Council for Science and Technology and was awarded the Inspiring Teacher Award from The Indian Express (India’s leading English daily newspaper). He has worked on various research projects funded by the Government of India’s Department of Science and Technology, the Department of Atomic Energy, and the Ministry of Human Resources Development. Aswani Kumar has published more than 150 refereed research articles in various national/international journals and conferences and is an editorial board member for several international journals. He is a Senior Member and distinguished speaker of the Association for Computing Machinery (ACM), a member of the Institute of Electrical and Electronics Engineers (IEEE), and Vice-Chair of the IEEE Taskforce on Educational Data Mining. Aswani Kumar earned a PhD in informational retrieval, data mining, and soft-computing techniques from VIT.