Close up of a circuitboard

Research labs

Example hero paragraph text.

Close up of a circuitboard

Automated Reasoning Group

The Automated Reasoning Group is interested in designing and building intelligent systems, which can perform automated reasoning based on the knowledge represented in a formal language, thereby intelligently handling open-ended tasks by thinking. Towards this end, the group has been working on knowledge representation and reasoning, computational logic, logic programming, commonsense reasoning, reasoning under uncertainty,…

Recruiting students Machine learning
* Images fully released. Model releases are on file with ASU Enterprise Brand Strategy and Management . *..ASU researchers are using artificial intelligence to improve health. Teresa Wu and her team use AI to harmonize PET scans taken with different types of tracers. ..FEATURED IN THE PHOTOS:.Maitry Trivedi, PhD student, works with Teresa Wu’s team using AI for Alzheimer’s research...Appeared in the SU24 issue of ASU Thrive Magazine.. AI-powered medicine ASU, Arizona State University, ASU Brand photo, Arizona, conceptual, research, PhD student, engineers, engineering, Artificial Intelligence, AI, reflections, projections, floating, brain, scans, thought, programming, code, machine learning, neurological conditions, treatments, clinical trials, Alzheimer’s, treatments, tracers, data, harmonize, PET scans, compare, School of Computing and Augmented Intelligence, College of Health Solutions, colorful, female, woman, Asian Indian

Make Programming Simple Lab

The mission of Make Programming Simple Lab is to investigate novel architectural, compiler, runtime, and operating system mechanisms to make the task of programming ambitious applications easier on complex, distributed, and heterogeneous computing platforms. We publish in top-tier venues like Embedded Systems Week (ESWEEK), Design Automation Conference (DAC), Machine Learning and Systems (MLSys), Architectures Systems Programming Languages…

Programming