Bram Vandenbogaerde
E-mail: bvdbogae@soft.vub.ac.be |
Address: Vrije Universiteit Brussel Faculty of Sciences, DINF – SOFT Pleinlaan 2 B-1050 Brussels, Belgium |
Job Description
Predoctoral fellow.
Research Description
I research static analyses based on abstract interpretation to enable verification of software contracts in distributed programs.