TTCS 2017

Sponsors

Previous Event

Keynote Speakers


Mahdi Cheraghchi
Imperial College, UK
http://mahdi.cheraghchi.info/

Mahdi Cheraghchi is a Lecturer (Assistant Professor) in the Department of Computing at Imperial College London. Previously, he have been a Qualcomm Research Fellow at the Simons Institute for the Theory of Computing of U.C. Berkeley and have held post-doctoral researcher positions at the MIT Computer Science and Artificial Intelligence Lab (hosted by Piotr Indyk), Computer Science Department of the Carnegie Mellon University (hosted by Venkat Guruswami) and the University of Texas at Austin (hosted by David Zuckerman). He received his PhD in Computer Science from EPFL, Switzerland.
Jaco van de Pol
University of Twente, The Netherlands
https://wwwhome.ewi.utwente.nl/~vdpol/

Jaco van de Pol is a professor in the Department of Computer Science at University of Twente. He received his PhD in the Department of Philosophy at Utrecht University, Netherlands. He is the chair of Formal Methods and Tools (FMT) research group, Head of Department Computer Science within EEMCS University of Twente, Faculty EEMCS, Research Institute CTIT. His research interests are modeling and analysis of safety, dependability and security aspects of software-intensive embedded systems by means of model checking, theorem proving and testing.
Stefano Leonardi
Sapienza University of Rome
http://www.dis.uniroma1.it/~leon/wikka.php?wakka=HomePage

Stefano Leonardi is a full professor in the Department of Computer, Control and Management Engineering Antonio Ruberti at Sapienza University of Rome. He received his PhD in Computer Science at University of Rome. His research interests are approximation and online algorithms, web algorithmics and data mining, economics and computation.