Emilie Uthaiwat's webpage

Hello! Welcome.

More generally, my research interests revolve around

I'm a member of the Gender Equality and Anti-Discrimination committee of LIS.
I'm also the doctoral representative of the CS department's council, at Aix-Marseille University (ma profession de foi).

Research

"The lambda calculus as a 2-Dimensional Operad" (presentation of my PhD project)
At ArpiLYSM 2025. [slides]

Kaplansky's criterion (an integral domain is a UFD if and only if every nonzero prime ideal contains a prime element)
Riccardo Brasca and Emilie Uthaiwat.
In mathlib4, 2025. [code]
The Cantor ternary set (definition and properties)
Artur Szafarczyk, Suraj Krishna M S, Jean-Baptiste Stiegler, Isabelle Dubois, Tomáš Jakl, Lorenzo Zanichelli, Alina Yan, Jana Göken, Filippo A. E. Nuccio and Emilie Uthaiwat.
In mathlib4, 2024. [code]
A polynomial over a commutative ring is a unit if and only if all its coefficients are nilpotent, except its constant term which is a unit.
Emilie Uthaiwat.
In mathlib4, 2023. [code]

Teaching assistant (chargé de TP) for the "Web" course
Level: second year of the Bachelor's degree in computer science (L2)
Topics:
- Creating a webpage with HTML/CSS
- Coding in JavaScript (fundamentals, objects, constructors, events)
- Creating a server with Python and making HTTP requests
Teaching assistant (chargé de TP) for the "Introduction to computer science" course
Level: first year of the Bachelor's degree in computer science (L1)
Topics: coding in Python. More specifically,
- Conversion to and from different numeral systems
- Recursive functions
- Generation of images
- Algorithms (binary search, sorting algorithms, tree search, algorithms of graph theory)

2 months (October-November 2026) of gender-neutral talks at the Young Researchers Seminar (LIS laboratory)

Pronouns	she/her

Email	emilie.uthaiwat@lis-lab.fr

Address	Laboratoire d'Informatique et Systèmes
	Campus universitaire de Luminy
	TPR2, 4ème étage, Bloc 1, Bureau 4.21
	163 avenue de Luminy
	13288 MARSEILLE cedex 09 France

Books which have shaped my thinking. Enter a natural number less than 5 to discover or rediscover an excerpt!