[Home | Research | Teaching | Thoughts]

Henry Cohn Henry Cohn

I'm a principal researcher (and one of three founding members) at Microsoft Research New England in Cambridge, Massachusetts. Previously I was head of the cryptography group at Microsoft Research in Redmond, Washington, and before that, I was a senior researcher in the theory group. I am also an affiliate faculty member in the department of mathematics at the University of Washington.

Research

My principal research projects are currently on sphere packing, energy minimization, and fast matrix multiplication. More broadly, my mathematical interests include discrete geometry, coding theory, cryptography, combinatorics, computational and analytic number theory, and theoretical computer science.

I am particularly interested in concrete problems that turn out to be connected with abstract mathematics (such as the use of harmonic analysis in sphere packing or representation theory in computational algebra). One common theme of my earlier work on the dimer model and recent work on packing and energy minimization is connections with mathematical physics.

My research page includes all my research papers. You can also download my research papers directly from the front to the arXiv, which is one of the best resources on the internet for mathematicians.

Contact Information

Microsoft Research
One Memorial Drive
Cambridge, MA 02142
        Phone: (857) 453-6311
Fax: (425) 93MSFAX (be sure to specify my name on the cover sheet)
E-mail: cohn -at- microsoft -dot- com

You can get directions to Microsoft Research New England here.

Teaching

Although I work in industry, I have an active interest in teaching. I've listed my teaching activities on a separate page.

Professional Background

I received my Ph.D. in mathematics in 2000 from Harvard, where my advisor was Noam Elkies. Before that, I was an undergraduate mathematics major at MIT (in the class of 1995). I was in the theory group at Microsoft Research from 2000 to 2007: I came as a postdoc and became a long-term member of the group a year later. I became head of the cryptography group in 2007 and helped found Microsoft Research New England in 2008.

Other

I've got a web page on which I keep various informal notes, thoughts, and links. My non-research publications can be found here.