Automated Reasoning in Systems Engineering
Laura Kovacs, Professor in Computer Science at the TU Wien
KAUST
Laura Kovacs, Professor in Computer Science at the TU Wien
KAUST
Jesper Tegner, Professor, BESE Division, KAUST
KAUST
Manuela Waldner, Assistant Professor at the Research Unit of Computer Graphics of the Institute of Visual Computing and Human-Centered Technology at TU Wien, Austria
KAUST
Simon Peter, Assistant professor, Computer Science, University of Texas, Austin
KAUST
Eduard Gröller, Associate Professor of Practical Informatics at the Vienna University of Technology
KAUST
Marios Kogias, Researcher, Microsoft Research
KAUST
Daniel Patel, Bergen University College, Norway
KAUST
Renata Raidou, Assistant Professor (Tenure Track) in Medical Visualization and Visual Analytics, and a Rosalind Franklin Fellow at the Bernoulli Institute of the University of Groningen, Netherlands
KAUST
Charalambos (Harrys) Konstantinou, Assistant Professor of Electrical and Computer Engineering with Florida A&M University and Florida State University (FAMU-FSU) College of Engineering
B9 L2 H1
Prof. Holger Theisel, Visual Computing, Magdeburg University
B9 L2 H1 R2322
Prof. Nasir Memon, Vice Dean for Academics and Student Affairs and Professor of Computer Science and Engineering at the New York University Tandon School of Engineering
B9 L2 H1
Dr. Sumayah Alrwais, Assistant Professor, King Saud University, Riyadh, KSA
B9 L2 H1 R2322
Dr. Timo Ropinski, Professor, Visual Computing, Ulm University, Germany
B9 L2 H1 R2322
Dr. Marc Dacier, Chair of the Digital Security department and a full Professor at Eurecom, France
B9 L2 H1 R2322
Dr. Suhaib Fahmy, Associate Professor, Computer Engineering, University of Warwick, UK
B2 B3 A0215
Prof. Xiangliang Zhang
B9 L2 H1 R2322
Dr. Xiuxian Li, School of Electrical and Electronic Engineering, Nanyang Technological University, Singapore
B9 L2 H1