In the past five years, Isler headed research for Samsung AI Center in New York, where he helped develop AI robots for ...

1) How (and How Not) to Write a Good Systems Paper (Levin and Redell, SIGOPS OSR, 1983) ...

UT Austin is celebrating 100 years of quantum science, highlighting its impact on computing, clean energy, and medicine.

David J. Wu, an assistant professor of computer science, is one of six faculty members from the University of Texas at Austin ...

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 ...

E. Allen Emerson has a longstanding interest in formal methods for establishing program correctness. This was inspired in part by reading in the mid-1970's a CACM paper by Tony Hoare "Proof of Program ...

I'm an assistant professor in the Computer Science Department and the Institute for Computational Engineering and Sciences (ICES) at the University of Texas at Austin. I was a PhD student at the ...

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 ...

We introduce a new entity typing task: given a sentence with an entity mention, the goal is to predict a set of free-form phrases (e.g. skyscraper, songwriter, or criminal) that describe appropriate ...

For almost a decade, the need for a non-profit professional society to run the International Conference on Machine Learning (ICML) has been recognized at the editorial board meetings of the Machine ...

The advent of architectures with multi-level memories, including caches, shared memories, and distributed memories, has forced a re-evaluation of how linear algebra libraries are developed.

A better picture: surrounded by beautiful women.