Juraj Major

I am a Ph.D. student at the Faculty of Informatics, Masaryk University in Brno, Czech republic, under the supervision of Jan Strejček.

I work as a programmer at Computer Systems Unit at FI MU.

Contact

Office

B315

Phone

(+420) 54949 6285

E-mail

major@fi.muni.cz

Consultation hours

Thursday 14:00–16:00 (better after prior e-mail arrangement)

Research

My main research interests are ω-automata with complex acceptance condition and the translation of LTL to ω-automata.

Projects

LTL3TELA

A translator of LTL formulae to deterministic or nondeterministic Emerson-Lei ω-automata.

Teaching

• Formal Languages and Automata (2019)
• Selected Topics on Automata Theory (2017–now)
• Introduction to Logic (2017)
• Automata and Grammars (2015–now)
• Non-Imperative Programming (2013–2017, 2019)

Other

• ATVA 2019 Artifact Evaluation Committee
• TACAS 2020 Artifact Evaluation Committee