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

Cmodels is a system that computes answer sets for either disjunctive logic programs or logic programs containing choice rules. Answer set solver Cmodels uses SAT solvers as a search engine for ...

Generative modeling: This is the case when π 1 is an empirically observed unknown distribution (of e.g., images), and π 0 an elementary distribution, such as the standard Gaussian distribution. We are ...

GandrKB - (Gene Annotation Data Representation KB, available free of charge) - an ontological framework for laboratory-specific gene annotation. Gandr uses Protege 2000 for editing, querying, and ...

Complexity Analysis An essential aspect to data structures is algorithms. Data structures are implemented using algorithms. An algorithm is a procedure that you can write as a C function or program, ...

Adam R. Klivans Professor of Computer Science, UT-AustinDirector, Director, Machine Learning Lab ...

Personal History I grew up in the 60's and 70's in the small town of O'Fallon Illinois where starting in 1967 I attended St. Clare grade school and, starting in 1975, O'Fallon Township Highschool. See ...

As autonomous agents proliferate in the real world, both in software and robotic settings, they will increasingly need to band together for cooperative activities with previously unfamiliar teammates.

The semantics of the input language of the ASP grounder gringo uses a translation that converts a logic program, which may contain variables and arithmetic operations, into a set of infinitary ...

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.

The Pre-covid Period A couple of projects from pre-covid life have provided both leftover wood and inspiration. The mahogany was made for Mom in 2006 (a bit late for her actual dowry, but beautiful ...