Farnam Jahanian

02/11/2026 - 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 is known for his work on symbolic model checking, which enabled automatic verification of hardware and software systems with extremely large state spaces. His innovations laid the foundation for tools such as the Symbolic Model Verifier (SMV), which have become essential for ensuring correctness in complex engineering systems.

11/08/2018 - Texas alumnus Farnam Jahanian became Carnegie Mellon University’s new president this past month on October 26th. He is a nationally recognized computer scientist, successful entrepreneur, and leader in higher education. Jahanian received his Ph.D. in Computer Science from the University of Texas at Austin. He is currently a fellow of a number of prestigious academic groups including the Association for Computing Machinery, the Institute of Electrical and Electronic Engineers, and the American Association for the Advancement of Science.

01/24/2013 - Farnam Jahanian, UTCS alum and leads the National Science Foundation Directorate for Computer and Information Science and Engineering (CISE), returned to campus as a distinguished speaker. Hosted by Professor Al Mok, Farnam's Postdoc Chair, the lecture was on "Innovating for Society: Realizing the Transformative Impact of Computing and Communication."