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.
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
(M33) Saopštenje sa međunarodnog skupa štampano u celini
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
(M34) Saopštenje sa međunarodnog skupa štampano u izvodu
Simona Kašterović, Michele Pagani, Towards Probabilistic Testing of Lambda Terms, 7. . Logic and Applications, Dubrovnik, 24.-28. September, 2018
(M63) Saopštenje sa skupa nacionalnog značaja štampano u celini
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
(M64) Saopštenje sa skupa nacionalnog značaja štampano u izvodu
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
