Head of the group
Distributed programming · Actor-based concurrency · Reflection · Debugging · Consistency
Post-doctoral researcher (Funded by Cybersecurity Research Program Flanders)
Source code instrumentation · Dynamic analysis · Web security
Post-doctoral researcher (20% appointment)
Replicated Data Types · Consistency · Verification
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
