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