Hai Dang

Saarland University Computer Science
Hai Dang

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.

Legal notice, Privacy policy