Chin Wei Ngan, National University of Singapore

Professor Wei-Ngan Chin is presently Vice-Dean of School of Computing, National University of Singapore. He is also Professor Honoris Causa of Faculty of Matemathics and Computer Science, Babes-Bolyai University. He received his BSc and MSc in Computer Science from the University of Manchester and a PhD in Computing from Imperial College, London. His research interests are in programming languages and software engineering, including automated verification via separation logic, automated specification discovery for trusted software, dependable software construction, and type-based analyses. He has worked on various program analyses and verification techniques that are aimed at improving clarity, reliability and reusability of software. He has more than 250 publications in top tier conferences and journals.

Radu Grosu, Vienna University of Technology , Austria

Dr. Radu Grosu is a full Professor and the Head of the Cyber-Physical Systems Group of the Computer Engineering Institute, at the Faculty of Informatics, Technische Universität Wien, Austria. He is also a Research Professor at the Department of Computer Science of the State University of New York at Stony Brook, USA. Before receiving his appointment at the Vienna University of Technology, Dr. Radu Grosu was an Associate Professor in the Department of Computer Science of the State University of New York at Stony Brook, where he co-directed the Concurrent-Systems Laboratory and co-founded the Systems-Biology Laboratory. Dr. Radu Grosu earned his doctorate (Dr.rer.nat.) in Computer Science from the Faculty of Informatics of the Technical University München, Germany. He is the recipient of the National Science Foundation Career Award, the State University of New York Research Foundation Promising Inventor Award, the Association for Computing Machinery Service Award, and is an elected member of the International Federation for Information Processing, Working Group 2.2. His research interests include the modeling, the analysis and the control of cyber-physical systems and of biological systems. His applications focus includes smart-mobility, Industry 4.0, smart-buildings, smart-agriculture, smart-health-care, smart-cities, IoT, cardiac and neural networks, and genetic regulatory networks.

Ilya Serghei, Yale-NUS College, Singapore

Dr. Ilya Sergey is a tenure-track Associate Professor at Yale-NUS College and NUS School of Computing (Singapore). Prior to joining Yale-NUS, he was a faculty member at the Department of Computer Science of University College London (UCL) and, before that, he was a postdoctoral researcher at IMDEA Software Institute (Madrid, Spain). He defended his PhD in 2012 in the DistriNet research group at the Department of Computer Sciences of KU Leuven (Belgium) and he received his MSc degree in Mathematics and Computer Science from the Saint Petersburg State University (Russia) in 2008. Before joining academia, he worked as a software developer at JetBrains. His research interests dwell in the area of the design and implementation of programming languages, including but not limited to program semantics, certified programming, concurrency and abstract interpretation. He is particularly interested in developing verification techniques and static analyses for higher-order and concurrent programs.

Andrei Arusoaie, Alexandru Ioan Cuza University of Iasi, Romania

Dr. Andrei Arusoaie is currently an Associate Professor and member of the FMSE (Formal Methods in Software Engineering) research group at the Faculty of Computer Science of the Alexandru Ioan Cuza University of Iasi, Romania. He has received his PhD in Computer Science in 2014 from the Alexandru Ioan Cuza University of Iasi and then followed a postdoc programme at Inria Lille – Nord Europe. His research interests are mostly related to the programming languages area. Developing language parametric symbolic execution on top of K (a framework for defining the formal semantics of programming languages) and using the symbolic execution framework to verify program properties are among his main contributions.

Naijun Zhan, Institute of Software, Chinese Academy of Sciences, China

Dr. Naijun Zhan is a research professor at State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences. Prior to joining Institute of Software, Chinese Academy of Sciences, he worked at Faculty of Mathematics and Informatics, University of Mannheim, Germany, from 2001 to 2004. He received his PhD in Computer Science from Institute of Software, Chinese Academy of Sciences in 2000, and MSc in Computer Science and BSc in Mathematical Logic, both from Nanjing University, in 1996 and 1993, respectively. He is a distinguished research professor of Chinese Academy of Sciences (since 2015) and the winner of Outstanding Youth Fund of Natural Science Foundation of China (2016). His research interests include formal techniques for the design of real-time and hybrid systems, program verification, modal and temporal logics, concurrent computation models, as well as semantic foundations of component and object systems.

