Research staff
Jan Vitek
Professor
j.vitek@neu.edu
http://janvitek.org
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
Post-doctoral researcher
f.krikava@neu.edu
http://fikovnik.net
Joined Czech Technical University, 2015
Joined INRIA Lille, 2013
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.


Tomáš Kalibera
tomas.kalibera@r-project.org
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).


Konrad Siek
Post-doctoral researcher
siekkonr@fit.cvut.cz
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 and static analysis.

Students
Jan Ječmen
MSc Student
jan.jecmen@gmail.com
Joined Czech Technical University, 2016

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


Jan Noha
PhD Student
nohajan@fit.cvut.cz
Joined Czech Technical University, 2016

I'm interested in effective implementation of dynamically typed programming languages.


Alena Sochůrková
PhD Student
sochuale@fit.cvut.cz
Joined Czech Technical University, 2016

I am interested in security of programming languages and secure programming principles.


Tomáš Licek
licekto@fit.cvut.cz
PhD Student
Joined Czech Technical University, 2016

I am interested in programming languages, virtual machines, C++ language and low-level programming. Currently I am focused on R language, it's interpretation and optimization. I've got some experience with embedded systems and malware analysis.


Jakub Žitný
Joined Czech Technical University, 2016

I'm working on analysis of large software repositories. Curently exploring the properties of JavaScript projects on GitHub, searching for clones within the projects and looking for a ways to apply machine learning techniques to improve security and performance of JavaScript code without executing it.


Administrative staff
Lucie Lerch
Project Manager

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.