Programming Languages and Verification at the University of Colorado Boulder
Chandra Kanth
ck090
CS PhD | CS MS (CU Boulder '23) | CS Undergrad (RVCE '18) | Ex- MMT, GE | Computer Scientist | Love learning and digging deep into the Data Science domain
MakeMyTrip 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
canliture
canliture
Interested in compiler and static analysis.
Welcome to communicate with me using WeChat: trustxyz
Society School Hunan in China
Patrick
PatrickAllenCooper
PhD Student CU Boulder.
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
