Research staff
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.

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.

Filip Křikava
Post-doctoral researcher
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.

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.

Jan Sliacky
Master's student
Joined Czech Technical University, 2016

I currently work on Lambdulus. I like functional programming languages and various type systems. I hope to create one in the future.

Administrative Staff
Lucie Lerch
Project Manager
Joined Czech Technical University, 2016

I am the first point of contact for any issues or discrepancies arising from anywhere. My work is to prepare, coordinate, control such matters as budget, reports and various issues linked to the project. My goal is to give others as much space as possible to concentrate on their research work.

Alumni and Former Members
Jan Ječmen
PhD student
October 2017- June 2019

Konrad Siek
Post-doctoral researcher
January 2017 - June 2019

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.

Guido Chari
Post-doctoral researcher
March 2018 - June 2019

My main research interest aims at making programming languages more flexible. I am also interested in ensuring that dynamic PLs do not suffer from prohibitive performance overheads. In addition, I am interested in providing mechanism to help developers reason about the correctness of their programs.

Julia Belyakova
Research assistant
August 2017 - August 2018

I am interested in programming languages, type theory, generic programming, and theorem proving. I was working on a better support for generic programming in object-oriented languages, and now work around the Julia programming language.

Artem Pelenitsyn
Research assistant
August 2017 - August 2018

I am interested in typed functional programming languages, type theory, mathematics of program construction. In the past I worked for better software engineering principles of building a computer algebra software in C++, especially using what C++ world knows as generic programming. For now I'm mostly working on a principled approach to the Julia programming language.

Chakshu Goyal
Research intern
May 2018 - July 2018

I'm a third year dual degree (B.Tech + M.Tech) student at IIT Delhi. My project concerns the analysis of the eval function in R.

Borja Lorente
Research intern
October 2017 - June 2018

I am interested in contributing to the design and implementation of languages. Specifically, I would like to explore the growth and evolution patterns of language communities and ecosystems.

Paley Li
Post-doctoral researcher
May 2017 - May 2018

My research interests is in programming languages, specifically type theory, ownership types, and local reasoning for memory management. Most recently, I have been working on formalising object cloning for ownership types.

Jakub Žitný
MSc student
January 2016 - January 2017

I worked on an analysis of large software repositories. This included exploring properties of JavaScript projects on GitHub, searching for clones within the projects and looking for ways to apply machine learning techniques to improve security and performance of JavaScript code without executing it.

Michal Vácha
BSc student
February - May 2016

I worked in PRL-PRG lab on my bachelors thesis. My assignment was to implement serialization of closures in genthat, an automatic test generator for R.

Filippo Ghibellini
BSc student
August - May 2016

While I was an intern in the PRG lab, I spent six months in Boston at Northeastern working on genthat, a tool for automated test generation for R packages.

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