Main Page: Difference between revisions
No edit summary |
Tag: Manual revert |
||
| (4 intermediate revisions by the same user not shown) | |||
| 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]. | ||
You can read some [[Special:ArticlesHome|Blogs]]. There might also be some linked knowledge. | |||
* [https:// | == Technology Stack == | ||
* [https:// | 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. | ||
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 == | |||
Latest revision as of 09: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)