Research @ UVA Engineering

Jack W. Davidson is a Professor of Computer Science at UVA. He joined in 1981 after receiving his Ph.D. in Computer Science from the University of Arizona. His research interests include compilers, computer security, programming languages, computer architecture, and embedded systems. He is the principal investigator on several ongoing grants.

For information about me and my research, please see my web page and research group blog.

Andrew Grimshaw is the chief designer and architect of Mentat and Legion. In 1999 he co-founded Avaki Corporation, and served as its Chairman and Chief Technical Officer, until 2005 when Avaki was acquired by Sybase. In 2003 he won the Frost and Sullivan Technology Innovation Award.

Dr. Daniel J. Rosenkrantz is a Distinguished Institute Professor with the Biocomplexity Institute and Initiative at the University of Virginia. He has made fundamental contributions to many areas of computer science including formal languages, theory of computation, etc and is listed in notable “Who’s Who” lists for his many scientific achievements

Kevin Sullivan obtained his background in computer science from Tufts University (1987), working most closely with David Krumme, and in graduate school at the University of Washington, working with David Notkin (MS, 1994, PhD, 1994).

Ashish Venkat is an Assistant Professor in the Department of Computer Science at the University of Virginia, where he joined after obtaining a Ph.D. from UC San Diego. His work has been published at top-tier venues such as ISCA, MICRO, ASPLOS, HPCA, IEEE S&P, and USENIX Security, and has received funding from NSF, DARPA, SRC, and Inte

I completed my Ph.D. at University of Texas at Austin under the supervision of Sarfraz Khurshid. During my Ph.D., I also closely collaborated with Kenneth McMillan and Darko Marinov. Prior to my Ph.D., I earned an MPhil (a research master's degree) from University of Melbourne, where I was supervised by Harald Søndergaard and Peter J. Stuckey.