Evento. Enviado por decanato válido desde 12/04/2018 hasta 14/04/2018(caducado)
Datos de evento
Conferenciante: Dr. Bartosz Milewski. University of Washington Lugar evento: H1003 Celebración evento: desde el día 09/04/2018 hasta el 13/04/2018 desde las 17:00 hasta las 19:00
Dr. Bartosz Milewski (https://bartoszmilewski.com/) got his PhD in Theoretical Physics in Poland. He has worked for Microsoft designing and implementing a search engine. He then created his own micro company, Reliable Software, which makes a distributed version control system. He wrote the book “C++ in Action, Industrial Strength Programming in C++.” He started digging into Computer Science, enlisting in graduate courses at the University of Washington, and later joined Walter Bright and Andrei Alexandrescu in designing and implementing the D programming language. His interest in C++ template metaprogramming and concurrency naturally led him to Haskell, and then to category theory.
Topics:
The relationship between category theory, Martin Löf type theory, and proof-relevant constructive logic
Definition of a category. Category of sets and functions.
Terminal object, empty context, logical truth value, global elements, generalized elements.