Beta Zilliani is a researcher and lecturer in the group LIIS at FAMAF, Universidad Nacional de Córdoba.
Beta’s research focuses on improving interactive theorems provers, through proof automation and the development of languages for tactic programming.
Beta received his MS and Ph.D. from the Universidad de Buenos Aires, Argentina, and at MPI-SWS, Germany.
Talk : Tactic languages, Tuesday Jan 7, 16:00 – 18:00
Personal website : https://people.mpi-sws.org/~beta/