
Boolean Satisfiability
graduate AI final project on state-of-the-art SAT solvers
I am a security engineer and Red Teamer. Check out some of my highlighted project pages. Also check out my blog.
graduate AI final project on state-of-the-art SAT solvers
Improving state-of-the-art depth maps
a research project in smart home techologies
a roommate matching start-up
a handwriting recognition CalTech hack
finding images with higher precision
an iOS game app