Ken McMillan, a professor in the Department of Computer Science, was recently inducted into the National Academy of Engineering, one of the highest honors in the field. McMillan’s innovations in symbolic model checking laid the foundation for tools that have become essential for ensuring correctness in complex engineering systems. Internet stability leader and UT alumnus Farnam Jahanian, who is president of Carnegie Mellon University, also received the honor. Jahanian received both his MS and PhD in computer science from UT Austin.
News Categories