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.