Frank Pfenning Named Carnegie Mellon’s Computer Science Department Head

SCS, Frank Pfenning, January 7 2013

[Techtaffy Newsdesk]

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.

Also see:

EdCast Raises $6M

EdCast, a Stanford StartX company that creates knowledge cloud platforms for organizations to collaborate upon, has completed a $6 million Series A round of financing led by SoftBank Capital. Mitch Kapor (Kapor Capital), Menlo Ventures, Novel TMT Ventures, Cervin Ventures, Aarin Capital, NewSchools Venture Fund/ CoLab, and the Stanford StartX Fund.