Zhiming Liu, Centre for Research and Innovation in Software Engineering (RISE), Southwest University, Chongqing, China

Zhiming LIU has been working in the area of software theory and methods. He is known for his work on Transformational Approach to Fault-Tolerant and Real-Time Systems, Probabilistic Duration Calculus for System Dependability Analysis, and rCOS Method for Object-Oriented and Component-Based Software. Zhiming Liu studied mathematics in university. He holds a MSc in Computing Science from Software Institute of CAS (1988) and a PhD in Computer Science from University of Warwick (1991). Zhiming Liu joined Southwest University in Chongqing as a full-time professor of computer science in 2016. He is leading the development of the University Centre for Research and Innovation in Software Engineering (RISE). Before Southwest University, he worked in three universities in the UK (1988-2005 and 2013-2015) and the United Nations University – International Institute for Software Technology (Macau, 2002-2013).

Sebastian Rudolph, TU Dresden, Germany

Dr. Sebastian Rudolph is a full Professor of Computational Logic at the Institute for Artificial Intelligence, Faculty of Computer Science, Technische Universität Dresden, since 2013. He received a PhD in Algebra from TU Dresden in 2006. Between 2006 and 2013 he worked as a postdoctoral researcher, project leader and later Privatdozent (similar to associate professor) in the Knowledge Management group at the Institute AIFB of the Karlsruhe Institute of Technology (where he obtained his habilitation in Computer Science in 2011). His research interests cover Artificial Intelligence, in particular Knowledge Representation and Reasoning using diverse formalisms (such as Description Logics, Existential Rules and Formal Concept Analysis) and their applications in diverse areas, for instance Semantic Technologies. He deals with problems ranging from theoretical foundations (e.g., decidability and complexity of reasoning tasks) to practical deployment (ontology modeling, interactive knowledge acquisition). He co-authored several textbooks on Semantic Web technologies. In 2017, he received an ERC Consolidator Grant for investigating general principles of decidability in logic-based knowledge representation.

Chao Huang, Northwestern University, US

Dr. Chao Huang is a postdoc working with Prof. Qi Zhu, at the Department of Electrical and Computer Engineering (ECE) in Northwestern University, USA. Dr. Huang received a Ph.D. and a B.E. in the department of computer science and the department of mathematics from Nanjing University in 2018 and 2011 respectively. His research interests include design and verification of intelligent systems for safety and security.

Marius Bozga, VERIMAG, CNRS, France

Dr. Marius Bozga is a research engineer at CNRS (Centre National de la Recherche Scientifique) and a member of the RDS (Rigorous System Design) Team at Verimag Laboratory, Grenoble, France, since 2001. He has a PhD and a MSc in Computer Science (1999 and 1996, respectively) from the Joseph Fourier University of Grenoble, France. His research interests focus on component-based design for distributed real-time systems and include formal models for components, model-based design and implementation, and automatic validation methods and tools.

Zhenjiang Hu, Peking University, China

Dr. Zhenjiang Hu is a chair professor and the head of Department of Computer Science and Technology, deputy dean of School of Electronics Engineering and Computer Science, Peking University. He received BS and MS degrees from Department of Computer Science and Engineering of Shanghai Jiaotong Unviersity in 1988 and 1991 respectively, and PhD degree from Department of Information Engineering of University of Tokyo in 1996. He became a lecturer (assistant professor) in 1997 and an associate professor in 2000 in University of Tokyo. He joined National Institute of Informatics as a full professor in 2008 and became a full professor in Department of Communication and Information Engineering of University of Tokyo in 2018. His main interest is in programming languages and software engineering in general, and functional programming, bidirectional transformation, and parallel programming in particular. His work is characterized by developing methodologies to support rigorous development of robust software systems. His standing in the field is substantiated by the many awards he received, 20+ keynotes and invite talks he delivered, 20+ international conferences he chaired, and 10+ steering committees he has been involved. He was awarded the basic research achievement awards from Japan Society for Software Science and Technology, the most prestigious award to software researchers in Japan. He is famous for his contribution to the establishment of the well-known NII Shonan Meetings. He is Fellow of Japan Federation of Engineering Society, ACM Distinguished Scientist, Member of Europen Academy of Science, and IEEE Fellow.

