Prof. dr Silvia Gilezan

Silvia Gilezan rođena je 1959. godine u Zrenjaninu od oca Koriolana Gilezana i majke Elizabet Gilezan, rođene Ambrozi. U rodnom gradu završila je osnovnu školu i gimnaziju. Osnovne studije matematike na Prirodno-matematičkom fakultetu Univerziteta u Novom Sadu upisala je 1977. godine, gde je diplomirala 1981. godine. Magistarske studije na Matematičkom fakultetu Univerziteta u Beogradu završila je 1988. godine. Deo svog doktorskog istraživanja radila je na Catholic University, Nijmegen u Holandiji, a doktorirala je 1993. godine na Prirodno-matematičkom fakultetu u Novom Sadu, s disertacijom na temu Intersection types in lambda calculus and logic („Tipovi preseka u lambda računu i logici“).

Godine 1984., izabrana je za asistenta na Katedri za matematiku Fakulteta tehničkih nauka Univerziteta u Novom Sadu. Na istoj instituciji, izabrana je u zvanje docenta 1995. godine, zatim u zvanje vanrednog profesora 2000. godine, te u zvanje redovnog profesora 2005. godine. Od 2015. godine angažovana je u Matematičkom institutu SANU. U više navrata bila je gostujući profesor na   École Normale Supérieure de Lyon  i Université Paris Diderot u Francuskoj,  University of Turin u Italiji,  i Radboud University u Holandiji  i University of Oregon u SAD.

Najveći deo svog istraživačkog rada posvetila je oblastima matematičke logike sa primenama u računarstvu. Istraživanja i doprinose dala je u lambda računu, teoriji dokaza, semantikama logičkih i računarskih sistema, verovatnosnom zaključivanju u procesnim računima, distribuiranim i komunikacionim sistemima. Svoj rad posvetila je fundamentalnoj vezi između logike i računarstva, koja je danas u osnovi interaktivnih dokazivača i formalne verifikacije. Radila je na povezivanju intuicionističke logike i funkcionalnog programiranja, klasične logike i teorije operatora kontrole u računarstvu, kao i verovatnosne logike i teorije tipova. Značajan doprinos dala je unapređenju formalnih metoda koji se primenjuju u verifikaciji pouzdanosti složenih sistema. Najnovija istraživanja su usmerena ka formalnim metodama za razvoj pouzdanih distribuiranih sistema poput federativnog mašinskog učenja, kao i za zaštitu privatnosti podataka.

Do sada objavila je preko 100 naučnih radova u međunarodnim časopisima, kao i veliki broj radova na prestižnim međunarodnim konferencijama. Među časopisima su Theoretical Computer Science, Journal of Functional Programming, Journal of Computer and System Sciences, Journal of Logic and Computation, Mathematical Stuctures in Computer Science, Journal of Logic and Algebraic Methods in Programming, Lecture Notes in Computer Science, IEEE Transactions of Neural Networks, ACM SIGPLAN Notices, ACM Transactions on Computational Logic. Među konferencijama su vodeći svetski naučni skupovi POPL – ACM SIGPLAN- Symposium on Principles of Programming Languages, TLCA – International Conference on Typed Lambda Calculus and Applications, LPAR – International Conference on Logic Programming and Artificial Reasoning, PPDP – International Symposium on Principles and Practice of Declarative Programming, LFCS – Logical Foundations of Computer Science, TYPES – Types for Proofs and Programs, ICTAC – International Colloquium on Theoretical Aspects of Computing. Bila je plenarni predavač ili predavač po pozivu na brojnim međunarodnim konferencijama.

Sarađuje sa eminentnim istraživačima iz celog sveta, a posebnu pažnju posvećuje radu sa mladim istraživačima. Naučne radove objavila je u saradnji sa preko 80 koautora iz Srbije, Velike Britanije, Danske, Estonije, Italije, Kanade, Nemačke, Portugalije, SAD, Francuske, Holandije, Hrvatske i Švajcarske.

Bila je član preko 100 naučnih programskih  komiteta  međunarodnih i nacionalnih skupova (LICS Logic in Computer Science, POPL Principles of Programming Languages, ICFP International Conference on Functional Programming,  FSCD Formal Structures for Computation and Deduction, FM Formal Methods, STACS Theoretical Aspects of Computer Science, ESOP European Symposium on Programming, APLAS Asian Symposium on Programming Languages and Systems, CSL Computer Science Logic) i više od 20 puta kao predsednik  ko-predsednik. Jedan je od osnivača međunarodne konferencije LAP – Logic and Application, koja se od 2012. godine održava svake godine u IUC u Dubrovniku.

Nastavno-obrazovni rad prof. Gilezan odvija se već više decenija na Fakultetu tehničkih nauka Univerziteta u Novom Sadu, na Katedri za matematiku, koja organizuje nastavu iz matematičkih i srodnih predmeta za sve odseke fakulteta. Učestvovala je u kreiranju programa koji uvode matematičku logiku, formalno zaključivanje i verifikaciju na osnovne studije računarskih nauka, na master i doktorske studije primenjene matematike, kao i na sve odseke doktorskih studija na Fakultetu tehničkih nauka. Na sva tri nivoa studija, osnovnim, master i doktorskim, svojim raznovrsnim i inspirativnim pedagoškim radom uticala na veliki broj studenata, koji sada kao inženjeri, naučnici, profesori i privrednici rade širom sveta.

