Hi, awesome stranger. I am lthms, and I welcome you in my little corner of the Internet. my blog 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.