TTCS 2017

Sponsors

Poster

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.
Peter Csaba Ölveczky
University of Oslo, Norway
http://folk.uio.no/peterol/

Peter Csaba Ölveczky is a professor in the Department of Informatics at University of Oslo. He received his PhD in Computer Science at University of Bergen, Norway. His research interests are rewriting logic, formal specification and analysis of distributed, real-time, and hybrid systems.
Łukasz Jeż
University of Wrocław, Poland
https://sites.google.com/a/cs.uni.wroc.pl/lje/home

Lukasz Jez is an assistant professor at University of Wrocław, Poland. He received his PhD in Computer Science at University of Wrocław. He is broadly interested in algorithms and combinatorial optimization but almost all of his research is on online algorithms