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