Bruno Berstel

E-mail berstel@informatik.uni-freiburg.de Phone +33 1 49 08 35 89 Fax +33 1 49 08 10 Post mail ILOG 9, rue de Verdun F-94250 Gentilly Homepage http://swt.informatik.uni-freiburg.de/berstel

Research

I am a Ph.D. student; my supervisor is Andreas Podelski. I am working on the static analysis of rule-based programs, and the use of constraints in this context.

Papers

• Michel Leconte and Bruno Berstel. Extending a CP Solver With Congruences as Domains for Software Verification.
• Workshop on Constraints in Software Testing, Verification and Analysis. CP 2006. [PDF]
• Journées Francophones de la Programmation par Contraintes, 2007. [PDF - in French]
• Bruno Berstel, Philippe Bonnard, François Bry, Michael Eckert, and Paula-Lavinia Pătrânjan. Reactive Rules on the Web. Reasoning Web Summer School 2007. [PDF]

My other life

I am also a software engineer at ILOG.