Tsung-Han Liu

À propos de moi

Bonjour! I'm Tsung-Han (IPA: 宗 /tsŋˉ/ · 函 /xanˊ/) — but feel free to call me Marvin. I'm currently pursuing my Master's degree at EPFL, where I work closely with Prof. Clément Pit-Claudel in the SYSTEMF Lab. We are working on dynamic variable dependencies of Lisp functions aiming to reducing bugs caused by dynamic bindings in Lisp-family languages.

Before EPFL, I was fortunate to collaborate with Prof. Chun-Ying Huang as both a project student and research assistant. We published TIMEMACHINE, a ransomeware defencing plugin for hypervisors, and CASE, a context aware system call enforement framework.

My interests gather where structure unfolds into complexity—systems engineering, security, programming languages, and the layered elegance of operating systems, where simple pieces stack into something vast and alive. I’m also drawn, from time to time, to the precision of formal verification and the abstractions of metamathematics.

Outside the realm of code, I'm a chef 🍳, a photographer 📷, and a guitar learner 🎸.

Geeeeek?

I'm quite old-school and enjoy geeky things. I was a Funtoo Linux user and a small contributor for 7 years until it discontinued. Now I've moved to Void Linux. I'm an Emacs enthusiast; I've been using it for 8 years and still complain about it while using it! I've always been fascinated by Lisp's design and its active ecosystem and community, although it's often too slow for my liking. I feel the willingness to sacrifice convenience for elegance embodies the spirit of geeks.