Welcome to my homepage! I am a graduate student in theoretical computer science at the Laboratoire d’informatique de Paris Nord.

This page serves as my vita. You can also download a PDF resume in French.

Contact / personal information

Family name: Nguyễn

Given name: Lê Thành Dũng

Email address: nltd at nguyentito dot eu

Scientific interests

I am particularly interested in the possible connections between these topics.

I have worked on applications of graph theory to linear logic, and conversely on combinatorics inspired by linear logic. Nowadays I’m starting to look into implicit computational complexity and the complexity of normalization of proofs.

Professional experience

Research

Publications

Talks

Teaching

Software development

Academic studies

Diplomas

Programming projects

See my Github account and my Bitbucket account, or this page.

Achievements in competitions

Involvement in computer science teaching/outreach

Science popularization

Prologin

As a member of the Prologin organization, I helped organize Prologin, a programming contest for people under 20 years old, and Girls Can Code!, a summer coding camp. I was

Other

I used to contribute to ENS’s student newspaper.