PhD Student
Hong Kong University of Science and Technology (HKUST)
I am a PhD student at HKUST, where I am part of the research group called ALPACAS (Algorithms, Logic, Program Analysis, Cryptocurrencies And Smart contracts). My supervisors are Amir K. Goharshady and Dimitris Papadopoulos. I have a Bachalor of Science in Informatics from Technical University of Munich (TUM)