Hongseok Yang, KAIST, South Korea

Dr. Hongseok Yang is a full professor at the School of Computing, KAIST, Korea. His research area is programming languages, but he mostly works on problems that arise at the boundaries between programming languages and other areas, such as machine learning, statistics, probability theory and distributed systems. He is currently excited about probabilistic programming, the idea of developing a programming language and its system for writing and using advanced machine learning models effectively. He received his PhD degree in 2001 from the Department of Computer Science, University of Illinois at Urbana-Champaign, USA. Then, he was a postdoc researcher first at KAIST from 2001 until 2003 and next at Seoul National University from 2003 until 2006. After finishing this postdoc training, he took a lectureship (corresponding to assistant professorship) at Queen Mary, University of London, UK for about five years, before he move to the University of Oxford, where he took an associate professorship (2011-2014) and then a full professorship (2014-2017). While he was at Oxford, he also held tutorial fellowship at Worcester College, one of the most beautiful Oxford colleges. He joined KAIST in 2017. He is a co-winner of the 2016 CAV award, received a distinguished paper award in PLDI 2014 and a best paper award in CONCUR 2012, and held an EPSRC Advanced Research Fellowship from 2007 until 2012.

Sun Jun, Singapore Management University, Singapore

Dr. Sun Jun is an associate professor at Singapore Management University (SMU) since 2019. He received BSc and PhD degrees in computing science from National University of Singapore (NUS) in 2002 and 2006, respectively.
In 2007, he received the prestigious LEE KUAN YEW postdoctoral fellowship in School of Computing of NUS. From 2010 to 2019, he was an Assistant/Associate Professor at Singapore University of Technology and Design (SUTD). He was a visiting scholar at MIT from 2011-2012. Jun’s research interests include software engineering, formal methods, program analysis and cyber-security. He is the co-founder of the PAT model checker. He has received a number of prestigious awards including ICSE 2020 ACM Sigsoft distinguished paper award, IEEE Transactions on Software Engineering (TSE) Best Paper award for 2018, PAT model checker won “20 Year ICFEM Most Influential System Award”, 2018, ACM Distinguished Paper Award at ICSE 2018, ACM Distinguished Paper Award at ASE 2017.

Yang Liu, Nanyang Technological University, Singapore

Dr. Yang Liu obtained his bachelor and ph.d degree in the National University of Singapore in 2005 and 2010, respectively. In 2012, he joined Nanyang Technological University as a Nanyang Assistant Professor. He is currently a full professor, director of the cybersecurity lab, Program Director of HP-NTU Corporate Lab and Deputy Director of the National Satellite of Excellence of Singapore. In 2019, he received the University Leadership Forum Chair professorship at NTU. Dr. Liu specializes in software verification, security and software engineering. His research has bridged the gap between the theory and practical usage of formal methods and program analysis to evaluate the design and implementation of software for high assurance and security. By now, he has more than 300 publications in top tier conferences and journals. He has received a number of prestigious awards including MSRA Fellowship, TRF Fellowship, Nanyang Assistant Professor, Tan Chin Tuan Fellowship, Nanyang Research Award 2019, NRF Investigatorship, and 10 best paper awards and one most influence system award in top software engineering conferences like ASE, FSE and ICSE. Dr. Liu is a member of ACM and senior member of IEEE.

Guangdong Bai, University of Queensland, Australia

Dr. Guangdong Bai is a Senior Lecturer at School of Information Technology and Electrical Engineering, The University of Queensland, Australia. Previously, he was a Lecturer in Griffith University and an Assistant Professor in Singapore Institute of Technology, Singapore. Dr. Guangdong Bai obtained his PhD degree from National University of Singapore and his MSc and BSc degrees from Peking University, China. His research interests include Computer Security, Software Engineering and Formal Methods.

Jun Pang, University of Luxembourg, Luxembourg

Dr. Jun Pang is a senior researcher at the University of Luxembourg’s Faculty of Science, Technology, and Medicine (FSTM) and its Interdisciplinary Centre for Security, Reliability and Trust (SnT). He received his PhD from Vrije Universiteit Amsterdam in 2004 and his MSc from Nanjing University in 2000. His research covers formal methods, security and privacy, social media mining, computational systems biology and complex networks.

Meng Sun, Peking University, China

