Your Twin learns with you

30% off annual Pro20% off monthly Pro

Ends in00h00m00s

David Baelde

Professeur

ENS-RENNES
Country flagFrance
ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Explore related searches

Professors in France

About

Professor David Baelde is a faculty member at ENS Rennes in France. His research primarily focuses on logic and verification, as evidenced by his recent article, "The Squirrel Prover and its Logic." Professor Baelde is dedicated to advancing knowledge in these areas through both teaching and research.

Articles (1)

Year:

2024

Collaborators (1)

Adrien Koutsos

Inria Centre de Recherche de Paris

FRANCE
View details