lthms.xyz/index.org -rw-r--r-- 1.5 KiB View raw
                                                                                
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
---
title: "Hi, I’m lthms"
category: "about"
---

My name is Thomas Letan, and I am a formal methods researcher with a focus on
proving the correctness of complex systems with respect to realistic security
policies. For instance, during my [[https://hal.inria.fr/tel-01989940/document][PhD. thesis]] I studied how common firmware
components rely on x86 hardware mechanisms to enforce security properties, why
they have been subject to several critical vulnerabilities, and how formal
methods might help uncovering similar security pitfalls.

I am calling myself a “functional programming languages enthusiast” for years
now, my two favorite being Haskell and Coq. Since I believe in the benefits of
free and open source software, I have published the result of my work under free
software licenses. I have also contributed to existing projects. In particular,
I am a regular contributor of [[https://pijul.org][pijul]], a newcomer in the VCS scene. You can find
me on [[https://github.com/lthms][GitHub]], [[https://git.sr.ht/~lthms][sr.ht]] and [[https://nest.pijul.com/lthms][the Nest]].

Finally, I enjoy writing. I try to blog (mainly in English) about
my findings and experiments in the hope that it can help others.  I also write
fictions (mainly in French) of many genres, with a preference for fantasy
settings. In the past, I participated to three [[https://nanowrimo.org][NaNoWriMo]] challenges, and
successfully achieved two.

If you are on the Fediverse, feel free to say [[https://mastodon.social/@lthms][hi]]!