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.
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.
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.
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.
Joined Czech Technical University, 2020
My research interests include real time systems, multimedia systems and programming languages. Most recently, I have been working on the R language.
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).
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.
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.
I am a PhD student at FIT CTU. I am interested in implementation of programming languages. I work currently on R.
