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
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".
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
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.
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.
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.
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.