Main Page: Difference between revisions
Tag: Reverted |
Tag: Manual revert |
||
Line 14: | Line 14: | ||
* [https://github.com/Z3Prover/z3 Z3] | * [https://github.com/Z3Prover/z3 Z3] | ||
* [https://coq.inria.fr/ Coq] | * [https://coq.inria.fr/ Coq] | ||
== Research Projects == | == Research Projects == |
Latest revision as of 10:29, 11 October 2023
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:
Research Projects
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)