Background
Kishinevsky, Michael Alexander was born on November 27, 1956 in St. Petersburg, Russia. Son of Aleksander N. and Valentina G. (Pomeranceva) Kishinevsky.
(Examines the theory and design of self-timed systems. The...)
Examines the theory and design of self-timed systems. The logical design of self-timed circuits (STCs) provides a focal point for, on the one hand, those interested in formal models of parallel computation and, on the other, hardware designers. The approach taken by the authors is to address general issues concerning the very nature of concurrency, as well as to demonstrate the particular features of asynchronous design. The book presents formal models of the specification and verification of parallel processes and describes methods for self-timed circuit synthesis and analysis. It is augmented by a demonstration-version of a CAD system called FORCAGE which consists of subsystems of behavior verification, self-timed circuit analysis and synthesis. The system can be run on a PC.
http://www.amazon.com/gp/product/0471935360/?tag=2022091-20
educator computer science researcher
Kishinevsky, Michael Alexander was born on November 27, 1956 in St. Petersburg, Russia. Son of Aleksander N. and Valentina G. (Pomeranceva) Kishinevsky.
Master of Science in Computer Science (honorary), Electrotech. University, St. Petersburg, 1979. Doctor of Philosophy in Computer Science, Electrotech.
University, St. Petersburg, 1982.
Engineer research unit, Leningrad Electro Mech. Company, St. Petersburg, 1979; research assistant, Mathematics Economics Institute, Russian Academy Science, St. Petersburg, 1979-1982; researcher, Mathematics Economics Institute, Russian Academy Science, St. Petersburg, 1987-1989; senior researcher, Len Sistemo Technika, St. Petersburg, 1983-1987; postdoctoral, Institute Micro-Electronics, Zelenograd, Russia, 1991; senior researcher, Research and Development Coop Trassa, St. Petersburg, 1988-1992; visiting associate professor, Technology U. Denmark, 1992-1994; professor computer science, U Aizu, Aizu Wakamatsu, Japan, since 1994. Visiting researcher U. Newcastle upon Tyne, England, 1994, 95.
(Examines the theory and design of self-timed systems. The...)
Member Institute of Electrical and Electronics Engineers (senior ), Association Computing Machinery, Computer Society.
Married Elena B. Nikonova, February 10, 1979. Children: Ekaterina, Eugene.