The world is made up of shapes of all kinds, from boxy cubes to perfect spheres and everything in between. Some shapes work best for certain applications; for example, only a few configurations will lead to a stable building.
The only effective way to raise the confidence level of a program significantly is to give a convincing proof of its correctness. But one should not first make the program and then prove its correctness, because then the requirement of providing the proof would only increase the poor programmer’s burden. On the contrary: the programmer should let correctness proof and program grow hand-in-hand. - “The Humble Programmer,” Edsger W. Dijkstra (1972)
AUSTIN (KXAN) - Thirteen startups and one big prize of $25,000. Thursday night, student entrepreneurs at UT Austin competed in a "Shark Tank" style pitch contest
Undergraduate student Jacqueline Gibson is one of six recipients of the 2018 President’s Leadership Award, which is given annually by the Texas Exes.
Jacqueline and her fellow awardees represent some the most active participants on the Forty Acres and set the pace on campus.
According to the Alcalde, "These students are what one could conservatively call active participants—not simply for showing up, but for taking charge, too."
For students who are passionate about a specialized subfield of computer science, Texas Computer Science has made it easier for them to enhance their skills and set themselves apart by choosing a concentration.
The competition consisted of teams from 140 regions (approx. 420 students) trying to solve 11 problems in 5 hrs and 20 min. The first-place team, Moscow State University, solved 9 problems. UT solved 4 problems and tied with 42 other teams for 56th place.
Computers touch every part of our daily lives, from work to shopping to social media, and behind computer programs are human computer scientists making decisions. How do we make sure that these decisions don’t harm others?
Four UTCS professors—Vijay Chidambaram, Scott Niekum, Simon Peter, and Eric Price —have won the National Science Foundation (NSF) Faculty Early Career Development award for 2018.