Ana səhifə

Lev Nachmanson education

Yüklə 38 Kb.
ölçüsü38 Kb.
Lev Nachmanson

Ph.D., General Topology, Ural State University (USSR), 1985

B.S., Mathematics, Ural State University (USSR), 1979

Microsoft Research (Redmond)

Designing and implementing Microsoft Automatic Graph Layout tool. The tool was shipped with Visual Studio Ultimate 2010, is going to ship with the next version of Visual Studio 2012, and also is sold independently. The tool can be executed at

Model Based testing tool Spec Explorer

Compiler construction: AsmL compiler

12 patent applications.

Tecnomatix (Israel)

3-D geometry algorithms implemented in software:

Collision detection in dynamic environment and related topics: optimized spatial building of the volume hierarchy tree, analyzing of two rigid body position status as separation, contact or penetration.

Level Of Details: preprocessing of big tessellated data to enable it's fast but still realistic rendering.

Triangle Strip search in a polygonal mesh.

Swept Volume and Available Space calculation using flood or region growth approach in a voxel space.

Pipe and shank functionality with AG-library as geometry engine.

CAD interfaces: DXF, IGES, Unigraphics. Lex and YACC extensive usage.

Implementing a viewer of 3d-geometry with Cosmo 3-D.

Implementing a viewer of 3d-geometry with Open Inventor.

Zvi Hava Software Service LTD (Israel)

Hidden line removal algorithms: z-buffer, Depth Sort and BSP tree algorithms. Stereo viewer of AutoCad DXF files with Open GL for glasses with red and blue filters.

Ural Machine Building Plant (USSR)

2.5-D CAD/CAM system for NC.

Design of Bezier and Coons surfaces for press form production.

Preparation of NC program for milling.

2-D CAD/CAM system of design and NC of 2-D profiles.

Ural State University (USSR)

Algorithms for routing and placement for VLSI.


1999 to present: Principal Research Software Development Engineer in Microsoft Research (Redmond)

1998-99: Manager of Geometry and Kinematics team, Tecnomatix (Israel)

1994-98: Software Engineer, Tecnomatix (Israel)

1993-94: Software Engineer, Zvi Hava Software Service LTD (Israel)

1991-93: Software Engineer, Incode Software Systems (Israel)

1987-91: Senior Scientific Engineer, Laboratory of Mathematical Models,

Ural Machine Building Plant (USSR)

1985-87: Algorithm Researcher, Ural State University. VLSI laboratory, (USSR)

1979-82: Software Engineer, Ural State University Computer Site, (USSR)


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)


C#, C++ (STL), C, SQL, Assembler for IBM PC


Russian, English, Hebrew, American Sign Language (basic), Chinese Mandarin (student)

Verilənlər bazası müəlliflik hüququ ilə müdafiə olunur © 2016
rəhbərliyinə müraciət