The UT Programming Team consists of Trung Dang (coach) and teammates Aaryan Prakash, Mark Wen, and Dylan Smith from left to ...

This page shows you how to create a jar file (java archive) using the Eclipse IDE. The instructions are for bundling the source code (.java files) into a jar. These instructions do not cover how to ...

RoboCup 2018 Final Match. Download videos: First Half (), Second Half () IranOpen 2018 UT Austin Villa won the RoboCup IranOpen 2018 competition held in Tehran, Iran in April 2018. The team won all 9 ...

The Boyer-Moore theorem prover started in Edinburgh, Scotland, in 1971. It was originally a fully-automatic theorem prover for a logic based on a home-grown dialect of Pure Lisp. The key ideas in 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 ...

The Internet is a collection of computers connected by network cables or through satellite links. Rather than connecting every computer on the Internet with every other computer, individual computers ...

My research focuses on applications of machine learning in multi-agent systems, particularly in e-commerce settings. This research has been motivated by my participation in the Trading Agent ...

Greg Plaxton is a professor of Computer Science at the University of Texas at Austin. His research addresses the design and analysis of efficient algorithms for various basic computational problems, ...

At a given moment, the concept of polite mathematics emerged, the underlying idea of which is that, even if you have only 60 readers, it pays to spend an hour if by doing so you can save your average ...

Obtain a Common Lisp implementation if you don't already have one. (Note: Some of the ACL2 community books depend on quicklisp, and those are only guaranteed to work with CCL or SBCL.) Type: ...

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

This was a statement in my opening invited talk at the ACL 2014 Workshop on Semantic Parsing, the slides are available on this site. As I said at the talk, you can use your language model of informal ...