Her research interests include computer-aided deduction and verification, type systems, logics, programming languages and computational mathematics. .. Read more The second approach introduces a novel interactive approach to quantifier reasoning using an SMT solver. We automatically abstract the verification condition in a way that eliminates function cycles. Bio: Guido Governatori leads the Software Systems Research Group and research activities on legal informatics at CSIRO's Data61. He received his PhD in Legal Informatics from the University of Bologna. From using learned heuristics instead of handwritten heuristics, to learning to retrieve premises, to directly predicting proofs using language models; neural networks appear to be surprisingly capable at working with abstract mathematics. He explores the foundations of automated reasoning, including the use of deep learning, and is a member of the N2Formal team, which has the goal to automatically formalize mathematics.
- Share your Experience