https://jesyspa.dev/ https://jesyspa.dev/about/ https://jesyspa.dev/research/ https://jesyspa.dev/research/bisimulations/ https://jesyspa.dev/research/computability/ https://jesyspa.dev/research/kotlin-semantics/ https://jesyspa.dev/research/snakt/ https://jesyspa.dev/research/uniqueness/ https://jesyspa.dev/tags/ https://jesyspa.dev/teaching/ https://jesyspa.dev/teaching/algorithms-spring-2026/ 2026-02-01 https://jesyspa.dev/teaching/formal-languages-fall-2025/ 2025-09-01 https://jesyspa.dev/teaching/functional-programming-fall-2025/ 2025-09-01 https://jesyspa.dev/teaching/semantics-spring-2026/ 2026-02-01