{ } About me
I successfully defended my dissertation, great thanks to my advisor Prof. Koskinen for all the help and support!
I'm on job market now, checkout my CV
Research Interests
Formal Verification, Program Languages, Software Engineering, Systems and Security, Artificial Intelligence
as well as theories and applications in practical problems.
Before Stevens
I like mathematical modeling, it abstracts practical problems with precise math symbols and equations, the math model can then
be applied to a broader range of real problems, making the reality more interpretable.
I hold a bachelor's degree in Information and Computing Science and a master's degree in Information Security.
On the personal side I enjoy sports (workout, running, skiing, swimming), dancing to music, reading (my bookshelves), and traveling to interesting cities. Ocassionally, I like writing Blogs.