Pored rada na Fakultetu tehničkih nauka i u Matematičkom institutu SANU, uključena je i u izvođenje nastave iz matematičke logike u Doktorskoj školi matematike, zajedničkoj doktorskoj školi Univerziteta u Novom Sadu, Univerziteta u Nišu, Univerziteta u Kragujevcu, Državnog univerziteta u Novom Pazaru i Matematičkog instituta SANU. Predaje po pozivu u međunarodnim doktorskim školama Oregon Programming Languages Summer School, University of Oregon u SAD, kao i Proof Society International School, University of Birmingham u Velikoj Britaniji.

Bila je mentor pet doktorskih disertacija, dva magistarska rada, šest master radova i jednog diplomskog rada. Trenutno je mentor dve doktorske disertacije. Bila je član velikog broja komisija za odbranu doktorskih disertacija i master radova kao i komisija za izbore u zvanje, u zemlji i inostranstvu. Kao istaknuti naučnik iz oblasti matematičke logike sa primenama, bila pozvana kao član komisija i recenzent za više od 15 doktorskih disertacija u inostranstvu na National Technical University of Athens (Grčka), Université Paris Cité, INRIA Sophia Antipolis, Université Sorbonne Paris Nord, Université Paris Diderot, École Polytechnique (Francuska), University of Turin (Italija), Radboud University (Holandija), University of Minho (Portugalija), Universidad de Buenos Aires (Argentina), University of Bern (Švajcarska).

Svoju međunarodnu karijeru započela je 1990. godine, odlaskom na studijski boravak na Catholic University, Nijmegen. Duže studijske i istraživačke boravke  imala je na  University of Turin u Italiji,  McGill University u Kanadi, Radboud University u Holandiji, École Normale Supérieure de Lyon i Université Paris Diderot – Paris 7 u Francuskoj, University of Oregon u SAD.

Pored toga, bila je na istraživačkim boravcima na mnogim svetskim univerzitetima gde je uspostavila dugogodišnju naučnu saradnju: University of Birmingham (Velika Britanija), National Technical University of Athens (Grčka), University of Udine, University of Florence, Università di Sapienza (Italija), NII Shonan, University of Kyoto (Japan), Université du Québec à Montréal (Kanada), East China Normal University (Kina), Eotvos Lorand University, Jozsef Atilla University (Mađarska), University of Minho (Portugalija),  University of Pennsylvania (SAD), INRIA Sophia Antipolis (Francuska), University of Groningen (Holandija), École Polytechnique Fédérale de Lausanne (Švajcarska).

Ima veoma bogato iskustvo u međunarodnim i domaćim projektima.  U dva ciklusa rukovodila je projektima osnovnih istraživanja iz oblasti matematičke logike  sa primenama u kojima su učestvovali matematičari sa više od 20 fakulteta sa svih državnih univerziteta iz Srbije. Bila je rukovodilac 5  bilateralnih projekata: sa Slovenijom, Francuskom (3 projekta) i Indijom. Bila je angažovana u izradi predloga i realizaciji brojnih međunarodnih projekata, počevši od programa Evropske unije FP6 – Framework Program Six sve do danas. Trenutno rukovodi delom Horizon Europe projekta “TaRDIS – Trustworthy and Resilient Decentralised Intelligence for Edge Systems”.

Član je uređivačkog odbora časopisa Journal of Logical and Algebraic Methods in Programming (JLAMP), izdavačke kuće Elsevier i Publications de l’Institute Mathematique. Recenzirala je veliki broj radova za međunarodne i domaće časopise i konferencije, kao i projekte ministarstva nauke Republike Francuske, Slovenije, Holandije i Italije.

U Matematičkom institutu rukovodilac je Sektora za matematiku. Brojne profesionalne aktinosti koje je obavljala uključuju, član Saveta Fakulteta tehničkih nauka, član Matičnog odbora za matematiku, mehaniku i računarstvo Ministarstva nauke, član Stručnog veća za šrirodno-matematičke nauke, Univerziteta u Novom Sadu, a u inostranstvu član Komisije regionalnih eksperata Centralno i Istočnoevropskog biroa Agencije univerzitetske frankofonije, AUF–ECO Agence Universitaire de la Francophonie  – Europe central et orientale, član komisija za izbor u zvanje profesora u Francuskoj i Danskoj.

Posvećena je promociji i popularizaciji nauke i jednakih prilika za istraživače. U sklopu manifestacije M3 – Maj, mesec matematike, najpoznatije domaće manifestacije za promociju matematike, koja se održava od 2012. godine, učestvovala je u stručnoj redakciji i prevodu knjiga Le theorem vivant („Živa teorema“) i Les coulisses de la création („Iza kulisa stvaralaštva“).

Prof. dr Silvia Gilezan odlikovana je sa dva ordena Palminog reda, koje Republika Francuska dodeljuje najistaknutijim akademskim i kulturnim stvaraocima. Nosilac je ordena u rangu Chevalier de l’Ordre des Palmes Académiques, République Française, od 2013. godine. Orden u višem rangu Officier de l’Ordre des Palmes Académiques, République Française, dodeljen joj je 2021. godine. Nagrada za životno delo Udruženja univerzitetskih nastavnika i naučnika Vojvodine dodeljena joj je 2024. godine.

Internet stranica https://imft.ftn.uns.ac.rs/silvia/