Atlas
Info
Well Hello! This the location where you come to when you are trying to find notes that you have created.
If this note is note helpful then please contact me and let me know what you are looking for.
Courses
Current
All
- Algebraic Automata Theory
- Complexity Theory
- Concurrent Programming
- Finite Model Theory
- Games on Graphs
- Implementation of Functional Programming Languages
- Infinite State Verification
- Intro to Martingales
- Logic, Automata and Games
- Logic
- Measure Theoretic Probability
- Set Theory
- Software Verification and Analysis
- Topics in Algorithms
- Undecidability in Algebra and Topology
- Weighted Automata and Transducers
Study Topics
Presentations
- Independence of CH - Dana Scott
- Revisiting Complexity of First-Order and Monadic-Second-Order Logic
- Yoneda Lemma (presentation)