ICTAC 2022

Committees

Conference Chairs

• Besik Dundua, Kutaisi International University, and Tbilisi State University, Georgia
• Mikheil Rukhaia, Tbilisi State University, Georgia

Program Chairs

• Helmut Seidl, Technical University of Munich, Germany
• Zhiming Liu, Southwest University in Chongqing, China
• Corina Pasareanu, NASA Ames Research Centeq

Program Committee

• Luis Barbosa, University of Minho, Portugal
• Lei Bu, Nanjing University, China
• Zhenbang Chen, National University of Defense Technology, Changsha, China
• Yunwei Dong, Northwestern Polytechnical University, China
• Deepak D'Souza, Indian Institute of Science, Bangalore, India
• Maribel Fernandez, King's College London, UK
• Simon Foster, University of York, UK
• Fei He, Tsinghua University, China
• Joost-Pieter Katoen, RWTH Aachen University, German
• Johannes Kinder, Bundeswehr University Munich, Germany
• Peter Lammich, University of Twente, The Netherlands
• Guoqiang Li, Shanghai Jiao Tong University, China
• Francesco Logozzo, Facebook
• Yannic Noller, National University of Singapore
• Colin Paterson, University of York, UK
• Martina Seidl, Johannes Kepler University Linz, Austria
• Vaibhav Sharma, University of Minnesota, USA
• Volker Stolz, Western Norway University of Applied Sciences, Norway
• Youcheng Sun, Queen's University Belfast, UK
• Caterina Urban, INRIA, France
• Heike Wehrheim, Paderborn University, Germany
• Naijun Zhan, Institute of Software, Chinese Academy of Sciences, China
• Miaomiao Zhang, Tongji University, China