Vivek Mehta
viv511
Hi!
I'm a CS student @ CMU with interests in robotics, AI/ML, automated reasoning, and creative work. :)
CS @ Carnegie Mellon University
Huỳnh Trần Khanh
huynhtrankhanh
formal verification enthusiast bucketpotato orz orz - not an expert in anything and never will be
@rocq-community Vietnam