Main Page: Difference between revisions
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
< | == <code>whoami</code> == | ||
== | A PhD student at [https://cs.rochester.edu/ University of Rochester, CS Department]. Currently working with [https://cs.rochester.edu/~sree/ Prof. Sreepathi Pai]. | ||
== Technology Stack == | |||
I use [https://www.haskell.org/ Haskell], [https://www.rust-lang.org/ Rust], and [https://julialang.org/ Julia] extensively. For systems scripting, I go for [https://www.ruby-lang.org/en/ Ruby] or [https://www.python.org/ Python]. Should I need anything really low level, I use C. For hardware, I use Verilog. | |||
* [https:// | |||
* [https:// | Currently also interested in: | ||
* [https://lamport.azurewebsites.net/tla/tla.html TLA+] | |||
* [https://github.com/Z3Prover/z3 Z3] | |||
* [https://coq.inria.fr/ Coq] | |||
== Research Projects == | |||
== Other Projects == | |||
* [https://github.com/rongcuid/MSCC Mad Scientist Carl’s Core], a RISC-V RV32I M-privilege softcore on Artix 7 | |||
* [https://github.com/rongcuid/gqlforum-rs gqlforum-rs], an experimental full-stack Rust forum (not to be used in production) | |||
== Publications == |
Revision as of 16:08, 27 April 2023
whoami
A PhD student at University of Rochester, CS Department. Currently working with Prof. Sreepathi Pai.
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)