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.

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.

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.

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.

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.

Sebastián Krynski
Research assistant
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.

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
Guido Chari
Post-doctoral researcher
Marh 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