Technical Expertise

Skills and knowledge in programming languages, type systems, compiler design, and formal methods.

Programming Languages

HaskellOCamlRustTypeScriptPythonC++JavaScala

Type Systems

Dependent TypesLinear TypesGradual TypingEffect SystemsOwnership Types

Compiler Technologies

LLVMParser CombinatorsType InferenceCode GenerationOptimization

Formal Methods

CoqAgdaIsabelleTLA+Alloy

Research Tools

LaTeXBibTeXGitMakeDocker

Research Methodology

My approach to research combines theoretical rigor with practical implementation. I believe in building real systems to validate theoretical ideas and using formal methods to ensure correctness.

Key Strengths

  • Formal specification and verification of language features
  • Design and implementation of type systems
  • Compiler construction and optimization
  • Mathematical modeling of program behavior
  • Writing clear, precise technical documentation