Head of the group
Distributed programming · Actors · Debugging · Reflection · Consistency
Post-doctoral researcher
Source code instrumentation · Web security · Dynamic analysis
PhD student (Funded by EUTOPIA co-tutelle with NOVA University of Lisbon)
Replicated Data Types · Consistency · Verification
