We consider the task of evaluating a policy for a Markov decision process (MDP).The standard unbiased technique for evaluating a policy is to deploy the policyand observe its performance. We show that ...

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

You may either type your answers or write them by hand, but you must have a copy with you in discussion section. In discussion section, your TA will check that you made a good effort on the problem ...

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

UT Computer Science Associate Professor Etienne Vouga has earned a 2024 Regents’ Outstanding Teaching Award for demonstrating extraordinary classroom performance and innovative teaching. Vouga is one ...

In a recent feature by The Hustle, the Master of Science in Artificial Intelligence (MSAI) program at CDSO is praised for addressing the supply-demand gap for AI professionals through its innovative ...

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

My research interests span several areas of computer networks, including traffic engineering, anomaly and intrusion detection, data stream computation, overlay routing, network measurement, and Web ...