Skip to main content
Lab directory

Prof. Venkat Arun — Research Profile

The University of Texas at Austin · Department of Computer Science

Official page

This research profile is based on public faculty information. An independent lab and student recruitment have not yet been verified.
Information sourceChecked Oct 31, 2026

Graduate application deadlines

Department of Computer Science

  • PhD in Computer Science

    Fall 2027

    • Application deadline

      Dec 15, 2026

    No year on the page — check the original to confirm these dates are for this cycle.

    Source: cs.utexas.eduChecked Nov 2, 2026

  • MS in Computer Science

    Fall 2027

    • Application deadline

      Dec 15, 2026

    No year on the page — check the original to confirm these dates are for this cycle.

    Source: cs.utexas.eduChecked Nov 2, 2026

Considering this lab for grad school?

Save it to compare side by side with other labs, and keep your contact prep in one place.

What to prepare before emailing a PI

About

Prof. Venkat Arun at The University of Texas at Austin Department of Computer Science lists Formal Methods, Systems and Networking as their registered research area.

Research keywords

Formal MethodsSystems and Networking

Other labs in this department

See all labs in this department