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