Симона Каштеровић рођена је 12.03.1992. у Брчком, Босна и Херцеговина. Гимназију "Васо Пелагић" у Брчком завршила је 2011. године са просечном оценом 5,00. Након тога је уписала основне академске студије на Природно-математичком факултету у Новом Саду, смер Дипломирани професор математике. Основне студије је завршила 2015. године, са просечном оценом 9,42. Затим је уписала мастер академске студије на Факултету техничких наука у Новом Саду, смер Математика у техници и завршила их 2017. године са просечном оценом 9,78, одбранивши мастер рад под називом "Крипкеове семантике за интуиционистичку логику и ламбда рачун". Од 2017.године је студент докторских студија на Факултету техничких наука у Новом Саду, смер Математика у техници. Од новембра 2016. године је запослена на катедри за математику Факултета техничких наука у Новом Саду.
Радно место | Од | Организациона јединица |
---|---|---|
Асистент са докторатом
|
01. 10. 2024.
|
Радно место | Од | Организациона јединица | |
---|---|---|---|
Асистент | 20. 09. 2023. | 20. 09. 2023. - 30. 09. 2024. | Катедра за математику |
Асистент | 01. 10. 2021. | 01. 10. 2021. - 19. 09. 2023. | Катедра за математику |
Асистент | 01. 10. 2018. | 01. 10. 2018. - 30. 09. 2021. | Катедра за математику |
Сарадник у настави | 01. 11. 2016. | 01. 11. 2016. - | Катедра за математику |
Актуелне
Назив функције | Од | Организациона јединица |
---|
Назив | У Установи |
---|---|
Крипкеове семантике за интуиционистичку логику и ламбда рачун Мастер рад Математичка логика |
Факултет техничких наука 2017 |
Пробабилистиц реасонинг ин цомпутатион анд симпле тyпе тхеорy Докторат Примењена математика |
Факултет техничких наука 2024 |
Критеријум продукције | Опис |
---|---|
Критеријум продукције (М21) Рад у врхунском међународном часопису |
Опис Каштеровић С., Гилезан С.: Крипке-стyле Семантицс анд Цомплетенесс фор Фулл Симплy Тyпед Ламбда Цалцулус, Јоурнал оф Логиц анд Цомпутатион, 2020, Вол. 30, Но. 8, пп. 1567-1608, ИССН 0955-792X |
Критеријум продукције (М23) Рад у међународном часопису |
Опис Гилезан С., Каштеровић С., Лиqуори Л., Маринковић Б., Огњановић З., Стефановић Т.: Федератинг дигитал цонтацт трацинг усинг струцтуред оверлаy нетwоркс , Цомпутер Сциенце анд Информатион Системс, 2022, Вол. 19, Но. 3, пп. 1261-1282, ИССН 1820-0214 |
Критеријум продукције (М33) Саопштење са међународног скупа штампано у целини |
Опис Силвиа Гхилезан, Јелена Иветић, Симона Каштеровић, Зоран Огњановић, Ненад Савић: Пробабилистиц реасонинг абоут симплy тyпед ламбда термс, ЛФЦС 2018 - Логицал Фоундатионс оф Цомпутер Сциенце, Флорида, УСА, Јануарy 2018, Лецтуре Нотес ин Цомпутер Сциенце 10703: 170-189 |
Критеријум продукције (М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 |
Критеријум продукције (М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. 2024. |
Асистент | Теоријска и примењена математика | Факултет техничких наука | 01. 10. 2021. |
Асистент | Теоријска и примењена математика | Факултет техничких наука | 01. 10. 2018. |
Сарадник у настави | Теоријска и примењена математика | Факултет техничких наука | 01. 11. 2017. |
Сарадник у настави | Теоријска и примењена математика | Факултет техничких наука | 01. 11. 2016. |