From studying Latin to playing ultimate frisbee, incoming computer science freshman Abby Criswell has always had “this weird of habit of getting into loads of crazily different things that … don’t seem to have any connection.” As a future Turing Scholar, Dean’s Scholar and pre-medical student, she wants to continue making unusual connections by combining her interests in coding and medical technology.
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.