Interoperable interactive geometry for Europe
I forgot my login data
Register


Report a bug


Fan club

Quick Intro Videos
click to start movie
Create A Simple
GeoGebra Resource (25Mb)
click to start movie
Filing a review
click to start movie
Find a Resource

SPONSORS
This platform is brought to you by the intergeo project, funded under the eContent Plus programme of the European commission and by partners

Profile

Name

Predrag Janicic

Institution

Faculty of Mathematics, University of Belgrade

Location

Belgrade, Serbia

Website

www.matf.bg.ac.rs/~janicic

Software

GCLC – LaTeX Converter for Geometry Constructions

e-mail

janicic@matf.bg.ac.rs

Georges Khaznadar (USA)

Introduction

I graduated from the Department of Computer Science, Faculty of Mathematics, University of Belgrade in 1993 (with GPA 10.0 out of 10.0) and obtained my MSc 1996) and PhD degree (2001) from the same institution. During 1996, 2001, and 2002 I worked eight months as a visiting researcher at the School of Informatics, University of Edinburgh. Since May 2008, I have a position of associate professor at the Faculty of Mathematics, University of Belgrade. Also, I lead the ARGO group (Automated Reasoning GrOup) My main research interests are in the field of automated reasoning and of mathematical software. I have published around 30 research articles and presented my work at a number of universities and international conferences. I am the author of a geometry tool GCLC/WinGCLC that combines dynamic geometry with geometry theorem proving. The tool is under development since 1996. and has thousands of users worldwide.