05/30/2017 - As an undergrad at the Carl von Ossietzky University of Oldenburg in Germany, UTCS professor Simon Peter had two main hobbies: music and computer operating systems. While majoring in computer science, he also completed a minor in music. For a while, he was even interested in working on music synthesizers; his dream project is an operating system for synthesizers.
05/24/2017 - The 14th International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2-2017) was held May 22-23, 2017, followed by the first ACL2 Developer's Workshop held on May 24 - 25 at The University of Texas at Austin in the Gates Dell Complex.
05/02/2017 - From SIGNAL Magazine: A breakthrough formula for generating random numbers may be the key to cybersecurity. They do not necessarily match the hero stereotype, but computer scientists improving methods of generating random numbers just may save the day when it comes to cybersecurity.
04/28/2017 - UT Computer Science postdoctoral researcher Valentin Wustholz, Ph.D.
04/19/2017 - Chidambaram stresses the importance of why operating systems are so awe-inspiring. “An operating system is what makes computers run. If you are able to work with an operating system, you can get computers to do pretty much whatever you want,” Chidambaram says. “If you are able to work with operating systems, you essentially become a wizard in CS.”
04/06/2017 - In 1960, the physicist Eugene Wigner wrote a famous essay titled “The Unreasonable Effectiveness of Mathematics in the Natural Sciences” in which he explored the question of why mathematics is so remarkably useful in the natural sciences.
04/05/2017 - UTCS Assistant Professor Scott Niekum has known he wanted to study artificial intelligence since he was 19 years old. As an undergraduate at Carnegie Mellon University, he rode the bus an hour each way to get to his internship. To pass the time, he read Douglas Hofstadter’s Gödel, Escher, Bach, a book that explores, among other topics, artificial intelligence and the emergence of consciousness.
03/16/2017 - Dana Moshkovitz earned her bachelor's degree in computer science from the University of Israel while most people her age were filling out their college applications—at the age of 17. She continued her education at Tel Aviv University, Weizmann Institute of Science, and Princeton, collecting computer science degrees at each and a postdoc at the latter. She has previously worked at MIT where she won a teaching award for her course on the design and analysis of algorithms.
03/03/2017 - From The Daily Texan— “The (computer science) department as a whole produces a lot of local talent in students, who are trained with a really good education, and that’s what’s powering the local tech economy,” Porter said.
02/16/2017 - Philipp Krähenbühl teaches computers how to see. Krähenbühl, an assistant professor who joined UTCS last fall, studies a subfield of machine learning called computer vision. By using machine learning techniques, such as deep networks, computers can learn how to differentiate between and manipulate images by running through a large data set of labeled images. "One of the biggest issues there is that the amount of data you need to teach the computer about even tiny little things is enormous," he said.