Main Page: Difference between revisions

From Rongcui Dong @ UR
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]
Other languages I am eyeing on:
* [https://ziglang.org/ Zig], ''compile-time duck typing'' which can implement some dependent types in a language, surprise, which aims to replace C


== 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

Publications