Bhubaneswar Mishra, PhD

Professor; Department of Cell Biology

Mishra Lab

Cell Biology

computer science, algorithmic algebra, robotics, computational aspects of biology, finance



Contact Information

NYU Courant Institute of Mathematical Sciences
251 Mercer Street
New York, NY 10012

Tel: 212-998-3464

Research Summary

Dr. Mishra's research ranges from compilers, algorithms and complexity, logic, and algebra to robotics, finance, internet, and biology. He has industrial experience in Computer Science (Tartan Laboratories, and ATTAP), Finance (Tudor Investment and PRF, LLC), Robotics and Biotechnology (Abraxis, OpGen, and Bioarrays/Immucor). He is editor of Molecular Cancer Therapeutics, AMRX (Applied Mathematics Research Exchange) and Transactions on Systems Biology, and author of a textbook on algorithmic algebra and more than two hundred archived publications.

Dr. Mishra is well-known for his pioneering contributions in creating new disciplines within mathematics, computer science, and technologies: (1983) the first computer-aided-verification tool for hardware using model checking and temporal logic -- its utility demonstrated by finding a timing bug in Seitz’s self-timed FIFO queue element circuit. (1985, with Robert Tarjan of Princeton) a new graph-algorithmic paradigm based on Tutte’s theory of bridges -- applied to finding errors (“sneak paths”) in CMOS circuits; (1987, with Jack Schwartz) first algorithms for grasp planning, subsequently extended to deal with fixturing, work-holding and other related applications in manufacturing; (1990) the field of “Reactive Robitics” (also related to RISC: Reduced Intricacy in Sensing and Control); (1993) authored one of the first text books on “Algorithmic Algebra,” covering various algorithmic questions in symbolic computation; (1994) solution (with a constructive upper bound) to a problem originally posed by Kronecker in 1890’s and extensively discussed by Hensel; (1995, with David Schwartz and Thomas Anantharaman) the first single-molecule technologies to accurately map genomes (“Optical Mapping”); (2000) and the first single-molecule haplotyping algorithm HAPTIG.