Michael works as a researcher on the project “Interactive Proof: Proof Translation, Premise Selection, Rewriting “.
- Details
- Category: News Archive
Thibault Gauthier successfully defended his thesis on Learning-Assisted Reasoning within Proof Assistants. He joined the Automated Reasoning Group at the Czech Technical University in Prague as a postdoctoral research assistant.
- Details
- Category: News Archive
Dohan Kim joins the ARI project as post-doc.
- Details
- Category: News Archive
Christina Kohl participated in the Gletscher Trailrun and finished 3rd in the top category: 62 kilometers with 3600 altitude meters. A tremendous achievement!
- Details
- Category: News Archive
Jonas Schöpf joins the ARI project as PhD student.
- Details
- Category: News Archive
CL is proud to announce that Aart Middeldorp acquired an FWF International Project with JSPS (Japan Society for the Promotion of Science).
The project is about the automation of rewriting infrastructure and will be conducted with partners from Japan (Japan Advanced Institute of Science and Technology, Niigata University, National Institute of Advanced Industrial Science and Technology, Nagoya University). The project runs for three years. Further details can be obtained from the project’s website.
- Details
- Category: News Archive
A 3 year postdoc position is available. Click here for details.
- Details
- Category: News Archive
Manuel joins the CL-team as post-doctoral researcher. He is a well known Isabelle user and one of the editors of the archive of formal proofs.
- Details
- Category: News Archive
Yutaka Nagashima successfully defended his PhD thesis “Artificial Intelligence and Domain-Specific Languages for Interactive Theorem Proving”. He joined Yale-NUS as a Research Associate.
- Details
- Category: News Archive
The international conference on formal structures for computation and deduction (FSCD) and the international joint conference on automated reasoning (IJCAR) are two major conferences in the areas of rewriting, verification, automated deduction, and automated reasoning. In 2020 these conferences are collocating as part of the Paris Nord Summer of LoVe 2020, a joint event on logic and verification. There will be two joint invited speakers: John Harrison of Amazon Web Services and René Thiemann from our research group. CL congratulates.
- Details
- Category: News Archive
Today Jonas successfully defended his master thesis on “The Weighted Path Order in TTT2”. We are happy that Jonas will be employed on a university position to pursue a PhD.
- Details
- Category: News Archive