Nuwan Herath Mudiyanselage

I am currently a postdoctoral researcher at LIX (Palaiseau, France) in the CoSyNuS team. I am working there with Sylvie Putot and Eric Goubault.

My work currently focuses on set-based quantifier elimination.

Many problems in control can be expressed as quantified constraints, such as robust forward and backward reachability or solutions to motion planning problems. We aim to use a set-based quantifier elimination approach to verify properties of neural networks.

Postdoc at ENSTA-Bretagne

I was a postdoctoral researcher at ENSTA-Bretagne / Lab-STICC (Brest, France) in the ROBEX team. I was working there with Luc Jaulin and Simon Rohou.

My work focused on the development of new tools for constraint programming using interval arithmetic.

In robotics, one wants to guarantee the state of a robot given parameters measured with some uncertainty. Modelling such problems requires interval arithmetic. In that context, we developped new tools for constraint programming based on interval arithmetic.

PhD

I was a PhD student at Inria Centre at Université de Lorraine / Loria (Nancy, France) in the Gamble team.

My work focused on the visualization of high degree polynomial curves and surfaces, using techniques from computer algebra and interval arithmetic.

Common visualization algorithms are based on the evaluation of a function on a grid of points. We aimed at lowering the evaluation time, while giving some guarantees on the output. Indeed, for high degree polynomials this step dominates the computation time of the visualization itself.

PhD supervisors:

• Marc Pouget
• Guillaume Moroz

Short CV

Publications

Doctoral dissertation: Fast high-resolution drawing of algebraic curves and surfaces. June 2023. [pdf] [slides]

Nuwan Herath Mudiyanselage, Guillaume Moroz and Marc Pouget. Fast High-Resolution Drawing of Algebraic Curves. ISSAC'22. [slides]

Presentations

Proofs and algorithms pole Seminar. February 11th, 2025. Palaiseau, France.

FARO Seminar. June 11th, 2024. Palaiseau, France.

Summer Workshop on Interval Methods 2024. June 6th, 2024. Maastricht, Netherlands. [slides]

Francophone Computer Science and its Mathematics Days. March 20th, 2024. Grenoble, France. [poster]

FARO Seminar. November 10th, 2023. Palaiseau, France.

ROBEX Seminar. October 3rd, 2023. Brest, France.

International Symposium on Symbolic and Algebraic Computation 2022. July 7th, 2022. Villeneuve-d’Ascq, France.

Computational Geometry Days 2022. May 31st, 2022. Marseille, France.

Francophone Computer Algebra Days 2022. March 3rd, 2022. Marseille, France.

Software

Fast 2D drawing of algebraic curves

V1.0 corresponds to the experiments of the article Fast High-Resolution Drawing of Algebraic Curves.

Teaching

Miscellaneous

I like magic, more specifically close-up magic and even more specifically card magic. I also like rock climbing.

My name should be pronounced [nuʋan ɦeːrat mudijanseːlaːge], but I got used to hearing frenchified variations such as [nuwan eʁat mydiãsɵlaʒ].