Interests: Theory of computation, programming languages, abstract interpretation, program analysis and verification, logic in computer science, history of computing.
Interests: Enterprise Data Management. Semantic Interoperability among Heterogeneous Data Sources. Biological Data Integration. Semantic Modeling Data Provenance and Quality.
Interests: parallel and distributed architectures and applications; performance monitoring, modeling and analysis; memory system optimization; parallel programming paradigms; tool support for parallel programming; power efficiency for parallel systems; op
Interests: High performance computing, compilers including use of the polyhedral model, parallel programming models, scientific computing, and software engineering.
(Ph.D., University of California at San Diego, 2003)