Browse Research by Faculty Name
Filtered by Department: Computer Science
Click on a faculty member's name to view the full profile, including any posted projects.
Displaying 11 - 20 of 67 records.
|Dillig, Isil||Computer Science|
|Dillig, Thomas||Computer Science||Dr.Dillig's main research interests are program verification and constraint solving. He has worked on precise, scalable and modular analysis of unbounded data structures, such as arrays and …|
|Downing, Glenn||Computer Science||Object-oriented programming, data sharing in scientific simulations, algorithms and data structures|
|Eijkhout, Victor||Computer Science||Parallel computing, scientific computing, machine learning, code generation, performance optimization|
|Emerson, Ernest||Computer Science||Formal methods, logics and semantics of programs, concurrent and distributed computing.|
|Fussell, Donald||Computer Science||* Computer architecture * computer graphics * VLSI systems design * and database concurrency control|
|Gal, Anna||Computer Science||* Computational complexity * Lower bounds for complexity of Boolean Functions * Fault tolerant computing * Randomness and computation * Algorithms and combinatorics|
|Ghattas, Omar||Biomedical Engineering; Computer Science; Department of Geological Sciences of the Jackson School of Geosciences; Mechanical Engineering||Dr. Ghattas' interests are in forward and inverse modeling, and optimal design and control, of complex systems in the geophysical, mechanical, and biomedical engineering sciences, with particular …|
|Gouda, Mohamed||Computer Science||Distributed and concurrent computing, fault-tolerant computing, computer networks, network protocols|
|Grauman, Kristen||Computer Science||Dr. Grauman's research in computer vision and machine learning focuses on object recognition and image retrieval.|