Main Page

From Rongcui Dong @ UR

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:

Other languages I am eyeing on:

  • Zig, compile-time duck typing which can implement some dependent types in a language, surprise, which aims to replace C

Research Projects

Other Projects

Publications