*Academic year 2014/2015 - Spring semester*

Professor: Evanthia Papadopoulou

Assistant: Elena Khramtcova

This course is an introduction to computational geometry and its applications focusing on algorithms and data structures. It will cover various techniques needed in designing and analyzing efficient algorithms for computational problems in discrete geometry including convex hulls, triangulations, geometric intersections, Voronoi diagrams and Delaunay triangulations, arrangements of lines and hyperplanes, range searching. Computational geometry is well related to a variety of application domains in which geometric algorithms play a fundamental role, such as pattern recognition, image processing, computer graphics, robotics, geographic information systems (GIS), computer-aided design (CAD), information retrieval, computational science, and many others. The course will cover general algorithmic techniques, such as plane sweep, divide and conquer, incremental construction, randomisation, and approximation, through their application to basic geometric problems.*Academic year 2014/2015 - Fall semester*

Professor: Evanthia Papadopoulou

Assistant: Francesco Alberti

Assistant: Sandeep Kumar Dey

This course will introduce the student to logic and to the idea that one can use logical techniques to "prove" mathematical statements. To some extent most students have already "proved" mathematical statements by mechanically manipulating algebraic equations in order to arrive at an answer. For example, proving that a quadratic equation has particular roots. But students are probably unaware that logic is at work underneath the manipulations. In this course, logic and its descriptive power will be explored, and then used to construct more complicated proofs about abstract objects like sets, relations and functions. The student will learn how to structure and execute a logically correct mathematical proof and to analyze proofs written by others.*Academic year 2013/2014 - Spring semester*

Professor: Evanthia Papadopoulou

Assistant: Sumedha Gupta

*Academic year 2013/2014 - Fall semester*

Professor: Evanthia Papadopoulou

Assistant: Maksym Zavershynskyi

Assistant: Sandeep Kumar Dey

*Academic year 2012/2013 - Fall semester*

Professor: Evanthia Papadopoulou

Assistant: Maksym Zavershynskyi

Assistant: Sandeep Kumar Dey

*Academic year 2012/2013 - Fall semester*

Professor: Evanthia Papadopoulou

Instructor: Panagiotis Cheilaris

Assistant: Elena Khramtcova

The course covered a variety of topics such as disjoint-sets data structures and the union-find algorithm, graphs and graph algorithms (for example, shortest paths computation), interval trees, randomized algorithms (Monte Carlo and Las Vegas algorithms) and their probabilistic analysis, intractability and NP completeness, how to deal with intractability, approximation algorithms.*Academic year 2011/2012 - Spring semester*

Professor: Evanthia Papadopoulou

Assistant: Maksym Zavershynskyi

Assistant: Sandeep Kumar Dey