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. @email@example.com 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.