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.

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.

Guido Chari
Post-doctoral researcher
Joined Czech Technical University, 2018
PhD, Buenos Aires University, 2017

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.

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.

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.

Jan Ječmen
PhD student
Joined Czech Technical University, 2016

I am a master's student at FIT CTU. I am interested in implementation of programming languages.

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).

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
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