RESEARCH AREA AND FOCUS
I work primarily with finding new ways to improve the practicality of model checking using partial order reductions. Both by proving on a high level that the methods are correct with respect to preserving interesting properties, and developing efficient algorithms for instantiating the methods to more concrete settings.
PROJECTS
Right now I am looking into how partial order reductions can be used for quantitative systems. In the future, I hope to look into both refining previous work on timed systems and games and finding ways to combine these methods.
PRIVATE/FUN FACTS
I have a proficiency qualification in Japanese, but I am quite rusty (outside of reading) due to lack of practice. In recent years, I have gotten very into weight training. Other than that, I am stereotypical geek of my age group, as I spend a lot of my free time with video games, comics, and animation.