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).
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.
My research interests is in programming languages, specifically type theory, ownership types, and local reasoning for memory management. Most recently, I have been working on formalising object cloning for ownership types.
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.
I am interested in programming languages, type theory, generic programming, and theorem proving. I was working on a better support for generic programming in object-oriented languages, and now work around the Julia programming language.
I am interested in typed functional programming languages, type theory, mathematics of program construction. In the past I worked for better software engineering principles of building a computer algebra software in C++, especially using what C++ world knows as generic programming. For now I'm mostly working on a principled approach to the Julia programming language.
I am a master's student at FIT CTU. I am interested in implementation of programming languages.
I am interested in contributing to the design and implementation of languages. Specifically, I would like to explore the growth and evolution patterns of language communities and ecosystems.
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.
I worked in PRL-PRG lab on my bachelors thesis. My assignment was to implement serialization of closures in genthat, an automatic test generator for R.
While I was an intern in the PRG lab, I spent six months in Boston at Northeastern working on genthat, a tool for automated test generation for R packages.