Frank Pfenning, a professor of computer science who played a key role in the recent update of Carnegie Mellon University’s introductory computer science curriculum, is the new head of CMU’s Computer Science Department (CSD).
Mr. Pfenning earned his doctorate degree at Carnegie Mellon. His research focuses on applications of mathematical logic in computer science. This includes the design of programming languages, systems for reasoning about computer programs and logics for ensuring computer security.
He succeeds Jeannette Wing, who stepped down to become head of Microsoft Research International.
As head of the Computer Science Department, Mr. Pfenning will lead a faculty of more than 70 members.