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 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 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.
I am a master's student at FIT CTU. I am interested in implementation of programming languages.
I'm interested in effective implementation of dynamically typed programming languages.
I am interested in security of programming languages and secure programming principles.
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.
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.