Dr. Meng Sun is a full professor at the Department of Information Science, School of Mathematical Science, Peking University. He has been a faculty member of Peking University since 2010. Dr. Meng Sun received BSc and PhD degrees in applied mathematics from Peking University, in 1999 and 2005, respectively.
He spent one year as a postdoctoral researcher with National University of Singapore. From 2006 to 2010, he worked as a scientific staff member at CWI, the Netherlands. Currently, his research interests mainly lie in software theory and formal methods. His work includes coordination models and languages, coalgebra theory and its application, model checking, theorem proving, software testing, cyber-physical systems, service-oriented and cloud computing, modeling and verification of blockchain and smart contracts, big data analysis, theoretical foundations of machine learning and deep learning and their application in formal verification.

Quang Loc Le, University College London, UK

Dr. Quang Loc Le is currently a Research Fellow within the Programming Principles, Logic and Verification Group at the Department of Computer Science, University College London. Previously, he worked as a Senior Lecturer in Computer Science at Teesside University (2017-2020) and as a Research Fellow at Singapore University of Technology and Design (2015-2017) and National University of Singapore (2014-2015). He received his PhD in Computing from the National University of Singapore in 2014 and his BSc in Computer Science & Engineering from Vietnam National University – Ho Chi Minh University of Technology in 2005. His research is about developing novel and practical techniques to help improve the quality of critical software and make program verification accessible for end users. His current interests cover program analysis/verification, software testing, separation logic, incorrectness logic, string logic and cyclic proofs.

Grigore Rosu, University of Illinois at Urbana-Champaign, US

Dr. Grigore Rosu is a professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign (UIUC), where he leads the Formal Systems Laboratory (FSL), and the founder and president of Runtime Verification, Inc (RV). He does research in design, semantics and implementation of programming and specification languages, automated software engineering and formal methods, especially push-button techniques for certification, monitoring, synthesis and modularization, and in automated reasoning about computer systems, applications of logics, theorem proving, algorithms, (co)algebra, and category theory. He teaches classes on software engineering, programming languages, formal methods, and runtime verification. Before joining UIUC in 2002, he was a research scientist at NASA Ames. He obtained his Ph.D. at the University of California at San Diego in 2000 and his M.S. at the University of Bucharest, Romania, in 1996. He was offered the CAREER award by the NSF in 2005, the outstanding junior award by the CS Department at UIUC in 2005, and the Dean’s award for excellence in research by the College of Engineering at UIUC in 2014. He won the ASE IEEE/ACM most influential paper award in 2016 and the RV test of time award for papers published in 2001 that shaped the runtime verification field, and distinguished/best paper awards at ASE 2008, ASE 2016, OOPSLA 2016, ETAPS 2002. He was ranked a UIUC excellent teacher in Spring 2013, Fall 2012, Spring 2008 and Fall 2004. He is known for work in runtime verification, the K framework, matching logic, and automated coinduction.

Ileana Ober, University Paul Sabatier, Toulouse, France

Dr. Ileana Ober is a full professor at Université Paul Sabatier, Toulouse and head of the ARGOS (Advancing Rigorous Software and System Engineering) research team at IRIT (Institut de Recherche en Informatique de Toulouse). She received a PhD degree in computer science and telecommunications from Institut National Polytechnique de Toulouse in 2001 and a MSc degree in computer science from Babes-Bolyai University of Cluj-Napoca in 1997. Prior to joining Université Paul Sabatier, she has worked as a research engineer at Telelogic Toulouse, contributing to the design and developement of the first UML 2.0 commercial tool – Telelogic TAU G2 (2001-2002) and as a post-doc and then research engineer at Verimag, Grenoble (2002-2004). Her research focuses on topics such as the application of modelling techniques to various domains (high performance computing, real-time and embedded systems), Domain Specific Languages, analysis and design languages and methods, software components, real-time and embedded systems’ modelling and verification, formalization of object oriented languages and the identification of means to make system model verification and validation more accessible. She has served as a PC member at various software modeling scientific events (among which the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems – MODELS, the ACM/IEEE International Conference on UML, or the European Conference on Modelling Foundations and Applications – ECMFA) and she has co-organized several workshops at various editions of the ACM/IEEE International MODELS Conference.