Işıl Dillig, a professor in the Department of Computer Science at The University of Texas at Austin, earned the 2025 Robin ...

Transfer Learning for Reinforcement Learning Domains: A Survey Transfer Learning for Reinforcement Learning Domains: A Survey. Matthew E. Taylor and Peter Stone. Journal of Machine Learning Research, ...

Readings Essential Operating Systems Principles (working title), Anderson, Chen, Dahlin, Gribble. I will provide drafts of this work-in-progress textbook to you. For some topics, this will be the main ...

Reasoning about Hypothetical Agent Behaviours and their Parameters Reasoning about Hypothetical Agent Behaviours and their Parameters. Stefano Albrecht and Peter Stone. In Proceedings of the 16th ...

To Teach or not to Teach? Decision Making Under Uncertainty in Ad Hoc Teams To Teach or not to Teach? Decision Making Under Uncertainty in Ad Hoc Teams. Peter Stone and Sarit Kraus. In The Ninth ...

Lecture 8: Polymorphism and System F In Lecture 7 we saw how the simply typed lambda calculus (STLC), and type systems in general, can be powerful tools for guaranteeing safety properties about ...

Hello! I am currently a 3rd year undergraduate student at the University of Texas at Austin, studying computer science as a part of the Turing Scholars Program. I am a member of the Graphics & AI lab ...

Transcribed by Guy Haworth. Formatting revised and last two paragraphs and reference list added by H. Richards. The additions are absent from the typescript furnished to the archive but are present in ...

Thomas Dillig WebsiteInductive Invariant Generation via Abductive Inference Conference talk, OOPSLA 2013. Synthesis of Circular Compositional Program Proofs via Abduction Conference talk, TACAS 2013.

[ This section is a little out of place--need to introduce type and equality predicates first! Those have been presented in class, so this should be comprehensible anyway. Need to make this a separate ...

CS310H - Honors Computer Organization and Programming (Spring 2004, 2005, 2007, 2009) CS310 - Computer Organization and Programming (Spring 2000, 2002, 2003; Fall 2008) CS352H - Honors Computer System ...

Neural Coding Spike based models of neuron function. Spikes are modulationed by the gamma frequency. Newest modules use thelocal gamma phase Rao, R.P.N. and D.H. Ballard, (1999), Predictive coding in ...