PODACI O AUTORIMA I SARADNICIMA NA PROJEKTU DEDUC

PETAR HOTOMSKI, doktor matematičkih nauka, redovni profesor Univerziteta u Novom Sadu.

Autor je koncepcije i idejnih rešenja za sistem DEDUC. Rukovodilac je ovog projekta.

Rođen je 1944. godine u Jaša Tomiću. Završio je Prirodno-matematički fakultet u Beogradu 1967. godine. Magistrirao je 1970. godine na istom fakultetu sa temom "Minimizacija funkcija algebre logike i programska algoritmizacija metoda". Doktorsku disertaciju "Metode i pravila za mehaničko dokazivanje teorema u teorijama prvog reda sa matematičkom indukcijom" odbranio je 1982.god. na Prirodno-matematičkom fakultetu u Beogradu. Teorijske rezultate implementirao je u prvi Rezolucijski dokazivač teorema sa matematičkom indukcijom i simetrijom, u okviru ekspertnog sistema "Graph", na Fortranu. Objavio je preko 170 naučnih i stručnih radova u zemlji i inostranstvu. Zaposlen je na Tehničkom fakultetu Mihajlo Pupin" u Zrenjaninu kao profesor za predmete "Matematička logika i principi programiranja" i "Sistemi veštačke inteligencije".

IVANA BERKOVIĆ, doktor tehničkih nauka-informatika u obrazovanju, docent Univerziteta u Novom Sadu.

Autor je deduktivnog mehanizma za sistem DEDUC.

Rođena je 1962.godine u Zrenjaninu. Završila je Prirodno-matematički fakultet u Novom Sadu 1986. godine. Magistrirala je 1994. godine na Tehničkom fakultetu "Mihajlo Pupin" u Zrenjaninu sa temom "Varijabilne strategije pretraživanja u nastavno orijentisanom sistemu za automatsko dokazivanje teorema". Doktorsku disertaciju "Deduktivne osnove za razvoj opisnih jezika logičkog programiranja" odbranila je 1997.god. na Tehničkom fakultetu "Mihajlo Pupin" u Zrenjaninu. Svoje teorijske rezultate implementirala je u Sistem ADT za automatsko rezonovanje na Paskalu. Objavila je preko 40 naučnih i stručnih radova. Zaposlena je na Tehničkom fakultetu "Mihajlo Pupin" u Zrenjaninu kao docent za predmete "Matematička logika u tehničkim sistemima" i "Računarska grafika".

DRAGAN PROHASKA, magistar informatike, dipl. ing.

Koautor je idejnih rešenja i autor programa za pripremni i rezultatni deo sistema DEDUC: baze podataka, korisnički interfejsi za prihvatanje podataka i zahteva, ekranske prezentacije i štampanje generisanih rasporeda.

Rođen je 1955. godine u Orlovatu. Završio je Šumarski fakultet u Beogradu 1979. god. Magistrirao je 1994. godine na Tehničkom fakultetu "Mihajlo Pupin" u Zrenjaninu sa temom "Deduktivna metoda generisanja kombinatornih rasporeda i njena programska algoritmizacija". Teorijske rezultate implementirao je u Prvu verziju sistema DEDUC na FoxPro-u. Objavio je desetak naučnih i stručnih radova. Zaposlen je u JP PTT Srbija RJ Zrenjanin kao rukovodilac Informacionog centra.

NEDELJKO DIVJAK, završio je Tehnički fakultet "Mihajlo Pupin" u Zrenjaninu smer "Informatika u obrazovanju" 2000. god.

Koautor je idejnih rešenja i autor programa za obradne delove sistema DEDUC: inicijalno popunjavanje, smeštanje, optimizacija pauza (učeničkih i nastavničkih),ravnomernost rasporeda. Koristeći objektni pristup implementirao je niz heurističkih iterativnih procedura i deo zaštite programskog sistema DEDUC.

Rođen je 1973. godine u Zrenjaninu. Razvio je i implementirao je posebnu Pit-tehniku za rad u "zatvorenom svetu". Objavio je desetak naučnih i stručnih radova. Na Tehničkom fakultetu "Mihajlo Pupin" u Zrenjaninu bio je prodekan-student.

BILJANA RADULOVIĆ, doktor tehničkih nauka-informatika u obrazovanju, docent Univerziteta u Novom Sadu, dipl. ecc.

U projektu DEDUC ima stručno-konsultantsku funkciju i obavlja sekretarske i komercijalne poslove.

Rođena je 1966. godine u Zrenjaninu. Završila je Ekonomski fakultet - poslovna informatika u Novom Sadu 1988. godine. Magistrirala je 1993. godine na Tehničkom fakultetu "Mihajlo Pupin" u Zrenjaninu sa temom "Razvoj metodologije za vrednovanje softvera za rukovanje bazama podataka informacionih sistema obrazovnih institucija". Odbranila je doktorsku disertaciju sa temom "Projektovanje baza podataka u oblasti obrazovnog računarskog softvera" 1998. godine na Tehničkom fakultetu "Mihajlo Pupin" u Zrenjaninu. Teorijske rezultate implementirala je u Sistem BASELOG koji povezuje koncepte "zatvorenog sveta" u Prolog-u i Datalog-u sa konceptom "otvorenog sveta" u ADT sistemu. Objavila je više od 25 naučnih i stručnih radova. Zaposlena je na Tehničkom fakultetu "Mihajlo Pupin" u Zrenjaninu kao docent na predmetima "Baze podataka" i "Informacioni sistemi".

DUŠKO RADIŠIĆ, završio je Tehnički fakultet "Mihajlo Pupin" u Zrenjaninu smer "Informatika u obrazovanju" 2001. god.

Razradio i implementirao je zaštitu sistema DEDUC od neovlašćenog kopiranja.

Rođen je 1972. godine u Zrenjaninu. Autor je programskog paketa Contact Language English dictionary, sa preko 60 različitih opcija povezivanja engleskih i srpskih reči. Objavio je nekoliko stručnih radova.

Razvoj sistema DEDUC uključuje i doprinose koje su dali studenti Zoran Veličkov i Aleksandar Tot pri izradi svojih diplomskih radova, kao i poslediplomac Nedeljko Ćurić u svom seminarskom radu koji je posvećen implementaciji kontrolnih parametara.

Izražavamo zahvalnost svima koji su nas podržavali i ohrabrivali da istrajemo u višegodišnjem radu na ovom projektu!

Home

Last modified: 01.03.2002
Copyright© Deduc Web Team, 1999.