Предраг Јаничић
 | Овај чланак садржи списак литературе (штампане изворе и/или веб-сајтове) коришћене за његову израду, али његови извори нису најјаснији зато што има премало извора који су унети у сам текст. Молимо вас да побољшате овај чланак тако што ћете додати још извора у сам текст (инлајн референци). |
| Предраг Јаничић | |
|---|---|
| Лични подаци | |
| Датум рођења | 9. децембар 1968. |
| Место рођења | Приштина, СФРЈ |
Предраг Јаничић (Приштина, 9. децембар 1968) редовни је професор на Математичком факултету Универзитета у Београду, Катедра за рачунарство и информатику.
Рођен је 9. децембра 1968. године у Приштини где је завршио средњу школу 1987. године. Током средњошколског периода учествовао на националним и међународним такмичењима из математике и физике. 1987. године Јаничић је освојио прво место на Савезном такмичењу из матеметике, а друго на Балканској математичкој олимпијади.[1]
Предраг Јаничић је студирао рачунарство и информатику на Математичком факултету Универзитета у Београду. Дипломирао је у јуну 1993. године са просечном оценом 10,00. И даља његова каријера везана је за овај факултет. 1993. године је постао асистент, a 1996. године одбранио је магистарски рад „Један метод за аутоматско доказивање теорема геометрије“ код проф. др Зорана Лучића на смеру за Рачунарство и информатику. 2001. године Предраг Јаничић је докторирао, одбранивши тезу „Уградња процедура одлучивања у системе за аутоматско резоновање“. Исте године изабран је за доцента, а од 2008. за ванредног професора.
Референце[уреди | уреди извор]
- ^ Јаничић, Предраг. Математичка логика у рачунарству. Београд : Математички факултет, 2009. стр. 213—223. ISBN 978-86-7589-040-9.
Спољашње везе[уреди | уреди извор]
- Предраг Јаничић на сајту MGP (језик: енглески)
- Званични веб-сајт
