Hi!
My name is DAO Tran Minh. I am studying my second year in the "Masters Program in Computational Logic" in Technical University of Vienna-Austria. Currently I am taking my last module here and doing my project which will lead to my master thesis.
For further information, please contact me: daotranminh at gmail dot com