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.