Research Interests:
- Applications of machine learning, specifically boosting and online learning, in the field of Bioinformatics.
- Clause management techniques and new cache-friendly data structures for boolean satisfiability solving.
- I recently entered a couple solvers in SAT Competition 2011: EBGlucose and EBMiniSAT
- B.S. Computer Science - Univ. of California Santa Cruz
- B.A. Mathematics - Univ. of California Santa Cruz
- Highest Honors in the major of Mathematics - Univ. of California Santa Cruz (2008)
- Honors in the major of Computer Science - Univ. of California Santa Cruz (2008)