Portrait of Lev Nachmanson

Lev Nachmanson

Principal Research Software Development Engineer

About

I am a Principle Research Software Development Engineer of the RISE group of Microsoft Research. Microsoft Automatic Graph Layout, GLEE in the past, is one of my current projects. Microsoft Automatic Graph Layout  is .NET toof for drawing graphs. It is included in Visual Studio Ultimate 2010, and in Visual Studio Professional 2012 and higher versions of Visual Studio. In addition to Graph Drawing I worked on stochastic games, test strategies,  and general algorithms on graphs. This work has been done while developing Spec Explorer, an advanced model-based testing tool. During the Spec Explorer project I was mainly responsible for the Finite State Machine viewing and graph traversal algorithms.

Before joining Microsoft, I was the manager of the Geometry and Kinematics team of Tecnomatix, an Israeli software company. I received my PHD on General Topology  the Ural State University of Yekaterinburg, Russia (now the Ural State University), where I also taught and developed Computer Aided Design systems.

Projects

Microsoft Automatic Graph Layout

Established: December 5, 2007

MSAGL is a .NET tool for graph layout and viewing. It was developed in Microsoft by Lev Nachmanson, Sergey Pupyrev, Tim Dwyer and Ted Hart. MSAGL is available as open source here. All samples use the C# language. The Distribution…

Publications

2016

2015

2014

2013

2010

2009

2008

2007

2006

2005

2004

2003

2001