Advisory Board and Editors Theory & Formal Methods
Peter A. Ng
Dr. Peter Ng is Professor of Computer Science at Purdue University Fort Wayne and Fellow of the Society for Design and Process Science (SDPS). He has served as the Chair and Professor of Computer Science in the College of Information Science and Technology at the University of Nebraska at Omaha, NE (1998-2000), and in the College of Science and Arts at the New Jersey of Institute of Technology, Newark, NJ (1985-1998). He has served as the Executive Director for Global e-Learning Project at the International Programs and Studies of the University of Nebraska-Omaha (2000-2003) and as the Vice President for Fudan International Institute for Information Science and Technology, Shanghai, China (1999-2000). Dr. Ng received his Ph.D. in Computer Science from the University of Texas at Austin in 1974.
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.
Md Zia Uddin
DR. MD ZIA UDDIN received his bachelor’s degree in computer science and engineering from International Islamic University Chittagong, Bangladesh, in 2004. He then completed his MS Leading to PhD degree in Biomedical Engineering from Kyung Hee University, South Korea, in 2011. Currently, he is a senior research scientist
in the human-computer interaction group at SINTEF Digital, Oslo, Norway, where he continues contributing to his research field. His research primarily focuses on data and feature analysis, physical and mental healthcare, human-machine interaction, pattern recognition, deep learning, and artificial intelligence. His innovative work has been published in prestigious journals such as Information Fusion, IEEE Transactions on Consumer Electronics, and Future Generation Computer Systems, showcasing his peers’ high regard for his research. His research outcomes have earned him best/outstanding paper awards at several peer-reviewed international conferences. He received a Gold Medal Award in 2008 for academic excellence in his undergraduate studies. He was also awarded the Korean Government IT Scholarship and the Kyung Hee University President Scholarship from March 2007 to February 2011 to pursue his PhD. He has extensive teaching experience, having taught more than 20 computer science-related courses at various academic levels, from bachelor’s to PhD, and supervised many students’ research works at these levels as well. He is a senior member of IEEE. He has been editors any several prestigious journals such as PLOS One, Sensors, IEEE Access, and the International Journal of Computers and
Applications, Frontiers in Human Neuroscience, and a keynote speaker at various international conferences. Dr. Zia has over 170 research publications (around half as the leading author), including international journals, conferences, book chapters, and single-authored books. His Google Scholar citations are more than 6000. He has led work packages and tasks in many national and international research projects. His significant contributions
have earned him recognition in the World’s Top 2% Scientists (career-long and single-year-based), a list by Stanford University and Elsevier BV.