Warsztaty z dowodzenia w systemie Coq

Tematyka warsztatów:

How to obtain formally verified computer programs using the Coq proof-assistant. The lecture assumes no prior knowledge of Coq but is aimed at computer scientists, philosophers and mathematicians with some basic background in logic.

Warsztaty odbędą się 2x po 1 godzinie, 2 i 3 września, o godz. 10.00 w sali 108. Dobrze jest zabrać ze sobą laptopa z zainstalowanym środowiskiem Coq. Można też zainstalować Coq w czasie warsztatów. https://coq.inria.fr/download

Prof. Rajeev Gore w 1992 roku uzyskał tytuł doktora w Computer Laboratory na Uniwersytecie Cambridge. Wcześniej studiował na Uniwersytecie w Melbourne, gdzie uzyskał tytuł licencjata (z wyróżnieniem) z podwójnym kierunkiem studiów: fizyka i informatyka, a także tytuł magistra w zakresie automatyzacji projektowania. Obecnie jest Emeritus Professor w Australian National University, College of Engineering, Computing and Cybernetics.

Dziedziny zainteresowań prof. Gore to elektroniczne głosowanie i liczenie głosów, metody dowodzenia dla logik nieklasycznych, przepisywanie termów, interaktywne dowodzenie twierdzeń, automatyczne rozumowanie, logika.