Description
David Baelde est professeur au département informatique de l'ENS Rennes, rattaché à l'IRISA où il mène ses recherches au sein de l'équipe Spicy.
Il s'intéresse à la logique et à ses applications en informatique. Il a soutenu en 2008 une thèse au LIX (École Polytechnique) puis a poursuivi ses recherches à l'Université du Minnesota, l'Université Paris-Sud, puis à l'ENS Paris-Saclay. Il a développé une expertise particulière en preuve formelle de protocoles, et ses travaux s'articulent ces dernières années autour de l'assistant de preuve Squirrel dont il a été l'un des initiateurs.
