Sana Stojanović

date and place of birth: 01.05.1981, Belgrade

e-mail: sana@matf.bg.ac.rs

URL: www.matf.bg.ac.rs/~sana

2005-today Theaching assistent trainee at the Department for Computer Science, Faculty of Mathematics, University of Belgrade. Courses taught:

1. Programming 1
2. Programming 2
3. Computers and programming
4. Programming in biology

Research Interests

        Automated theorem proving and formalization of geometry.

Education

        2005-present PhD studies at Department of Computer Science, Faculty of Mathematics, University of Belgrade; GPA 10.00.

        1999-2005 Undergraduate studies at Department of Computer Science, Faculty of Mathematics, University of Belgrade. Graduated with GPA 9.72.

        1995-1999 High School "Mathematical Gymnasium", Belgrade.

        1987-1995 Elementary School "Desanka Maksimović".

Awards and Honors

        2003/2004 Scholarship from the City of Belgrade for 100 best students.

        2001/02-2003/04 Scholarship "Support for Youth in Science Foundation of the Republic of Serbia".

        2002 Norwegian government Scholarship as one of the top 500 students in Serbia.

        2000/01-2001/02 Scholarship of the Government of Republic of Serbia.

Talks

        January 2009 S.Stojanović, V.Pavlović, P.Janičić: Formalization and Automation of Euclidean Geometry, Workshop on Formal and Automated Theorem Proving, Belgrade, Serbia

        April 2008 S.Stojanović, V.Pavlović: Formalization and Automation of Euclidean Geometry, Spring School Geometry and Visualization, Belgrade, Serbia

Languages and other interests

        English language.

        Literature, dancing, swimming.