| type |
name |
photo |
title |
email |
web |
bio |
note |
researcher |
Christoph Kirsch |
christoph_kirsch.jpg |
Professor |
|
|
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. |
|
| type |
name |
photo |
title |
email |
web |
bio |
note |
researcher |
Jan Vitek |
jan_vitek.jpg |
Professor |
|
|
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. |
|
| type |
name |
photo |
title |
email |
bio |
note |
alumni |
Tomáš Kalibera |
tomas_kalibera.jpg |
Researcher |
|
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). |
|
| type |
name |
photo |
title |
email |
bio |
note |
alumni |
Ryan Culpepper |
ryan_culpepper.jpg |
Researcher |
|
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. |
|
| type |
name |
photo |
title |
email |
web |
bio |
note |
researcher |
Filip Křikava |
filip_krikava.jpg |
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. |
|
| type |
name |
photo |
title |
email |
web |
bio |
note |
alumni |
Konrad Siek |
konrad_siek.jpg |
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. |
|
| type |
name |
photo |
title |
email |
web |
bio |
note |
researcher |
Pierre Donat-Bouillud |
pierre_donat-bouillud.jpg |
Assistant professor |
|
|
Ph.D., Sorbonne Université, 2019 |
Joined Czech Technical University, 2020 |
Asssistant professor at Czech Technical University, 2024 |
|
My research interests revolves around programming languages and data science. Most recently, I have been working on the R language. |
|
| type |
name |
photo |
title |
bio |
note |
alumni |
Colette Kerr |
colette_kerr.jpg |
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. |
|
| type |
name |
photo |
title |
email |
web |
bio |
note |
alumni |
Anna Bolotina |
anna_bolotina.png |
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. |
|
| type |
name |
photo |
title |
web |
bio |
note |
alumni |
Hyeyoung Shin |
hyeyoung_shin.jpg |
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. |
|
| type |
name |
photo |
title |
email |
bio |
note |
researcher |
Sebastián Krynski |
sebastian_krynski.jpg |
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. |
|
| type |
name |
photo |
title |
email |
web |
bio |
note |
researcher |
Petr Maj |
petr_maj.jpg |
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). |
|
| type |
name |
photo |
title |
email |
bio |
note |
alumni |
Petr Adámek |
petr_adamek.jpg |
Graduate |
|
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. |
|
| type |
name |
photo |
title |
email |
bio |
note |
researcher |
Filip Říha |
filip_riha.jpg |
Graduate |
|
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. |
|
| type |
name |
photo |
title |
email |
web |
bio |
note |
alumni |
Jan Ječmen |
jan_jecmen.jpg |
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. |
|
| type |
name |
photo |
title |
email |
web |
bio |
note |
alumni |
Jan Sliacky |
jan_sliacky.jpg |
Graduate |
|
|
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. |
|
| type |
name |
photo |
title |
email |
bio |
note |
alumni |
Valentin Ogier |
valentin_ogier.jpg |
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. |
|
| type |
name |
photo |
title |
email |
bio |
note |
alumni |
Andrew Kvapil |
andrew-kvapil.jpg |
Master's student |
|
|
I am interested in purely functional programming and programming language semantics. I currently work on dynamic tracing of Haskell programs. |
|
| type |
name |
photo |
title |
email |
bio |
note |
alumni |
Stefanie Muroya |
stefanie_muroya.jpg |
Research Intern |
|
|
Currently, I do research on how to mitigate bias of GitHub datasets that researchers use to test various hypothesis. |
|
| type |
name |
photo |
title |
email |
web |
bio |
note |
alumni |
Oliver Tušla |
oliver_tusla.jpg |
BSc Student |
|
|
Joined Czech Technical University, 2021 |
|
I am interested in the runtimes of programming languages. |
|
| type |
name |
photo |
title |
email |
web |
bio |
note |
alumni |
Alexander Kovalenko |
alexander_kovalenko.jpg |
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. |
|
| type |
name |
photo |
title |
email |
web |
bio |
alumni |
Guido Chari |
guido_chari.jpg |
Post-doctoral researcher |
|
|
March 2018 - February 2020 |
|
| type |
name |
photo |
title |
email |
web |
bio |
alumni |
Jakob Hain |
jakob_hain.jpg |
Research assistant |
|
|
January 2020 - May 2020 |
|
| type |
name |
photo |
title |
email |
web |
bio |
alumni |
Ondřej Bíža |
ondrej_biza.jpg |
Researcher |
|
|
October 2019 - July 2019 |
|
| type |
name |
photo |
title |
email |
bio |
alumni |
Julia Belyakova |
julia_belyakova.jpeg |
Research assistant |
|
August 2017 - August 2018 |
|
| type |
name |
photo |
title |
email |
web |
bio |
alumni |
Artem Pelenitsyn |
artem_pelenitsyn.jpg |
Research assistant |
|
|
August 2017 - August 2018 |
|
|
| type |
name |
photo |
title |
email |
bio |
alumni |
Chakshu Goyal |
chakshu_goyal.jpg |
Research intern |
|
|
|
| type |
name |
photo |
title |
email |
bio |
alumni |
Borja Lorente |
borja_lorente.jpg |
Research intern |
|
|
|
| type |
name |
photo |
title |
email |
bio |
alumni |
Paley Li |
paley_li.jpg |
Post-doctoral researcher |
|
|
|
| type |
name |
photo |
title |
email |
bio |
alumni |
Jakub Žitný |
jakub_zitny.jpg |
MSc student |
|
January 2016 - January 2017 |
|
|
| type |
name |
photo |
title |
email |
bio |
alumni |
Michal Vácha |
michal_vacha.jpg |
BSc student |
|
|
|
| type |
name |
photo |
title |
email |
bio |
alumni |
Filippo Ghibellini |
filippo_ghibellini.jpg |
BSc student |
|
|
|
| type |
name |
photo |
title |
email |
bio |
alumni |
Alena Sochůrková |
alena_sochurkova.jpg |
PhD student |
|
August 2016 - August 2017 |
|
|
| type |
name |
photo |
title |
email |
bio |
alumni |
Tomáš Licek |
tomas_licek.jpg |
PhD student |
|
|
|
| type |
name |
photo |
title |
email |
bio |
alumni |
Jan Noha |
jan_noha.jpg |
PhD student |
|
|
|
| type |
name |
photo |
title |
email |
bio |
alumni |
Lucie Lerch |
lucie_lerch.jpg |
Project Manager |
|
|
|
| type |
name |
photo |
title |
email |
bio |
note |
admin |
Dana Tomášková |
dana_tomaskova.jpg |
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. |
|