Can you
I'm a student at Carnegie Mellon University, pursuing a B.S. in Computer Science. I dabble in Security, AI, and Programming Languages, and have become obsessed with Automated Program verification. Whenever I'm "touching grass", you'll find me hiking, and bouldering in California's National Parks. I also make games 🙂.
To access this site you must agree to the Terms and Conditions.
By clicking "Accept" you agree to these terms. Rejecting will prevent you from viewing site contents.
Social Media