Programming Languages and Verification at the University of Colorado Boulder
Users following cuplv
Jordan Dehmel
jorbDehmel
Graduate student of computer science at CU Boulder. Pronunciation of my last name: "Day-mull"
CU Boulder Boulder, Colorado
Konstantinos Stathopulos
stathopulos
CS/CE @ CU Boulder. I like radios, high-altitude balloons, and analog video. Writing Rust for personal projects with some typed fp on the side.
Lazy Wind Lazy Hurry
WLFJ
Currently working on MLIR and Advanced Software Engineering.
Beihang University China
M4tr1xt4ng
MATRIXKOO
Semi-Programmer | Vegetable PLer｜ Working on PLDI
@Vidar-Team @InProgramming @earth
Patrick
PatrickAllenCooper
Deep learning researcher and practitioner. Interests:
Embodied AI
Robotics
Var Inference, Dyn Sys
CU Boulder Boulder, CO
Karan Muvvala
MuvvalaKaran
Making robots safer and smarter one-step at a time
University of Colorado Boulder Boulder, CO
