Асистент Симона Прокић


Недостаје слика

Симона Прокић

Асистент


Телефон
E-mail
Академско звањеАсистент

Симона Каштеровић рођена је 12.03.1992. у Брчком, Босна и Херцеговина. Гимназију "Васо Пелагић" у Брчком завршила је 2011. године са просечном оценом 5,00. Након тога је уписала основне академске студије на Природно-математичком факултету у Новом Саду, смер Дипломирани професор математике. Основне студије је завршила 2015. године, са просечном оценом 9,42. Затим је уписала мастер академске студије на Факултету техничких наука у Новом Саду, смер Математика у техници и завршила их 2017. године са просечном оценом 9,78, одбранивши мастер рад под називом "Крипкеове семантике за интуиционистичку логику и ламбда рачун". Од 2017.године је студент докторских студија на Факултету техничких наука у Новом Саду, смер Математика у техници.

Од новембра 2016. године је запослена на катедри за математику Факултета техничких наука у Новом Саду.

Асистент
20.09.2023.
Радно местоОдДоОрганизациона јединица
Асистент01.10.2021.19.09.2023.Катедра за математику
Асистент01.10.2018.30.09.2021.Катедра за математику
Сарадник у настави01.11.2016.Катедра за математику
НазивУ Установи
Крипкеове семантике за интуиционистичку логику и ламбда рачун

Мастер рад

Математичке науке

Факултет техничких наука

2017

Критеријум продукцијеОпис
(М21) Рад у врхунском међународном часописуКаштеровић С., Гилезан С.: Крипке-стyле Семантицс анд Цомплетенесс фор Фулл Симплy Тyпед Ламбда Цалцулус, Јоурнал оф Логиц анд Цомпутатион, 2020, Вол. 30, Но. 8, пп. 1567-1608, ИССН 0955-792X
(М33) Саопштење са међународног скупа штампано у целиниСилвиа Гхилезан, Јелена Иветић, Симона Каштеровић, Зоран Огњановић, Ненад Савић: Пробабилистиц реасонинг абоут симплy тyпед ламбда термс, ЛФЦС 2018 - Логицал Фоундатионс оф Цомпутер Сциенце, Флорида, УСА, Јануарy 2018, Лецтуре Нотес ин Цомпутер Сциенце 10703: 170-189
(М34) Саопштење са међународног скупа штампано у изводуСимона Каштеровић, Мицхеле Пагани, Тоwардс Пробабилистиц Тестинг оф Ламбда Термс, 7. . Логиц анд Апплицатионс, Дубровник, 24.-28. Септембер, 2018
(М63) Саопштење са скупа националног значаја штампано у целиниКаштеровић С.: Крипке семантике у интуиционистичкој исказној логици, 2. Цонференце он Матхематицс ин Енгинееринг: Тхеорy анд Апплицатионс, Нови Сад: Факултет техничких наука, Нови Сад, 23-24 Јун, 2017, пп. 93-99
(М64) Саопштење са скупа националног значаја штампано у изводуС. Гхилезан, Ј. Иветић, С. Каштеровић, З. Огњановић, Н. Савић, Тоwардс пробабилистиц реасонинг абоут симплy тyпед ламбда термс, Седма национална конференција Вероватносне логике и њихове примене, Београд, Србија, 8. - 8. Нов, 2017, пп. 11 - 12
ЗвањеУжа научна областВисокошколска установаДатум избора
АсистентТеоријска и примењена математикаФакултет техничких наука01.10.2021.
АсистентТеоријска и примењена математикаФакултет техничких наука01.10.2018.
Сарадник у наставиТеоријска и примењена математикаФакултет техничких наука01.11.2017.
Сарадник у наставиТеоријска и примењена математикаФакултет техничких наука01.11.2016.