I am a software engineer passionate about Scala, Java, and JavaScript. Additionally, I am deeply interested in Functional Programming/FM and have hands-on experience with languages like Haskell, Standard ML, Idris, Coq, OCaml, Arend, Agda, Lean4, TLA+, etc.

My expertise extends to various areas, including algorithms, data structures, formal verification, type theory (λ, HTT, DTT, etc.), category theory, abstract algebra, and other advanced mathematics and theoretical computer science topics. These skills greatly enhance my software engineering workflow, enabling me to tackle complex challenges effectively.

Open for meaningful connections and professional networking!