Research staff
Joined Czech Technical University, 2020
ACM Distinguished Speaker, 2017
Visiting Professor at UC Berkeley, 2014
ACM SIGBED chair, 2011-2013
Visiting Scholar at UC Berkeley, 2008-2013
Co-founder of EMSOFT, 2001
Postdoc at UC Berkeley, 1999-2004
Dr.Ing. from Saarland University while at the Max Planck Institute for CS in Saarbrücken, 1999

I am interested in programming languages and systems, in particular concurrent programming and memory management. I also care about formal methods, especially bit-precise reasoning through symbolic execution and bounded model checking. People in computer science know me for co-inventing logical execution time and the embedded programming language Giotto which by now have made their way into modern cars around the world.

Jan Vitek
Joined Czech Technical University, 2016
Joined Northeastern, 2014
Joined Purdue, 1999
PhD, University of Geneva, 1999
MSc, University of Victoria, 1995

I work on the design and implementation of programming languages. I led the implementation of the first real-time Java virtual machine to be flight-tested. With Noble and Potter, I proposed what became known as Ownership Types. I tried to understand JavaScript by dynamic analysis and am now looking at supporting scalable data analysis in R.

Filip Křikava
Associate professor
Joined Czech Technical University, 2015
Post-doc at INRIA Lille, 2013-2015
PhD, University of Nice Sophia-Antipolis, 2013

Coming from software engineering and domain-specific modeling. I’m interested in various aspects of programming languages in particular in static and dynamic program analysis. Most recently I have been working on dynamic tracing in R.

Pierre Donat-Bouillud
Post-doctoral researcher
Ph.D., Sorbonne Université, 2019
Joined Czech Technical University, 2020

My research interests include real time systems, multimedia systems and programming languages. Most recently, I have been working on the R language.

Sebastián Krynski
PhD student
Joined Czech Technical University, 2020
MSc, Buenos Aires University, 2014

I am interested in object-oriented, dynamically typed reflective programming languages in the tradition of Smalltalk, Self and Newspeak. I am currently working on the R language implementation. I am also working on my PhD thesis directed by Dr. Gilad Bracha.

Petr Maj
Assistant professor
Joined Czech Technical University, 2016
Worked at 0xdata (Silicon Walley, CA), 2012-2013
Worked at SN Systems (Bristol, UK), 2010-2012
Graduate Student at Purdue, IN, 2009-2010
Erasmus Scholarship at University of Bristol, UK, 2006-2007

I used to work professionally on PS3 and PS Vita compilers and toolchains. I am interested in design, analysis and optimization of programming languages (mostly dynamic), big code & synthesis and embedded systems. Currently I am working on large scale analysis of code on Github (mostly JavaScript).

Petr Adámek
Joined Czech Technical University, 2018

I am particularly interested in program sandboxing and applying my knowledge from computer security to new areas. Currently I am working on the dependency tracker of the R4R tool.

Filip Říha
Joined Czech Technical University, 2019

I am most interested in virtual machines and their various aspects. My most recent work has been implementing an object-oriented programming language in purely functional language.

Administrative Staff
Dana Tomášková
Bursar and Project Manager
Joined Czech Technical University, 2019
Joined the Faculty of Information Technology, 2020

I'm your first contact with the lab. I am responsible for management, projects, budget, finance and administration. Just everything so that my colleagues can focus on their research work undisturbed.

Alumni and Former Members
Tomáš Kalibera
Joined Czech Technical University, 2016
Post-doc at University of Kent, 2010-2012
Post-doc at Purdue, 2007-2009
Joined Charles University, 2007
PhD, Charles University, 2006

I work on R language implementation (AST/byte-code interpreter, runtime). I worked on Java and real-time Java implementations (garbage collector, ahead-of-time compiler, interrupt control), on benchmarks and on benchmarking methodology (modeling non-determinism with random effects).

