UT Programming Contests (UTPC) teams delivered a standout performance at the International Collegiate Programming Contest ...

Amid the private sector’s race to lead artificial intelligence innovation, The University of Texas at Austin has strengthened its lead in academic computing power and dominance in computing power for ...

I retired from UT in December, 2016. My last big project was FREGE, an online environment for learning introductory logic and discrete mathematics. It is an interactive textbook with over 500 problems ...

I moved to Carnegie Mellon University. This page is no longer maintained. Visit the link above for the new webpage. My current research focusses on two major challenges for SAT solving: 1) exploiting ...

MJRTY - A Fast Majority Vote Algorithm, with R.S. Boyer. In R.S. Boyer (ed.), Automated Reasoning: Essays in Honor of Woody Bledsoe, Automated Reasoning Series ...

Our students and faculty are changing the world through their contributions to computing education, research, and industry. These awards received by members of the UT Computer Science community make ...

Since the early days of automatic computing we have had people that have felt it as a shortcoming that programming required the care and accuracy that is characteristic for the use of any formal ...

Journalists seeking an academic to provide expert comment or background briefing on a story should contact our marketing & communications team.

Compressing DMA Engine: Leveraging Activation Sparsity for Training Deep Neural Networks (HPCA-18) PDF Fine-Grained DRAM: Energy Efficient DRAM for Extreme Bandwidth Systems (MICRO-17) PDF SCNN: An ...

My main research interest is in computational theories of the brain with emphasis on human vision and motor control. In 1985 Chris Brown and I led a team that designed and built a high speed binocular ...

Computational Applied Mathematics Chair in Visualization Professor of Computer Science Director of Center for Computational Visualization Department of Computer Science & The Oden Institute of ...

Parallel computation with the major focus on parallel programming, high level specification languages and integration of computer science with application areas. Performance evaluation of parallel and ...