#20 Vozrozhdenia Street Floors 2-4 espb02 St. Petersburg, 199188
Dima Nadezhin is a Staff Engineer for Sun Microsystems Laboratories, working on the Electric VLSI Design System project and with the VLSI Research Group.
His research interests include asynchronous circuits; concurrency, verification and formal methods; interval analysis, computing, and applications; layout, using Electric software, for experimental chips with open source; and practical automated reasoning.
* MASc Applied Mathematics 1986, Institute of Physics and Technology, Dolgoprudny, Russia
