Faculty

03/04/2016 - Image

02/16/2016 - Professor Peter Stone has been selected as the recipient of the 2016 ACM/SIGAI Autonomous Agents Research Award. Stone's work is exceptional in both its breadth and depth in multiagent systems. Some of his most influential work has been in reinforcement learning and multiagent learning as applied to robot soccer, autonomous traffic management, and trading agents.

01/05/2016 - President Fenves recently announced Calvin Lin as a recipient of the 2015-16 President's Associates Teaching Excellence Award. This award, established in the fall of 1980, recognizes the consistent level of excellence that Calvin has achieved in teaching undergraduates within the Department of Computer Science.

12/18/2015 - Image

11/30/2015 - Professor Warren Hunt has been recognized as one of the Association for Computing Machinery's (ACM) 2015 Distinguished Engineers. His research involves the use of formal mathematics to write specifications for computer hardware and software and to use proof techniques to determine the validity of such specifications.

11/30/2015 - Lorenzo Alvisi was selected for his contributions to reliable distributed systems. His research interest is in distributed computing, with a particular emphasis on issues of dependability.

11/12/2015 - Image

11/04/2015 - University of Texas researcher designs novel way to analyze bigger datasets using supercomputers and machine learning algorithms. How do Netflix or Facebook know which movies you might like or who you might want to be friends with? Here’s a hint: It starts with a few trillion data points and involves some complicated math and a lot of smart computer programming.

11/03/2015 - There are few things as full of anxiety, heartbreak, and anguish as finding out that you or someone you love has cancer. Unfortunately, it’s not at all uncommon. By the American Cancer Society’s estimates it is expected that in the year 2015 alone, there will be 1.6 million new cancer diagnoses and nearly 600,000 deaths—or roughly 1,600 people every day. But statistics are hardly necessary to realize the enormity of the problem. So far, the road to a cure has been long and complicated and with what’s seemed like no end in sight—until recently.

11/02/2015 - Three conferences and a workshop, all in the field of formal verification and system design, were held from the end of September through the beginning of October. The first, MEMOCODE ‘15, in its thirteenth year, is dedicated to bringing principles of formal methods to hardware development, which enables hardware designers to prove rigorously that their chips will function as intended. Indeed, as hardware has grown exponentially more complex, traditional methods of testing have become unreliable, and instead formal proofs of correctness are preferred.