Friday Hacks '21
Friday Hacks is a weekly event during the semester where members invite speakers to share their stories, insights and experiences working on both personal and professional projects through technical talks.
CCLAW Principal Research Fellow, Mr Wong Meng Weng, gave a talk that considers laws and contracts as a problem in computer science, and proposes a domain-specific language amenable to formal verification and other old-fashioned AI methods like constraint logic programming, answer set programming, model checking, LTL/CTL, and type theory.
Event Date
12 March 2021
Associated Speaker & Theme
Principal Investigator
Wong Meng Weng