Predrag Janičić
 | Ovaj članak sadrži spisak literature (štampane izvore i/ili veb-sajtove) korišćene za njegovu izradu, ali njegovi izvori nisu najjasniji zato što ima premalo izvora koji su uneti u sam tekst. Molimo vas da poboljšate ovaj članak tako što ćete dodati još izvora u sam tekst (inlajn referenci). |
| Predrag Janičić | |
|---|---|
| Lični podaci | |
| Datum rođenja | 9. decembar 1968. |
| Mesto rođenja | Priština, SFRJ |
Predrag Janičić (Priština, 9. decembar 1968) redovni je profesor na Matematičkom fakultetu Univerziteta u Beogradu, Katedra za računarstvo i informatiku.
Rođen je 9. decembra 1968. godine u Prištini gde je završio srednju školu 1987. godine. Tokom srednjoškolskog perioda učestvovao na nacionalnim i međunarodnim takmičenjima iz matematike i fizike. 1987. godine Janičić je osvojio prvo mesto na Saveznom takmičenju iz matemetike, a drugo na Balkanskoj matematičkoj olimpijadi.[1]
Predrag Janičić je studirao računarstvo i informatiku na Matematičkom fakultetu Univerziteta u Beogradu. Diplomirao je u junu 1993. godine sa prosečnom ocenom 10,00. I dalja njegova karijera vezana je za ovaj fakultet. 1993. godine je postao asistent, a 1996. godine odbranio je magistarski rad „Jedan metod za automatsko dokazivanje teorema geometrije“ kod prof. dr Zorana Lučića na smeru za Računarstvo i informatiku. 2001. godine Predrag Janičić je doktorirao, odbranivši tezu „Ugradnja procedura odlučivanja u sisteme za automatsko rezonovanje“. Iste godine izabran je za docenta, a od 2008. za vanrednog profesora.
Reference[uredi | uredi izvor]
- ^ Janičić, Predrag. Matematička logika u računarstvu. Beograd : Matematički fakultet, 2009. str. 213—223. ISBN 978-86-7589-040-9.
Spoljašnje veze[uredi | uredi izvor]
- Predrag Janičić na sajtu MGP (jezik: engleski)
- Zvanični veb-sajt
