Patrick MacAlpine and Peter Stone.

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

My research interests are in the area of machine learning for speech, language, and sound processing. I am particularly interested in multimodality and unsupervised ...

Mina Huh, a computer science Ph.D. student at UT Austin, has been awarded a Google Ph.D. Fellowship, the company announced on ...

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

The Five-Year BS/MS integrated program enables highly motivated students with strong academic records to earn a Bachelor of Science in Computer Science and a Master of Science in Computer Science (BS ...

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

To encode our knowledge bases, we use the KM knowledge representation and reasoning system. KM is a powerful, frame-based language with clear first-order logic semantics. It contains sophisticated ...

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.

It is a misnomer. As Edsger Dijkstra used to say "Computer Science is no more about computers than astronomy is about telescopes". Computer Science is closely related to mathematics. It is the study ...

When creating copies of arrays or objects one can make a deep copy or a shallow copy. This explanation uses arrays. Recall array variables in Java are references (some folks say pointers, but there ...