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


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

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

Асистент


Телефон
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.Катедра за математику
НазивУ Установи
Пробабилистиц реасонинг ин цомпутатион анд симпле тyпе тхеорy

Докторат

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

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

2024

Крипкеове семантике за интуиционистичку логику и ламбда рачун

Мастер рад

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

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

2017

Критеријум продукцијеОпис
(М21) Рад у врхунском међународном часописуКаштеровић С., Гилезан С.: Крипке-стyле Семантицс анд Цомплетенесс фор Фулл Симплy Тyпед Ламбда Цалцулус, Јоурнал оф Логиц анд Цомпутатион, 2020, Вол. 30, Но. 8, пп. 1567-1608, ИССН 0955-792X
(М23) Рад у међународном часописуГилезан С., Каштеровић С., Лиqуори Л., Маринковић Б., Огњановић З., Стефановић Т.: Федератинг дигитал цонтацт трацинг усинг струцтуред оверлаy нетwоркс , Цомпутер Сциенце анд Информатион Системс, 2022, Вол. 19, Но. 3, пп. 1261-1282, ИССН 1820-0214
(М33) Саопштење са међународног скупа штампано у целиниПрокић И., Гилезан С., Каштеровић С., Поповић М., Поповић М., Каштелан И.: Цоррецт орцхестратион оф Федератед Леарнинг генериц алгоритхмс: формалисатион анд верифицатион ин ЦСП, 8. Цонференце он тхе Енгинееринг оф Цомпутер Басед Сyстемс (ЕЦБС), Вестерос: Спрингер, 16-18 Оцтобер, 2023, пп. 274-288, ИСБН 978-3-031-49251-8
(М33) Саопштење са међународног скупа штампано у целиниГилезан С., Иветић Ј., Каштеровић С., Огњановић З., Савић Н.: Тоwардс Пробабилистиц Реасонинг ин Тyпе Тхеорy - Тхе Интерсецтион Тyпе Цасе, 11. Фоундатионс оф Информатион анд Кноwледге Сyстемс, Дортмунд: Спрингер, 17-21 Фебруарy, 2020, пп. 122-139
(М33) Саопштење са међународног скупа штампано у целиниКаштеровић С., Пагани М.: Тхе Дисцриминатинг Поwер оф тхе Лет-ин Оператор ин тхе Лазy Цалл-бy-Наме Пробабилистиц λ-Цалцулус , 4. Интернатионал Цонференце он Формал Струцтурес фор Цомпутатион анд Дедуцтион, Дортмунд: Сцхлосс Дагстухл--Леибниз-Зентрум фуер Информатик, 24-30 Јуне, 2019
(М33) Саопштење са међународног скупа штампано у целиниГилезан С., Иветић Ј., Каштеровић С., Огњановић З., Савић Н.: Пробабилистиц Реасонинг Абоут Симплy Тyпед Ламбда Термс, 9. Сyмпосиум он Логицал Фоундатионс оф Цомпутер Сциенце, Деерфиелд Беацх: Спрингер, 8-11 Јануарy, 2018, пп. 170-189
(М33) Саопштење са међународног скупа штампано у целиниСилвиа Гхилезан, Јелена Иветић, Симона Каштеровић, Зоран Огњановић, Ненад Савић: Пробабилистиц реасонинг абоут симплy тyпед ламбда термс, ЛФЦС 2018 - Логицал Фоундатионс оф Цомпутер Сциенце, Флорида, УСА, Јануарy 2018, Лецтуре Нотес ин Цомпутер Сциенце 10703: 170-189
(М34) Саопштење са међународног скупа штампано у изводуСимона Каштеровић, Мицхеле Пагани, Тоwардс Пробабилистиц Тестинг оф Ламбда Термс, 7. . Логиц анд Апплицатионс, Дубровник, 24.-28. Септембер, 2018
(М34) Саопштење са међународног скупа штампано у изводуКаштеровић С., Гилезан С.: Тоwардс Пробабилистиц Реасонинг абоут Тyпед Цомбинаторy Термс, 28. Интернатионал цонференце он Тyпес фор Проофс анд Програмс, Нант, 20-25 Јуне, 2022
(М34) Саопштење са међународног скупа штампано у изводуКаштеровић С., Гилезан С.: Пробабилистиц Реасонинг абоут Тyпед Цомбинаторy Логиц, 11. Логиц анд Апплицатионс, Дубровник, 26-30 Септембер, 2022, пп. 29-31
(М34) Саопштење са међународног скупа штампано у изводуКаштеровић С.: Тоwардс Логиц оф Цомбинаторy Логиц, 10. Логиц анд Апплицатионс, Дубровник, 20-24 Септембер, 2021, пп. 34-36
(М34) Саопштење са међународног скупа штампано у изводуКаштеровић С., Гилезан С.: Крипке-стyле семантицс фор Фулл Симплy Тyпед Ламбда Цалцулус, 9. Логиц анд Апплицатионс, Дубровник, 21-25 Септембер, 2020, пп. 12-14
(М34) Саопштење са међународног скупа штампано у изводуГилезан С., Каштеровић С.: Тоwардс Цомплетенесс оф Фулл Симплy Тyпед Ламбда Цалцулус, 26. Интернатионал цонференце он Тyпес фор Проофс анд Програмс, Турин, 2-5 Марцх, 2020, пп. 164-166
(М34) Саопштење са међународног скупа штампано у изводуКаштеровић С., Гилезан С.: Крипке Семантицс фор Ламбда Цалцулус wитх Паирс анд Дисјоинт Сумс , 8. Логиц анд Апплицатионс, Дубровник, 23-27 Септембер, 2019, пп. 23-25
(М34) Саопштење са међународног скупа штампано у изводуКаштеровић С.: Крипкеове семантике за ламбда рачун са паровима и сумама , 1. Конгрес младих математичара у Новом Саду, Нови Сад, 3-5 Оцтобер, 2019, пп. 24-25
(М34) Саопштење са међународног скупа штампано у изводуКаштеровић С., Пагани М.: Тоwардс Пробабилистиц Тестинг оф Ламбда Термс , 7. Логиц анд Апплицатионс, Дубровник, 24-28 Септембер, 2018, пп. 21-23
(М34) Саопштење са међународног скупа штампано у изводуКаштеровић С., Гилезан С., Иветић Ј., Огњановић З., Савић Н.: Тоwардс Пробабилистиц Реасонинг абоут Тyпед Ламбда Термс , 24. Интернатионал цонференце он Тyпес фор Проофс анд Програмс, Брага, 18-21 Јуне, 2018, пп. 41-42
(М63) Саопштење са скупа националног значаја штампано у целиниКаштеровић С.: Крипке семантике у интуиционистичкој исказној логици, 2. Цонференце он Матхематицс ин Енгинееринг: Тхеорy анд Апплицатионс, Нови Сад: Факултет техничких наука, Нови Сад, 23-24 Јун, 2017, пп. 93-99
(М64) Саопштење са скупа националног значаја штампано у изводуС. Гхилезан, Ј. Иветић, С. Каштеровић, З. Огњановић, Н. Савић, Тоwардс пробабилистиц реасонинг абоут симплy тyпед ламбда термс, Седма национална конференција Вероватносне логике и њихове примене, Београд, Србија, 8. - 8. Нов, 2017, пп. 11 - 12
(М64) Саопштење са скупа националног значаја штампано у изводуКаштеровић С., Гилезан С., Иветић Ј., Огњановић З., Савић Н.: Тоwардс пробабилистиц реасонинг абоут симплy тyпед ламбда термс , 7. Вероватносне логике и њихове примене, Београд, 8 Новембар, 2017, пп. 11-12
(М64) Саопштење са скупа националног значаја штампано у изводуПрокић И., Гилезан С., Прокић С., Поповић М., Поповић М., Каштелан И.: Оркестрација алгоритама федеративног учења из угла формализације и верификације, 1. Конференција "Вештачка интелигенција", Београд: САНУ, 26-27 Децембар, 2023
(М71) Одбрањена докторска дисертацијаПрокић С.: Пробабилистиц реасонинг ин цомпутатион анд симпле тyпе тхеорy, Нови Сад, Универзитет у Новом Саду, Факултет техничких наука, 2024
ЗвањеУжа научна областВисокошколска установаДатум избора
АсистентТеоријска и примењена математикаФакултет техничких наука01.10.2021.
АсистентТеоријска и примењена математикаФакултет техничких наука01.10.2018.
Сарадник у наставиТеоријска и примењена математикаФакултет техничких наука01.11.2017.
Сарадник у наставиТеоријска и примењена математикаФакултет техничких наука01.11.2016.