I am a research staff member at IBM Almaden Research Center. My current work is focused on Blockchain-based solutions for identity and data provenance, and real-time compression and thin provisioning automation for storage optimization.
I am a software engineer with background in safety-critical systems, cloud system analytics, model-based design and formal methods. Experience in Java, C++, Python, MATLAB Simulink/Stateflow, symbolic source code representation and analysis. Continuous integration, Jenkins, JUnit, Checkstyle, Ant. Permanent resident (green card).
UC Irvine – Ph.D. in Computer Science, 2005 - 2009
Dissertation title: Model-based Analysis of Event-driven Distributed Real-time Embedded Systems.
Vanderbilt University – Ms.C. in Computer Science, 2003 - 2005