|
|
|
|
2005-danas Asistent pripravnik na Matematičkom fakultetu u Beogradu, Katedra za računarstvo i informatiku. Predmeti:
Naučna interesovanja Automatsko dokazivanje teorema i formalizacija geometrije.
Obrazovanje 2005-danas Magistarske studije, Matematički fakultet u Beogradu, smer računarstvo i informatika. Prosečna ocena 10.00. 1999-2005 Matematički fakultet u Beogradu, smer računarstvo i informatika. Prosečna ocena 9.72. 1995-1999 Matematička gimnazija u Beogradu. Maturirala u specijalizovanoj gimnaziji za mlade talente sa odličnim uspehom. 1987-1995 Osnovna škola "Desanka Maksimović". Nosilac diplome ''Vuk Karadžić''.
Nagrade i stipendije 2003/2004 Stipendija Skupštine grada Beograda za 100 najboljih studenata. 2001/02-2003/04 Stipendija Republičke fondacije za razvoj naučnog i umetničkog podmlatka, na osnovu rezultata psiholoških testiranja i uspeha u školovanju. 2002 Stipendija Kraljevine Norveške, na osnovu visokih akademskih rezultata svrstana među pet stotina najboljih kandidata sa svih univerziteta u Republici Srbiji. 2000/01-2001/02 Stipendija Ministarstva prosvete i sporta.
Saopštenja na naučnim skupovima i konferencijama Februar 2012 S.Stojanović: Exploiting symmetries and axiom reformulation in automated generation of formal proofs, Fifth Workshop on Formal and Automated Theorem Proving and Applications, Beograd, Srbija Januar 2009 S.Stojanović, V.Pavlović, P.Janičić: Formalization and Automation of Euclidean Geometry, Second Workshop on Formal and Automated Theorem Proving and Applications, Beograd, Srbija April 2008 S.Stojanović, V.Pavlović: Formalization and Automation of Euclidean Geometry, Spring School Geometry and Visualization, Beograd, Srbija
Strani jezici i ostala interesovanja Aktivno znanje engleskog jezika. Književnost, ples, plivanje. |
|
