See defun for relevant background. You may find it helpful to use a lexicographic order, the idea being to have a measure that returns a list of two arguments, where the first takes priority over the ...

The original query language is basically a first-order logical form augmented with some higher-order predicates or meta-predicates, for handling issues such as quantification over implicit sets. It ...

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

Recent work has shown that deep neural networks are capable of approximating both value functions and policies in reinforcement learning domains featuring continuous state and action spaces. However, ...

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

I am an Assistant Professor and the director of the Personal Autonomous Robotics Lab (PeARL) in the Department of Computer Science at the University of Texas at Austin. I am also a core faculty member ...

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

Consistently ranked as one of the nation’s top ten graduate programs in computer science, UT Computer Science is proud to be able to say that the education our students receive is second to none.

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

I am a professor at the Computer Science Department of the University of Texas at Austin where I lead the UToPiA research group. My primary research area is Programming Languages, with a current ...

Sumaya M Al-Bedaiwi, salbedaiwi@utexas.edu, Office hours: Mon 12:30 PM - 1:30 PM, Wed 3:30 PM - 4:30 PM in the GDC Basement.