Programming Languages and Verification at the University of Colorado Boulder
Users following cuplv
Konstantinos Stathopulos
stathopulos
EE/CE @ CU Boulder. I like radios, high-altitude balloons, and analog video. Writing Rust for personal projects with some typed fp on the side.
Chad Nehemiah
maschad
Senior Engineer @ardaglobal
GPG key ID: 598DA8C1F9A33FD1
@ardaglobal Astral Plane
Chandra Kanth
ck090
CS PhD | CS MS (CU Boulder '23) | CS Undergrad (RVCE '18) | Ex- MMT, GE | Computer Scientist
University of Colorado Boulder Boulder, CO
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
