the picture     Lev Nachmanson

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 moving to Redmond, WA, I was the manager of the Geometry and Kinematics team of Tecnomatix, an Israeli software company. Over there I was involved in

In Russia I was developing Computer Aided Design systems and teaching in the Ural State University of Yekaterinburg, Russia. I received my PHD on General Topology in the same university, that later became the Ural State University.


Monadic decompositions, Margus Veanes, Nikolaj Bjorner, Lev Nachmanson, Sergey Bereg: CAV 2014, pp. 628-645

Drawing Permutations with Few Corners, Sergey Bereg, Alexander E. Holroyd, Lev Nachmanson, and Sergey Pupyrev: Proceedings of 21th International Symposium on Graph Drawing (GD'13), pp. 484-495, 2013

Edge Routing with Ordered Bundles, Sergey Pupyrev, Lev Nachmanson, Sergey Bereg, Alexander E. Holroyd: Proceedings of 19th International Symposium on Graph Drawing (GD'11), pp. 136-147, 2011

Improving Layered Graph Layouts with Edge Bundling, Sergey Pupyrev, Lev Nachmanson, Michael Kaufmann: Proceedings of 18th International Symposium on Graph Drawing (GD'10), pp. 329-340, 2010

Fast Edge-Routing for Large Graphs, Tim Dwyer, Lev Nachmanson, Graph Drawing 2009: 147-158

 Visual analysis of importance and grouping in software dependency graphs, Christian Pich, Lev Nachmanson, George G. Robertson, September 2008,

 A Scalable Visualization Tool for Mapping Multiple Traits to Large Evolutionary Trees, SoftVis '08: Proceedings of the 4th ACM symposium on Software visualization, Bongshin Lee, Lev Nachmanson, George Robertson, Jonathan M. Carlson, and David Heckerman (2009) PhyloDet: Bioinformatics, Vol. 25, No. 19, pp.2611-2612. (Applications Note)

 Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, and Lev Nachmanson, Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer, in Formal Methods and Testing, vol. 4949, pp. 39-76, Springer Verlag, 2008

 Lev Nachmanson, George Robertson, and Bongshin Lee (2007) Drawing Graphs with GLEE, Proceedings of GD 2007, Lecture Notes in Computer Science, Vol. 4875, pp. 389-394.

 Play to Test, Andreas Blass, Yuri Gurevich, Lev Nachmanson, and Margus Veanes,, in FATES 2005, Springer Verlag, July 2005

 Testing Concurrent Object-Oriented Systems with Spec Explorer, Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes, in FM, Springer, 2005

 Optimal strategies for testing nondeterministic systems, Lev Nachmanson,  Margus Veanes, Wolfram Schulte, Nikolaj Tillmann, Wolfgang Grieskamp, , ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis, Volume 29 Issue 4, July 2004

 Towards a Tool Environment for Model-Based Testing with AsmL, Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes, in FATES 2003, Springer Verlag, 2004

 Model-Based Testing with AsmL .NET, Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes, in 1st European Conference on Model-Driven Software Engineering, 2003

 Свойство Линделефа и теснота локально выпуклого пространства, Л.Б.Нахмансон, Матем. заметки, 47:6 (1990), 67–73 (In Russian)

 О тесноте Lp(X) линейно упорядоченного компакта Х, Л.Б. Нахмансон, Уральский университет, c.71-74, УДК 513.83, 1987

 Число Суслина и калибры кольца непрерывных функций, Нахмансон Л.Б., Известия вузов, Математика, 1984, #3, с.49-55

 The Lindelöf property in function spaces, L.B. Nachmanson,, V Tiraspolsk. simp. po obshch. topol. i ee prilozh p. 183, Kishinev 1985 (In Russian)

 О непрерывных образах σ -произведений, Нахмансон Л.Н., В кн.: Топология и теория множеств, Ижевск, 1982, с.11-15

 On bicompacta lying in σ-products, L.V. Nahmanson and N. N. Yakovlev, Comment. Math. Univ. Carolin., 22, 705-719 (1981) (in Russian)