- 2017
- 2016
- 2015
- 2014
- 2013
- 2012
- 2011
- 2010
- 2009
- 2008
- 2007
- 2006
- 2005
- 2004
- 2003
- 2002
- 2001
- 2000
- 1999
- …
- 1981
Professional Experience & Education
PhD
EPFL
PhD, Instituto Superior Técnico (UTL/IST Lisbon, Portugal)
LICS'09: 9th Symposium "Logic in Computer Science"
FOSAD'06: 6th International School on Foundations of Security Analysis and Design
FOSAD'05: 5th International School on Foundations of Security Analysis and Design
Computer Science Engineering Diploma (Master’s Degree)
3D "breakout" game in C++
Automatic music page turner software in C++
3D car racing game in C++
3D "push-over" remake in C++
Member of DisCoTec’09 Organising Committee
ELCA
Backend sales and accounting system for point of sale transport
Reusable Java/SQL/Typescript code generation system
Vietnam
Event
management system. Dynamic online forms specified in a Java
DSL insurance
Distributed asynchronous task scheduling; implementation of financial calculations for a trade finance tool bank
Ext Scheduler integration; Alert calculator government
Robust state machine framework for document workflow system bank
Data migration,
code reviews government
Theoretical conception of a publishing system for “intelligent” websites
Assistant of Pr. Zahnd: Automata & Calculability
Assistant of Pr. Odersky: Scala & Compilation
Assistant of Pr. Guerraoui: Java, SmallTalk
Design and implementation of the electronic ticketing system “FreeSeat”
Assistant of Pr. Strohmeier: Ada
Distributed search engine design and prototype.
Vietnamese (conversation)