Milan Malačka
| Family name(s): | Malačka |
|---|---|
| Other/given name(s): | Milan |
| Personal number (UKČO): | 14283495 |
| E-mail address: | milanekmalacka@gmail.com |
| Type of study: | Bachelor's |
| Study programme: | Computer Science (B0613A140006) |
| Branch of study: | Computer Science with specialisation in Systems Programming |
| Year: | 3 |
| Faculty: | Faculty of Mathematics and Physics |
| Study state: | studying |
| Students works: | Support for Uninterpreted Functions in Yaga SMT Solver |