Hi, awesome stranger.

I am lthms, and I welcome you in my little corner of the Internet.

my write-ups: You may find interesting my articles if you are into functional programming languages.

code.soap.coffee: A collection of personal git repositories, including a set of dotfiles (emacs, sway…), a set of tools for story writers.

@lthms@mastodon.social: My personal account on the fediverse. I mostly toot about functional programming languages, formal methods, and my Emacs configuration.

my academic publications: I have a PhD in computer science, and I focus my research on applying formal methods approaches to prove security properties.

I wish you a wonderful day.