My research interests include: programming languages, semantics, formal methods, type systems, static analyses, program verification, non-interference, security monitors, information flow.
Please find below the list of my publications. Also please check out my entries on DBLP.
In academic year 2019-2020, I'm a teaching assistant for the following classes:
Centre de recherche Inria Rennes Bretagne Atlantique
Campus universitaire de Beaulieu
35042 Rennes Cedex
- Office: F 207
- Email: benoit DOT montagu AT inria DOT fr
- Phone: +33 (0) 2 99 84 74 55