Thomas Hügel

I teach in various domains: databases (SQL), operating systems, networks, algorithms, programming. I use mainly Haskell and Rust in my teaching. I developed an online judge tool for SQL problems in Rust.

• Implemented exact predicates for arcs / segments intersections: ◦ Sorted the intersections using some state-of- the-art academic algebraic techniques enabling to compare the roots of two polynomials without computing them! ◦ Controlled numeric uncertainty with arithmetic filters and set up a lazy evaluation template doing the costly exact computations (involving big integers) only when necessary. • Built robust operations on 2D contours (offset and boolean) using the above predicates, replacing a dozen of 25-year-old sensitive algorithms with a unique robust one: ◦ Used Alexandrescu's templates techniques of the so called “policy-based design” to provide several variants of a unique core algorithm. ◦ On the way, implemented a graphical tool (based on Gnuplot) to quickly grasp the differences between the new and the old algorithms’ outputs, enabling a faster debug in the algorithms replacement process. • Managed an intern student to optimize an algorithm computing the envelope of the sweeping of a 3D solid over another one (a very complex mathematical operation), dividing the average time complexity by a ratio of 4.

* Taught Computational Complexity, Algorithms, and an introduction to Python. * Developed SATLab, a software plotting properties of random Constraint Satisfaction Problems, and presented it at the international SAT conference.

* Taught Unix shell, web programming (XHTML, CSS, PHP, MySQL), Algorithms, C language, databases (PostgreSQL); * Made substantial enhancements to the Unix shell course, resulting in an introductory textbook on Unix shell: Parlez-vous shell ? (150 pages, in French).