ГИЛЕЗАН, Силвиа

ГИЛЕЗАН, Силвиа (Ghilezan, Silvia), математичар, универзитетски професор (Зрењанин, 22. III 1959). Дипломирала математику на Природно-математичком факултету у Новом Саду 1981, док је на Mатематичком факултету у Београду 1988. магистрирала у области математичке логике. Докторску тезу о типовима са пресеком у ламбда рачуну и логици одбранила је 1993. на ПМФ у Новом Саду. Сарадник је Математичког института САНУ од 1994. Академску каријеру започела на Математичком факултету у Београду а наставила на Факултету техничких наука у Новом Саду, где је за редовног професора изабрана 2005. Била је гостујући предавач и држала предавања по позиву на универзитетима у Француској, Холандији, Канади, Италији, Швајцарској, САД и Португалији. Члан је програмских одбора конференција из области функционалног програмирања и ламбда рачуна (ICFP, TLCA) и стални је рецензент за међународне часописе и конференције. Посебно је посвећена раду са младим истраживачима и одржавању сарадње са нашим научницима који живе и раде у иностранству. Област њеног научног интересовања је математичка логика и теоријско рачунарство, у оквиру које се бави теоријом типова у ламбда рачуну, теоријом доказа, конструктивним интерпретацијама логике, применама ових теорија у програмским језицима и формализацијом природних језика. Извела је потпуну карактеризацију јаке нормализације у ламбда рачуну и сродним формалним системима. Доказала је да се оператори контроле у програмским језицима могу представити у класичној логици. У конкурентним комуникационим системима доказала је методама теорије типова да је могућа контрола безбедности рачунарске комуникације и приступа подацима. Урадила је формализацију простих времена у српском језику. Гост-уредник је издања „Intersection types and related systems", Fundamenta Informaticae , 2012, 121, 1 – 4. Аутор је поглавља о теорији доказа у монографији H. Barendregt, W. Dekkers, R. Statman, Lambda Calculus with Types (Cambridge 2013). Добитник је француског одликовања Витеза реда Академских палми ( Chevalier de l'Ordre des Palmes Académiques ) за изузетан допринос развоју научне сарадње између Француске и Србије. 

 ДЕЛА: „Conjugation in Serbo-Croatian", Linguistic Analysis , 1994, 24; „Strong normalization and typability with intersection types", Notre Dame Journal of Formal Logic , 1996, 37; и H. P. Barendregt, „Lambda terms for natural deduction, sequent calculus and cut elimination", Journal of Functional Programming , 2000, 10; и D. Dougherty, P. Lescanne, „Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage", Theoretical Computer Science , 2008, 398; и H. Herbelin, „An approach to call-by-name delimited continuations", PоPL 2008 – ACM SIGPLAN – SIGACT Symposium on Principles of Programming Languages , 2008, 43, 1; коаутор, „Security types for dynamic web data", Theoretical Computer Science , 2008, 402. 

 ЛИТЕРАТУРА: A. Schumann (ур.), Logic in Central and Eastern Europe , Lanham (Marylend) 2012. 

 Александар Николић 

   

 *Текст је објављен у 1. књизи III тома Српске енциклопедије (2018)