TechTaffy

tech:

taffy

Microsoft Hires Jeannette Wing To Head Microsoft Research

By TechTaffy Desk

[Techtaffy Newsdesk]

Dr. Jeannette Wing will join Microsoft Research as vice president, head of Microsoft Research International, reporting to Chief Research Officer Rick Rashid. Wing is a leading figure in computer science research, particularly in formal methods, security and privacy. She has held key positions in both academia and government, most recently at Carnegie Mellon University and the National Science Foundation (NSF).

From 2007 to 2010, Wing served as assistant director of the Computer and Information Science and Engineering Directorate at the NSF, where she led the directorate that funds academic computer science research in the United States. In this capacity, she worked with NSF staff to set funding priorities for the academic science and engineering research community, create new programs, and represent the nation’s computer science community. Wing has served twice as head of the Department of Computer Science at Carnegie Mellon University: before her term at NSF and again upon her return to Carnegie Mellon. She was also associate dean for Academic Affairs at Carnegie Mellon for five years, overseeing the educational programs offered by the School of Computer Science.

Wing received her bachelor’s, master’s and doctoral degrees from the Massachusetts Institute of Technology. Her areas of expertise are in the foundations of trustworthy computing, software specification and verification, concurrent and distributed systems, and programming languages and methodology. Her research contributions include the first formal specification language for CLU; programming language support for atomic objects in distributed transactions; with Dr. Maurice Herlihy, the notion of linearizability, a correctness condition for concurrent objects; and with Dr. Barbara Liskov, a semantics for behavioral subtyping. Her contributions in security and privacy include work on attack graphs and attack surfaces, work on formalizing privacy policies for automated compliance checking, and work on trust in networks of humans and computers.

Just in

Series A

Tembo raises $14M

Cincinnati, Ohio-based Tembo, a Postgres managed service provider, has raised $14 million in a Series A funding round.
Around the web

Raspberry Pi is now a public company — TC

Raspberry Pi priced its IPO on the London Stock Exchange on Tuesday morning at £2.80 per share, valuing it at £542 million, or $690 million at today’s exchange rate, writes Romain Dillet. 
Fundings

AlphaSense raises $650M

AlphaSense, a market intelligence and search platform, has raised $650 million in funding, co-led by Viking Global Investors and BDT & MSD Partners.
Around the web

Elon Musk’s xAI raises $6B to take on OpenAI — VentureBeat

Confirming reports from April, the series B investment comes from the participation of multiple known venture capital firms and investors, including Valor Equity Partners, Vy Capital, Andreessen Horowitz (A16z), Sequoia Capital, Fidelity Management & Research Company, Prince Alwaleed Bin Talal and Kingdom Holding, writes Shubham Sharma. 
IT

Capgemini partners with DARPA to explore quantum computing for carbon capture

Capgemini Government Solutions has launched a new initiative with the Defense Advanced Research Projects Agency (DARPA) to investigate quantum computing's potential in carbon capture.