Dávid

Research

Did ω-automata in Formela, now doing graphs in DIMEA.

Publications

∅

Projects

∅

Talks

Slovak, English (additionally, can swear in Czech, Portugal, French, Dutch, Norwegian, Chinese, Polish, and German, sing in Finnish, and pray in Swedish)

Teaching

Autumn 2023: seminar tutor - Math. Foundations of CS

Autumn 2024: seminar tutor - Math. Foundations of CS

Spring 2025: seminar tutor - Formal languages and Automata, Introduction to Informatics

Spring 2026: seminar tutor - Formal languages and Automata, Introduction to Informatics

Tools

• Maslo - tool to reduce MTBA