Options

Introduction: Alex Gryzlov

edited May 2018 in Chat

Hello! I'm doing functional-ish programming (mostly with things like distributed data streaming) and tinkering with dependent types; I also used to do a PhD on bioinformatics, though I've dropped out since. I'm quite interested in the rising field of applied category theory - things like monoidal categories, coalgebras, props, sheaves etc - and their use for designing and analyzing complex systems. Hope to pick on the basics in this course!

Sign In or Register to comment.