Skip to main content

Top Bar

About
News
UTCS Direct
Give

Search

Main navigation

Research+–
Research Areas
Research Areas One

Artificial Intelligence

Bioinformatics and Computational Biology

Computer Architecture

Computer Vision

Databases

Formal Methods

Graphics and Visualization

Human-Computer Interaction

Intelligent Robotics

Research Areas Two

Machine Learning

Natural Language Processing

Parallel Computing

Programming Languages & Compilers

Scientific Computing

Security & Privacy

Systems & Networking

Theoretical Computer Science

Affiliated

Research Affiliated

Machine Learning Laboratory

Texas Robotics

Systems Research Consortium

Corporate Collaboration

Publications

Research Seminars
People+–
People

People Directory

Faculty & Researchers

Staff

Offices

Department of Computer Science
The University of Texas at Austin
2317 Speedway, GDC 2.302
Austin, Texas 78712
Internal Mail Code: D9500

(512) 471-7316
Awards+–
What Starts Here

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 it evident that our faculty and students are world-class.

Awards

Awards

Research Awards

Service Awards

Teaching Awards

Graduate Student Awards

Awards Two

Awards News
Undergraduate+–
Admissions

Undergraduate Admissions

Prospective Students

Internal Transfers

Turing Scholars Honors Program

Texas Honors Computer Science & Business

Academics

Undergraduate Academics

Advising

Concentrations

Curriculum & Degree Plans

Longhorn Startup

Elements of Computing

Honors Programs

FAQ

Student Support

Undergraduate Student Support

First-Year Connections

Student Organizations

Scholarships

Undergraduate Research

Internships and Jobs

Student Homepages

Study Abroad
Graduate+–

On-Campus Programs & Degrees

Ph.D. Program

Master's Programs

Thesis-Based Degree

Course-Based Degree

Integrated 5-Year BS/MS Programs

Portfolio Program in Robotics

Admissions & Incoming Students

Prospective Students

New Students

Financial Information

Current Students

Student Homepages

Graduate Student Talks

Graduate Representative Association of Computer Sciences

Graduate Women & Gender Minorities in Computing

Research & Career Advice

Curricular Practical Training

Courses

Forms

Online Programs & Degrees

Master's Degrees

Artificial Intelligence

Computer Science

Data Science

Student Experience

Apply

FAQ

Learn more about Computer & Data Science Online (CDSO)
Engage+–
Industry

Engage Industry

Recruit

Collaborate

Alumni

Engage Alumni

Connect

Get Involved

Outreach

Engage Outreach

Summer Academies

K-12 Outreach

Engage Affiliated

Advisory Council

Giving
Make a Gift

Marijn Heule

UT Computer Science Researchers Win TACAS Best Paper Award

04/28/2017 - UT Computer Science postdoctoral researcher Valentin Wustholz, Ph.D.

Subscribe to Marijn Heule

2317 Speedway, Stop D9500
Austin, TX 78712
Phone: 512.471.7316

© The University of Texas at Austin 2024

Undergraduate Office
Graduate Office
Office of External Affairs
Webmaster

Mission Statement
Contact
UTCS Direct

Emergency Information
Site Policies
Web Accessibility Policy
Web Privacy Policy