I am a postdoctoral researcher at Purdue University, working under supervision of Prof. Jan Vitek.
Particularly, I am in charge of Safety-Critical Java (SCJ) project, our goal is to provide first open-source implementation of SCJ - including SCJ VM, TCK and benchmarks.

My research interest in general are real-time programming, real-time Java, component-based programming and model checking.

News