We are deeply saddened by the loss of Professor Emeritus E. Allen Emerson, a cherished member of the UT Austin Computer Science Department since the early 1980s. Renowned for his pioneering work in Model Checking, a verification technique that transformed the reliability of complex computer systems, Allen earned the 2007 A.M. Turing Award, the highest honor in computer science, which he shared with Edmund M. Clarke and Joseph Sifakis. He will be fondly remembered as a visionary scholar and mentor whose legacy will continue to shape the future of computer science for generations to come. Remembering E. Allen Emerson: https://lnkd.in/gmkFN5Zb
Department of Computer Science, The University of Texas at Austin
Higher Education
Austin, TX 4,180 followers
About us
The University of Texas at Austin Department of Computer Science (UTCS) is ranked as a top-ten Computer Science department nationally and is the only top-ten computer science department within 1,000 miles of Austin, TX. The department officially opened its doors on September 1, 1966. At that time it was strictly a graduate program consisting of 44 students, 13 faculty members, and an administrative staff of one. As the plural term implies, the new department was designed to bring together computer scientists previously identified with several different academic fields. When the popularity of computer-related studies began to soar in the mid-1970s, the need for a coordinated undergraduate computer science program was evident. The undergraduate program became a reality in September 1974 with 350 undergraduate computer science majors.
- Website
-
http://www.cs.utexas.edu
External link for Department of Computer Science, The University of Texas at Austin
- Industry
- Higher Education
- Company size
- 201-500 employees
- Headquarters
- Austin, TX
- Type
- Educational
- Founded
- 1966
- Specialties
- AI, Bioinformatics & Computational Biology, Model Driven Engineering, Data Mining, Formal Methods, Graphics & Visualization/Gaming, Mobile Computing, Cloud Computing Systems, Programming Languages & Implementation, Scientific Computing, Security, and Theory
Locations
-
Primary
2317 Speedway
Stop D9500
-
Austin, US
Employees at Department of Computer Science, The University of Texas at Austin
-
Amir Husain
Founder: Avathon (prev SparkCognition), SkyGrid, Navigate | Author: The Sentient Machine, Gen AI for Leaders, Hyperwar | Board: UT Austin PAIB & CS…
-
Dheeraj Pandey
CEO at DevRev; Board Member at Adobe; Investor & Co-founder at Nutanix
-
Adriane McFetridge
-
Karen Landolt
I empower students and clients to become engaging and ethical leaders.
Updates
-
Alan Baade, a senior Turing Scholar at UT Austin, has published his second research paper titled "Neural Codec Language Models for Disentangled and Textless Voice Conversion." This groundbreaking work introduces a novel architecture that allows for voice conversion without relying on text input, utilizing a new type of semantic unit to a modified Microsoft's Vall-E model. With the potential to transform communication in languages without a written form, the models could pave the way for applications in creative industries, the legal sector, and even voice restoration for those who have lost their ability to speak. Alan's ability to conduct this research stems from the collaborative and innovative environment fostered by the Turing Scholars Honors program. Access to mentorship, advanced resources, and a community of like-minded peers has not only inspired him but also equipped him with the tools to push the boundaries of technology as an undergraduate. Calvin Lin, Director of the Turing Scholars Honors program, emphasizes that this unique support system empowers talented students like Alan to achieve extraordinary outcomes in their research. Read the full story on: https://bit.ly/3LYatJK
-
At UT Austin, the Deep Proteins group is leveraging artificial intelligence to transform how we design proteins for critical applications in healthcare, from cancer therapies to diabetes management. Co-led by talented researchers Danny Diaz and Adam Klivans, this interdisciplinary team is breaking new ground by combining machine learning with biochemistry, enhancing protein stability, binding affinity, and production efficiency. Their innovative approach aims to accelerate the development of life-saving treatments while reducing costs. “One of the things that makes UT special in this space is that we connect world-class AI researchers with world-class scientists in biochemistry to accelerate biotechnology development, all under one roof,” Klivans said. “Deep Proteins, which develops foundational protein AI tools with an eye towards real-world applications, was designed to be interdisciplinary from the start.” Read the full story at https://bit.ly/3LYatJK . . . . . #MachineLearningLab #IFML #TexasAI #YearOfAI #BiotechnologyInnovation #UTAustin
-
A research team at UT Austin, led by Professors Daehyeok Kim, Aditya Akella, and Venkat Arun, is pioneering a new framework called Transcraft. This innovative solution aims to simplify the design and implementation of network stacks, addressing the unique challenges posed by high-speed AI workloads. With Transcraft, network architects can expect enhanced adaptability and advanced monitoring capabilities, paving the way for groundbreaking advancements in AI technology. Read the full story here: https://bit.ly/3LYatJK . . . . #TexasAI #YearOfAI #UTCS #ArtificialIntelligence
-
Our undergraduate program has ranked among the best. US News & World Report has ranked us No. 10. Ranked No. 6 among public universities and the best in Texas, our program also boasts three specialties in the top 10: Software Engineering (7th), Cybersecurity (8th), and Computer Systems (10th), and two in the top 15: Programming Languages and Artificial Intelligence (12th). We're proud to continue pushing the boundaries of technology and education! Hook 'em! . . . #UTCS #ProudLonghorns #BeALonghorn
-
+1
-
Big news! UT has been chosen to lead the new NSF-Simons AI Institute for Cosmic Origins, exploring the universe's biggest mysteries, from dark matter to the origins of life, with AI! UT is now one of only 4 institutions with two National AI Research Institutes! We are proud to have our very own Greg Durrett as a co-investigator on this project. Together, we're advancing AI for the public good and unlocking the secrets of the cosmos!. . . . . #TexasAI #AI #CosmicAI #Astronomy #McDonaldObservatory
-
UT Professor Shravan Narayan, alongside researchers from UC San Diego, Purdue, Google, Intel, Fastly, and Rivos, are finalists for the prestigious Intel Hardware Security Academic Award! Their groundbreaking work, Going Beyond the Limits of SFI: Flexible and Secure Hardware-Assisted In-Process Isolation with HFI, introduces HFI—an innovative extension designed to enhance processor isolation and boost security while minimizing runtime overhead. HFI promises to make significant strides in protecting applications by improving isolation mechanisms, leading to a more secure software ecosystem. Their research has already been recognized with a distinguished paper award and top picks in computer architecture. Read the full story on: https://bit.ly/4e1r37U
-
📢 Last chance to apply! Just 15 days left until the October 1st deadline for our online master’s program. Don't miss this chance to level up your skills and advance your career from anywhere. 🌍🚀 Apply now and take the next step toward your future! Check out https://bit.ly/44iLw2f for more information!
-
Applications for our Online Master’s Program for Spring 2025 are open! We offer 3 programs: 💻 Master’s of Computer Science 📊 Master’s of Data Science ⚙️ Master’s of Artificial Intelligence The final deadline is October 1, 2024. Check out cdso.utexas.edu for more information!
-
We are excited to share that UT Austin's Masters Of Data Science (MSDS) program has been ranked #5 among online data science programs for 2024 by Fortune Magazine. This ranking reflects the exceptional quality of education and commitment to innovation within the CDSO group of online master's programs. Applications for the MSDS Program close on October 1st. For more details, please check out: https://bit.ly/4cTG3Dl . . . . . #UTAustin #MSDS #DataScienceDegree #DataScience