MSc Presentation - Ethan Jackson
Ethan Jackson will present the results of his reading course on Friday May 03 @10:00 am in J328. A shortabstract is given below:
In formal software engineering the task of proving program correctness is often difficult and expensive. Due to the Curry-Howard correspondence, stating that there is an equivalence between proofs and programs, the use of certain software proof assistants can accelerate this task and in turn help generate correct program code. To make use of this we consider implementations of category theory suitable for reasoning abstractly about functional programs, types, and relation algebras as a precursor to a concrete implementation of Fuzzy Controllers in Arrow Categories.
Everybody is welcome :)