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).
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.
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.
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.
My main research interest aims at making programming languages more flexible. I am also interested in ensuring that dynamic PLs do not suffer from prohibitive performance overheads. In addition, I am interested in providing mechanism to help developers reason about the correctness of their programs.
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.
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.
I am a master's student at FIT CTU. I am interested in implementation of programming languages.
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.