Simona Kašterović rođena je 12.03.1992. u Brčkom, Bosna i Hercegovina. Gimnaziju "Vaso Pelagić" u Brčkom završila je 2011. godine sa prosečnom ocenom 5,00. Nakon toga je upisala osnovne akademske studije na Prirodno-matematičkom fakultetu u Novom Sadu, smer Diplomirani profesor matematike. Osnovne studije je završila 2015. godine, sa prosečnom ocenom 9,42. Zatim je upisala master akademske studije na Fakultetu tehničkih nauka u Novom Sadu, smer Matematika u tehnici i završila ih 2017. godine sa prosečnom ocenom 9,78, odbranivši master rad pod nazivom "Kripkeove semantike za intuicionističku logiku i lambda račun". Od 2017.godine je student doktorskih studija na Fakultetu tehničkih nauka u Novom Sadu, smer Matematika u tehnici. Od novembra 2016. godine je zaposlena na katedri za matematiku Fakulteta tehničkih nauka u Novom Sadu.
Radno mesto | Od | Organizaciona jedinica |
---|---|---|
Asistent sa doktoratom
|
01. 10. 2024.
|
Radno mesto | Od | Organizaciona jedinica | |
---|---|---|---|
Asistent | 20. 09. 2023. | 20. 09. 2023. - 30. 09. 2024. | Katedra za matematiku |
Asistent | 01. 10. 2021. | 01. 10. 2021. - 19. 09. 2023. | Katedra za matematiku |
Asistent | 01. 10. 2018. | 01. 10. 2018. - 30. 09. 2021. | Katedra za matematiku |
Saradnik u nastavi | 01. 11. 2016. | 01. 11. 2016. - | Katedra za matematiku |
Aktuelne
Naziv funkcije | Od | Organizaciona jedinica |
---|
Naziv | U Ustanovi |
---|---|
Kripkeove semantike za intuicionističku logiku i lambda račun Master radMatematička logika |
Fakultet tehničkih nauka 2017 |
Probabilistic reasoning in computation and simple type theory DoktoratPrimenjena matematika |
Fakultet tehničkih nauka 2024 |
Kriterijum produkcije | Opis |
---|---|
Kriterijum produkcije (M21) Rad u vrhunskom međunarodnom časopisu |
Opis Kašterović S., Gilezan S.: Kripke-style Semantics and Completeness for Full Simply Typed Lambda Calculus, Journal of Logic and Computation, 2020, Vol. 30, No. 8, pp. 1567-1608, ISSN 0955-792X |
Kriterijum produkcije (M23) Rad u međunarodnom časopisu |
Opis Gilezan S., Kašterović S., Liquori L., Marinković B., Ognjanović Z., Stefanović T.: Federating digital contact tracing using structured overlay networks , Computer Science and Information Sistems, 2022, Vol. 19, No. 3, pp. 1261-1282, ISSN 1820-0214 |
Kriterijum produkcije (M33) Saopštenje sa međunarodnog skupa štampano u celini |
Opis Silvia Ghilezan, Jelena Ivetić, Simona Kašterović, Zoran Ognjanović, Nenad Savić: Probabilistic reasoning about simply typed lambda terms, LFCS 2018 - Logical Foundations of Computer Science, Florida, USA, January 2018, Lecture Notes in Computer Science 10703: 170-189 |
Kriterijum produkcije (M33) Saopštenje sa međunarodnog skupa štampano u celini |
Opis Prokić I., Gilezan S., Kašterović S., Popović M., Popović M., Kaštelan I.: Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP, 8. Conference on the Engineering of Computer Based Systems (ECBS), Vesteros: Springer, 16-18 October, 2023, pp. 274-288, ISBN 978-3-031-49251-8 |
Kriterijum produkcije (M33) Saopštenje sa međunarodnog skupa štampano u celini |
Opis Gilezan S., Ivetić J., Kašterović S., Ognjanović Z., Savić N.: Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case, 11. Foundations of Information and Knowledge Systems, Dortmund: Springer, 17-21 February, 2020, pp. 122-139 |
Kriterijum produkcije (M33) Saopštenje sa međunarodnog skupa štampano u celini |
Opis Kašterović S., Pagani M.: The Discriminating Power of the Let-in Operator in the Lazy Call-by-Name Probabilistic λ-Calculus , 4. International Conference on Formal Structures for Computation and Deduction, Dortmund: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 24-30 June, 2019 |
Kriterijum produkcije (M33) Saopštenje sa međunarodnog skupa štampano u celini |
Opis Gilezan S., Ivetić J., Kašterović S., Ognjanović Z., Savić N.: Probabilistic Reasoning About Simply Typed Lambda Terms, 9. Symposium on Logical Foundations of Computer Science, Deerfield Beach: Springer, 8-11 January, 2018, pp. 170-189 |
Kriterijum produkcije (M34) Saopštenje sa međunarodnog skupa štampano u izvodu |
Opis Simona Kašterović, Michele Pagani, Towards Probabilistic Testing of Lambda Terms, 7. . Logic and Applications, Dubrovnik, 24.-28. September, 2018 |
Kriterijum produkcije (M34) Saopštenje sa međunarodnog skupa štampano u izvodu |
Opis Kašterović S., Gilezan S.: Towards Probabilistic Reasoning about Typed Combinatory Terms, 28. International conference on Types for Proofs and Programs, Nant, 20-25 June, 2022 |
Kriterijum produkcije (M34) Saopštenje sa međunarodnog skupa štampano u izvodu |
Opis Kašterović S., Gilezan S.: Probabilistic Reasoning about Typed Combinatory Logic, 11. Logic and Applications, Dubrovnik, 26-30 September, 2022, pp. 29-31 |
Kriterijum produkcije (M34) Saopštenje sa međunarodnog skupa štampano u izvodu |
Opis Kašterović S.: Towards Logic of Combinatory Logic, 10. Logic and Applications, Dubrovnik, 20-24 September, 2021, pp. 34-36 |
Kriterijum produkcije (M34) Saopštenje sa međunarodnog skupa štampano u izvodu |
Opis Kašterović S., Gilezan S.: Kripke-style semantics for Full Simply Typed Lambda Calculus, 9. Logic and Applications, Dubrovnik, 21-25 September, 2020, pp. 12-14 |
Kriterijum produkcije (M34) Saopštenje sa međunarodnog skupa štampano u izvodu |
Opis Gilezan S., Kašterović S.: Towards Completeness of Full Simply Typed Lambda Calculus, 26. International conference on Types for Proofs and Programs, Turin, 2-5 March, 2020, pp. 164-166 |
Kriterijum produkcije (M34) Saopštenje sa međunarodnog skupa štampano u izvodu |
Opis Kašterović S., Gilezan S.: Kripke Semantics for Lambda Calculus with Pairs and Disjoint Sums , 8. Logic and Applications, Dubrovnik, 23-27 September, 2019, pp. 23-25 |
Kriterijum produkcije (M34) Saopštenje sa međunarodnog skupa štampano u izvodu |
Opis Kašterović S.: Kripkeove semantike za lambda račun sa parovima i sumama , 1. Kongres mladih matematičara u Novom Sadu, Novi Sad, 3-5 October, 2019, pp. 24-25 |
Kriterijum produkcije (M34) Saopštenje sa međunarodnog skupa štampano u izvodu |
Opis Kašterović S., Pagani M.: Towards Probabilistic Testing of Lambda Terms , 7. Logic and Applications, Dubrovnik, 24-28 September, 2018, pp. 21-23 |
Kriterijum produkcije (M34) Saopštenje sa međunarodnog skupa štampano u izvodu |
Opis Kašterović S., Gilezan S., Ivetić J., Ognjanović Z., Savić N.: Towards Probabilistic Reasoning about Typed Lambda Terms , 24. International conference on Types for Proofs and Programs, Braga, 18-21 June, 2018, pp. 41-42 |
Kriterijum produkcije (M63) Saopštenje sa skupa nacionalnog značaja štampano u celini |
Opis Kašterović S.: Kripke semantike u intuicionističkoj iskaznoj logici, 2. Conference on Mathematics in Engineering: Theory and Applications, Novi Sad: Fakultet tehničkih nauka, Novi Sad, 23-24 Jun, 2017, pp. 93-99 |
Kriterijum produkcije (M64) Saopštenje sa skupa nacionalnog značaja štampano u izvodu |
Opis S. Ghilezan, J. Ivetić, S. Kašterović, Z. Ognjanović, N. Savić, Towards probabilistic reasoning about simply typed lambda terms, Sedma nacionalna konferencija Verovatnosne logike i njihove primene, Beograd, Srbija, 8. - 8. Nov, 2017, pp. 11 - 12 |
Kriterijum produkcije (M64) Saopštenje sa skupa nacionalnog značaja štampano u izvodu |
Opis Kašterović S., Gilezan S., Ivetić J., Ognjanović Z., Savić N.: Towards probabilistic reasoning about simply typed lambda terms , 7. Verovatnosne logike i njihove primene, Beograd, 8 Novembar, 2017, pp. 11-12 |
Kriterijum produkcije (M64) Saopštenje sa skupa nacionalnog značaja štampano u izvodu |
Opis Prokić I., Gilezan S., Prokić S., Popović M., Popović M., Kaštelan I.: Orkestracija algoritama federativnog učenja iz ugla formalizacije i verifikacije, 1. Konferencija "Veštačka inteligencija", Beograd: SANU, 26-27 Decembar, 2023 |
Kriterijum produkcije (M71) Odbranjena doktorska disertacija |
Opis Prokić S.: Probabilistic reasoning in computation and simple type theory, Novi Sad, Univerzitet u Novom Sadu, Fakultet tehničkih nauka, 2024 |
Zvanje | Uža naučna oblast | Visokoškolska ustanova | Datum izbora |
---|---|---|---|
Asistent sa doktoratom | Teorijska i primenjena matematika | Fakultet tehničkih nauka | 01. 10. 2024. |
Asistent | Teorijska i primenjena matematika | Fakultet tehničkih nauka | 01. 10. 2021. |
Asistent | Teorijska i primenjena matematika | Fakultet tehničkih nauka | 01. 10. 2018. |
Saradnik u nastavi | Teorijska i primenjena matematika | Fakultet tehničkih nauka | 01. 11. 2017. |
Saradnik u nastavi | Teorijska i primenjena matematika | Fakultet tehničkih nauka | 01. 11. 2016. |