This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Last revision Both sides next revision
people [2017/08/25 05:30]
Petr Hlineny [Bachelor/Master students]
people [2018/03/19 17:46]
Jan Strejček [PhD students]
Line 79: Line 79:
 [[http://​www.fi.muni.cz/​~xblahoud/​]] [[http://​www.fi.muni.cz/​~xblahoud/​]]
-Research interests: Automata over infinite words\\+Research interests: Automata over infinite words.\\
 Supervisors:​ Mojmír Křetínský,​ Jan Strejček Supervisors:​ Mojmír Křetínský,​ Jan Strejček
 </​WRAP>​ </​WRAP>​
Line 106: Line 106:
 [[http://​www.muni.cz/​fi/​people/​396236]] [[http://​www.muni.cz/​fi/​people/​396236]]
-Research interests: Program analysis\\+Research interests: Program analysis.\\
 Supervisor: Jan Strejček Supervisor: Jan Strejček
 </​WRAP>​ </​WRAP>​
Line 115: Line 115:
 [[http://​www.muni.cz/​fi/​people/​359542]] [[http://​www.muni.cz/​fi/​people/​359542]]
-Research interests: SMT solving\\+Research interests: SMT solving.\\
 Supervisor: Jan Strejček Supervisor: Jan Strejček
 </​WRAP>​ </​WRAP>​
Line 124: Line 124:
 [[http://​www.muni.cz/​fi/​people/​374303]] [[http://​www.muni.cz/​fi/​people/​374303]]
-Research interests: Complexity of Consumption Games\\+Research interests: Complexity of Consumption Games.\\
 Supervisor: Antonín Kučera Supervisor: Antonín Kučera
 </​WRAP>​ </​WRAP>​
Line 145: Line 145:
 Supervisor: Tomáš Brázdil Supervisor: Tomáš Brázdil
 </​WRAP>​ </​WRAP>​
 +{{http://​is.muni.cz/​lide/​foto.pl?​uco=409920&​.png?​80 |}}
 +<WRAP person>
 +**Martina Vitovská**\\ ​
 +Tesearch interests: Program Analysis.\\
 +Supervisor: Jan Strejček
people.txt · Last modified: 2018/03/19 17:48 by Jan Strejček