skills
Tools and languages I work with.
Formal Methods
Lean 4 Mathlib TLA+/TLC nuSMV PLT Redex Racket temporal logic operational semantics
ML & Scientific Computing
Python PyTorch NumPy SymPy AI2-THOR MATLAB Simulink
Robotics & Systems
ROS2 C/C++ URDF/xacro AprilTag Git Linux/macOS Arduino ESP32 Verilog ARM/x86 Assembly
Languages
English Mandarin