Lev Nachmanson

I’m a Research Software Development Engineer of the VIBE group of Microsoft Research. Microsoft Automatic Graph Layout, GLEE in the past, is my current project.  Microsoft Automatic Graph Layout  is a program drawing graphs. Before joining VIBE, 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 FSM viewing and FSM traversal algorithms.

Before moving to Redmond, WA, I was a manager of the Geometry and Kinematics team of Tecnomatix, an Israeli software company. Over there I was involved in

• Collision Detection in dynamic environment: optimized spatial building of the volume hierarchy tree, analyzing of two rigid body position status as separation, contact or penetration including the penetration depth calculation,
• Level Of Details: preprocessing of big tessellated data to enable its fast but still realistic drawing,
• 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 geometry designing using AG-library as the geometry engine,
• interfaces between different geometry formats: DXF, IGES, Unigraphics, Robface.

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