Past Research

Unit testing small concurrent abstractions with MultithreadedTC | project page | google code | short paper (pdf)

Visualize the results of searching audio. For IBM Research | patent filed

Speech analysis and machine learning to identify spam voice messages. For Sipera Systems | patent filed

Interactive Visualization of proofs to verify a pipelined microprocessor | paper | Master's Thesis (pdf)