Christian Borgs

American computer scientist

Christian Borgs
Nationality	American, German
Alma mater	University of Munich^[1]
Spouse	Jennifer Chayes
Scientific career
Fields	Computer Science, Mathematical Physics
Institutions	Free University of Berlin University of Leipzig Microsoft Research University of California, Berkeley
Doctoral advisor	Erhard Seiler

Christian Borgs is a German-American computer scientist and mathematical physicist.

Biography

He is a professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley. Previously, he was the deputy managing director of Microsoft Research New England in Cambridge, Massachusetts, which he co-founded in 2008.^[2]^[3] Borgs' research includes developing the theory of graphons, computational analyses of the folk theorem (game theory), the planted clique, and the partition problem. For prior work on phase transitions, he was awarded the Karl Scheel Prize.^[4]

Borgs is a fellow of the American Mathematical Society^[5] and of the American Association for the Advancement of Science.^[6]

References

^ "Christian Borgs". Microsoft. Retrieved 2019-05-02.
^ Microsoft to open first East Coast Research Lab in Cambridge Boston.com. By Robert Weisman. Retrieved May 2, 2019.
^ Microsoft Research Lab Opens Quietly Next to MIT By Robert Buderi. Retrieved May 2, 2019.
^ The Karl Scheel Award Winners 1998–1989 Berlin Physics Society. Retrieved May 2, 2019.
^ List of Fellows of the American Mathematical Society, retrieved 2019-05-02.
^ "AAAS Fellows" (PDF). aaas.org. Retrieved 2019-05-02.

Microsoft Research (MSR)

Main
projects

Languages, compilers	Bartok Bosque Cω F* Lean P Project Verona Phoenix Polyphonic C# SecPAL
Distributed–grid computing	BitVault Confidential Consortium Framework DeepSpeed Orleans
Internet, networking	AjaxView Avalanche Conference XP Gazelle HoneyMonkey Penny Black Wallop WikiBhasha
Other projects	Automatic Graph Layout Cognitive Toolkit Digits Holoportation IllumiRoom Image Composite Editor Infer.NET LightGBM LiveStation MyLifeBits Neural Network Intelligence NodeXL OneFuzz PhotoDNA SEAL SLAM T2 Temporal Prover WorldWide Telescope Z3 Theorem Prover
Operating systems	Barrelfish HomeOS Midori Singularity Verve
APIs	Accelerator Dryad Joins mimalloc SXM
Launched as products	C# Comic Chat Detours F# Sideshow PixelSense (TouchLight) SenseCam ClearType Group Shot Allegiance TrueSkill Songsmith Xbox Kinect