БОРИСАВЉЕВИЋ, Мирјана

БОРИСАВЉЕВИЋ, Мирјана, математичар, универзитетски професор (Београд, 16. X 1965). Дипломирала 1990. на Природно-математичком факултету Универзитета у Београду, на смеру математичке структуре и примене, где је магистрирала 1994. и докторирала тезом „Секвенти, природна дедукција и мултикатегорије". За редовног професора изабрана 2010. на Саобраћајном факултету у Београду. Математичке предмете предаје и на Економском и Филозофском факултету, као и на Војној академији у Београду. Усавршавала се 1992. на Универзитету у Амстердаму (Institute for Logic, Language and Computation). Од 1991. је истраживач на пројектима Математичког института САНУ. Члан је Друштва за чисту и примењену логику. У оквиру математичке логике, област научне активности је теорија доказа, посебно системи секвената и природнодедукцијски системи интуиционистичке логике и других супструктуралних логика.

ДЕЛА: „A cut-elimination proof in intuitionistic predicate logic", Ann. Pure Appl. Logic, 1999, 99; i K. Došen i Z. Petrić, „Kauffman monoids", J. Knot Theory Ramifications, 2002, 11, 2; „Two measures for proving Gentzen's Hauptsatz without mix", Arch. Math. Log., 2003, 42; „Extended natural deduction images of conversions from the system of sequents", J. Logic Comput, 2004, 14, 6.

С. Гилезан