Main Page

whoami

A PhD student at University of Rochester, CS Department. Currently working with Prof. Sreepathi Pai.

You can read some Blogs. There might also be some linked knowledge.

Technology Stack

I use Haskell, Rust, and Julia extensively. For systems scripting, I go for Ruby or Python. Should I need anything really low level, I use C. For hardware, I use Verilog.

Currently also interested in:

• TLA+
• Z3
• Coq

Other Projects

• Mad Scientist Carl’s Core, a RISC-V RV32I M-privilege softcore on Artix 7
• gqlforum-rs, an experimental full-stack Rust forum (not to be used in production)