Marc Vinyals

Programming competitions

2013 — 2017

Coach for the KTH programming teams.

Teaching

Spring 2018

Short series of lectures on Proof Complexity as part of Concrete Lower Bounds.

Autumn 2016

Guest lecturer in Proof Complexity

Autumn 2015

Teaching assistant for Programsystemkonstruktion med C++

Teaching assistant for Problemlösning och programmering under press

Teaching assistant for Advanced algorithms

Autumn 2014

Teaching assistant for Programsystemkonstruktion med C++

Teaching assistant for Problemlösning och programmering under press

Teaching assistant for Advanced algorithms

Autumn 2013

Teaching assistant for Programsystemkonstruktion med C++

Teaching assistant for Advanced algorithms

Spring 2013

Teaching assistant for Problemlösning och programmering under press