Ryan Culpepper
Joined Czech Technical University, 2017
Research scientist at Northeastern University, 2012-2017
Post-doctoral researcher at University of Utah, 2010-2012
PhD, Northeastern University, 2010

I work on the design, implementation, and semantics of programming languages, especially languages with powerful syntactic abstraction and extension capabilities. Much of my work in that area involves tools and libraries for the Racket macro system. I have also worked on the semantics of probabilistic programming languages.

Konrad Siek
Post-doctoral researcher
Joined Czech Technical University, 2017
PhD, Poznań University of Technology, 2017

I am interested in contributing to programming language research, which is a new field to me. I have a background in distributed computing, concurrency, and transactional memory. I am currently exploring the R language, its compilation, tracing, and static analysis.

Colette Kerr
Research assistant

Joined Czech Technical Univeristy, 2018

I am looking to work with new programming languages and modifications to programming languages that enable transparent networked computation.

Anna Bolotina
Research assistant
Joined Czech Technical University, 2019
BS, Southern Federal University, 2018

I'm interested in PL design and implementation, compilers, and functional programming. I used to work on generic programming in Haskell. I also worked at SFedU on an educational programming language PascalABC.NET and explored syntactic sugar models. Currently, I am exploring the Racket language and macro system.

Hyeyoung Shin
Research Assistant
Joined Czech Technical Univeristy, 2019
MA, Northeastern University, May 2019

I am interested in logic and foundations of computing science, and more specifically programming languages theory. I am currently learning the R language and how to help programmers test their R programs better.

Jan Ječmen
Research assistant
Joined Czech Technical University, 2016

I enjoy learning about and working on programming languages, especially their implementation and optimization. I have worked on an optimizing compiler for R most of my time here which has proven both challenging and rewarding.

Joined Czech Technical University, 2016

I am most interested in the design of functional programming languages and their type systems. I am currently working on a statically typed, lazy functional programming language with an expressive type system.

Valentin Ogier
Research intern
April 2021 - August 2021
MSc, Ecole Polytechnique

I am interested in programming languages, and in computer architecture. I am currently working on extending contextual dispatch in the Ř compiler.

Andrew Kvapil
Master's student
2021 - 2022

I am interested in purely functional programming and programming language semantics. I currently work on dynamic tracing of Haskell programs.

Stefanie Muroya
Research Intern
2021 - 2022

Currently, I do research on how to mitigate bias of GitHub datasets that researchers use to test various hypothesis.

Oliver Tušla
BSc Student

Joined Czech Technical University, 2021

I am interested in the runtimes of programming languages.

Alexander Kovalenko
Post-doctoral researcher
Joined Czech Technical University, 2019
Post-doc at Johannes Kepler University, 2018
Post-doc at NOVA University Lisbon, 2016
Post-doc at Jaume I University, 2013
Post-doc at Brno University of Technology, 2012
Ph.D., Czech Technical University, 2012

Being a curious person, I am fascinated by the new Machine Learning techniques, that can bring an additional value of intelligence to nearly every field in our lives. My current goal is to implement Machine Learning methods in the project.

Guido Chari
Post-doctoral researcher
March 2018 - February 2020

Jakob Hain
Research assistant
January 2020 - May 2020

October 2019 - July 2019

Julia Belyakova
Research assistant
August 2017 - August 2018

Artem Pelenitsyn
Research assistant
August 2017 - August 2018

Chakshu Goyal
Research intern
May 2018 - July 2018

Borja Lorente
Research intern
October 2017 - June 2018

Paley Li
Post-doctoral researcher
May 2017 - May 2018

Jakub Žitný
MSc student
January 2016 - January 2017

Michal Vácha
BSc student
February - May 2016

Filippo Ghibellini
BSc student
August - May 2016

Alena Sochůrková
PhD student
August 2016 - August 2017

Tomáš Licek
PhD student
October 2016 - May 2017

Jan Noha
PhD student
October 2016 - May 2017

Lucie Lerch
Project Manager
2016 - December 2022