Marc Vinyals

Courses

Spring 2024

Lecturer in Algorithms and Data Structures.

Lecturer in Computational Complexity.

Autumn 2024

Lecturer in Algorithms and Data Structures.

Lecturer in Mathematical Foundations of Computer Science.

Spring 2023

Lecturer in Algorithms and Data Structures.

Lecturer in Computational Complexity.

Autumn 2023

Lecturer in Algorithms and Data Structures.

Autumn 2022

Lecturer in Introduction to Theoretical Computer Science.

Spring 2022

Tutor in Information Theory.

Autumn 2021

Lecturer in Computational Complexity.

Lecturer in SAT Solving: between theory and practice.

Autumn 2019

Guest lecturer in Random Graphs.

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

Programming competitions

2013 — 2017

Coach for the KTH programming teams.

Tools