Nikolaj Bjorner
Partner Researcher at Microsoft USA
- Role
- Researcher at Microsoft
- Location
- Redmond, WA, US
- LinkedIn followers
- 500 followers
ScienceView LinkedIn profile
Experience
Researcher
Mar 2006 — Present · Redmond, US
Education
Stanford University
Doctor of Philosophy (PhD)
1992 — 1998
Danish Technical University
N/A
1989 — 1992
DIKU - Datalogisk Institut, Koebenhavn's Universitet
N/A
1990 — 1992
Skills
- Algorithms
- Computer Science
- Machine Learning
- Software Engineering
- Distributed Systems
- C++
- C
- C#
- Java
- Python
- Software Development
- Latex
- Artificial Intelligence
- Programming
- Software Design
- Access Control
- Smt
- Program Analysis
- Object Oriented Design
- Data Mining
Find verified contacts for anyone on LinkedIn
Unifers gives sales teams verified emails and direct dials, enriched profiles, and outreach that lands in the inbox.
Free plan included · No credit card required
This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.