The three new members will work on the project “Strong Modular Proof Assistance: Reasoning Across Theories”. They will work on CoqHammer and learning for automated reasoning.
January 30, 2019: CL welcomes Ping Hou, Josh Chen, and Stanisław Purgał as new members
- Details
- Category: News Archive