Advisory Board and Editors Theory & Formal Methods
Lydia E Kavraki
Lydia Kavraki received her B.A. in Computer Science from the University of Crete in Greece and her Ph.D. in Computer Science from Stanford University. Her research contributions are in physical algorithms and their applications in robotics as well as in computational structural biology and biomedciine. Kavraki is the recipient of the ACM Grace Murray Hopper Award; a Fellow of ACM, IEEE, AAAS, AAAI, and AIMBE; and a member of the Institute of Medicine of the National Academies.
Antonia Lopes
Antónia Lopes is Associate Professor at the University of Lisbon, Portugal, since March 2006. She received a Ph.D. in Informatics at the University of Lisbon in 1999 and holds a BSc and MSc in Applied Mathematics from Technical University of Lisbon. Her research interests are mainly in the area of formal methods for software engineering. These include mathematically based techniques for the specification, modelling and analysis of various types of software intensive systems.
Ana G Maguitman
Ana Gabriela Maguitman is a Principal Researcher at the National Council for Science and Technology (CONICET) of Argentina and an Associate Professor at the Department of Computer Science and Engineering of the Universidad Nacional del Sur (Argentina). She obtained her PhD in Computer Science at Indiana University (USA). Dr. Maguitman leads the Knowledge Management and Information Retrieval Research Group at Universidad Nacional del Sur. Her main research areas include Natural Language Processing, Machine Learning, and Information Retrieval.
Pablo A Marquet
Dr. Marquet is a Chilean Ecologist, known for his contributions in the fields of macroecology, theoretical ecology, conservation, and global change, and author of 190 publications including three books. Early in his carrier he started working on the quest for general principles underlying the complexity of ecological systems that contributed to the disciplines of metabolic ecology and ecological scaling. His work on the relationship between the size of organisms and their abundance proved to be of great generality as well as his work on the evolution of body size on landmasses; connecting body size to area, evolution, and fitness. He pioneered the development of Metapopulation models in dynamic landscapes uniting concepts from epidemiology and ecology and the emergence of power laws in ecological systems, being among the first to provide empirical evidence of Self-Organized Criticality in ecological systems using the extinction record of birds in Hawaii. In parallel, he carried important work on the conservation of vertebrate species and on the impact of climate change in the Americas and Europe. His current work focuses on the emergence of ecological diversity, the drivers and consequences of human cultural complexity and the integration of theories in ecology. He is member of the Chilean National Academy of Science, a former Guggenheim Fellow and member of the science board of several national and international organizations.
Kurt Mehlhorn
Kurt Mehlhorn is Director at the Max Planck Institute for Informatics.
Christopher J Mungall
I am a Computer Research Scientist in the Environmental Genomics and Systems Biology division at Lawrence Berkeley Laboratory. My work focuses on computational methods for representing and interpreting complex biological data, in particular through the development and application of knowledge representation structures such as ontologies.
Dragan Pamucar
Dr. Dragan Pamucar is an Full Professor at University of Belgrade, Department of Operational Research and Statistics, Serbia. Dr. Pamucar received a PhD in Applied Mathematics with specialization of Multi-criteria modeling and soft computing techniques, from University of Defence in Belgrade, Serbia in 2013 and an MSc degree from the Faculty of Transport and Traffic Engineering in Belgrade, 2009. His research interests are in the field of Computational Intelligence, Multi-criteria decision making problems, Neuro-fuzzy systems, fuzzy, rough and intuitionistic fuzzy set theory, neutrosophic theory. Application areas include wide range of logistics problems.
Dr. Pamucar has five books and over 220 research papers published in SCI indexed International Journals including Experts Systems with Applications, Applied Soft Computing, Soft Computing, Journal of Cleaner Production, Computational intelligence, Computers and industrial engineering, Sustainable Cities and Society, Science of the Total Environment, IEEE Transactions on Engineering Management, Journal of Intelligent and Fuzzy Systems, Land use policy, Environmental impact assessment review, and so on, and many more.
Dr. Pamucar has served as Guest Editor in more than 30 SCIE indexed journals Applied Soft Computing, Sustainable Energy Technologies and Assessments, Mathematical Problems in Engineering, Computer Systems Science and Engineering, Intelligent Automation & Soft Computing, IEEE Transactions on Fuzzy Systems and so on.
In the last three years Prof. Pamucar was awarded top and outstanding reviewer for numerous journals. According to Scopus and Stanford University, he is among the World top 2% of scientists as of 2020.
Jun Pang
Research interests: Formal methods, security and privacy, big data analytics, computational systems biology
Michele Pasqua
Michele Pasqua is an Assistant Professor at the Department of Computer Science of the University of Verona, Italy. His main research interests include abstract interpretation, program verification, static analysis, software testing, theoretical foundations of programming languages and software engineering, language-based security, and distributed systems.
He works actively in the software engineering and programming languages communities, being (co)author of more than 30 publications in international scientific journals and conference proceedings with peer review and regularly serving on international conferences and workshops program committees.
Shengchao Qin
Dr Shengchao Qin has been a Professor (Chair) of Computer Science since 2011.
He received his PhD in 2002 from Peking University. From July 2002 to December 2004, he was a Research Fellow under the Computer Science Programme in the Singapore-MIT Alliance, affiliated with National University of Singapore. He became a University lecturer in Durham University in January 2005. In June 2010, he joined Teesside University as a Reader and became a full Professor in June 2011. From August 2016 to September 2019, he also acted as the Associate Dean (Research & Innovation) for School of Computing, School of Computing, Media & the Arts, and then School of Computing & Digital Technologies.
Shengchao is a full member of the UK EPSRC Peer Review College and a member of the UKRI FLF (Future Leaders Fellowships) Peer Review College. He is also a senior member of IEEE and ACM.
Sven Rahmann
Prof. Sven Rahmann is professor of Algorithmic Bioinformatics at the Center for Bioinformatics, Saarland University, Saarbrücken, Germany. Previously, Sven was UA Ruhr Professor of Computational Biology and Genome Informatics at the Faculty of Medicine at Duisburg-Essen University (2011-2021), associate professor for Bioinformatics for High-Throughput Technologies at the Chair of Algorithm Engineering, Computer Science Department, TU Dortmund (2007-2011). Sven wrote his doctoral thesis on oligonucleotide design for microarrays in the Computational Molecular Biology group at the Max Planck Institute for Molecular Genetics in Berlin.
Maurice H. ter Beek
Maurice ter Beek coordinates the Formal Methods and Tools group of the Institute of Information Science and Technologies (ISTI) of the Italian National Research Council (CNR) in Pisa, Italy, where he's affiliated since 2003, when he obtained a Ph.D. in Theoretical Computer Science from the University of Leiden in the Netherlands. He has authored over 125 peer-reviewed papers, edited over 25 proceedings and special issues of journals, and next to PeerJ CS he is an editorial board member of the International Journal on Software Tools for Technology Transfer, Journal of Logical and Algebraic Methods in Programming, Science of Computer Programming, and ERCIM News. His research interests concern formal methods and model-checking tools for the specification and verification of safety-critical software systems, recently in particular for applications in service-oriented computing, software product line engineering, and railways. He is or has been PC member or chair of conferences like FM, iFM, FASE, FMICS, FormaliSE, SEFM, SPIN, SPLC, VaMoS, ABZ, AVoCS, COORDINATION, FORTE, RSSRail, and ACSD. He is member of the Steering Committees of the Formal Methods for Industrial Critical Systems (FMICS), Variability Modelling of Software-Intensive Systems (VaMoS) and Systems and Software Product Line Conference (SPLC) series.