Photography

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

Other