I am currently a student at the Saarbrücken Graduate School of Computer Science. I am now working for my Research Immersion Lab with Prof. Smolka on Propositional Logic.
I am mainly interested in Computational Logic and Software Verification.
I received my BSc and MSc in Computer Science from University of Science, Vietnam.