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
- Weighted Automata and Transducers
- Finite Model Theory
- Topics in Algorithms
- Intro to Martingales
- Homotopy Type Theory
All
- Algebraic Automata Theory
- Complexity Theory
- Concurrent Programming
- Games on Graphs
- Implementation of Functional Programming Languages
- Infinite State Verification
- Logic
- Logic, Automata and Games
- Measure Theoretic Probability
- Set Theory
- Software Verification and Analysis
- Undecidability in Algebra and Topology