Research at UTCS

• AI Laboratory (headed by Gordon Novak).
• Automatic Theorem Proving Group (headed by Woody Bledsoe and Bob Boyer)
• CAD for VLSI Research Group (headed by Martin D. F. Wong).
• Distributed Multimedia Computing Lab (headed by Harrick Vin).
• Knowledge-Base Research Group (headed by Bruce Porter).
• Machine Learning Research Group (headed by Ray Mooney).
• Natural Language Acquisition Group (headed by Ray Mooney and Risto Miikkulainen).
• Networking Research Lab (headed by Simon Lam).
• Neural Networks Research Group (headed by Risto Miikkulainen).
• OOPS Research Group (headed by Paul Wilson).
• Parallel Multithreaded Programming Group (headed by Robert Blumofe).
• Parallel Programming Group (headed by Jim Browne).
• Programs, Specifications and Proofs Group (headed by Jayadev Misra).
• Qualitative Reasoning Research Group (headed by Benjamin Kuipers).
• Real Time Systems Group (headed by Aloysius Mok).
• Software Systems Generator Research Group (headed by Don Batory).

And also visit ...

• UT Austin Research Pages
• UT System Intellectual Property Pages