Jean Goubault-Larrecq

• Proof theory and automated deduction
• Foundations of Software Science and Computation Structures
• Non-Hausdorff Topology and Domain Theory