New York University

Faculty Member, Mathematics

About

Bhubaneswar Mishra is a professor of computer science and mathematics at NYU's Courant Institute of Mathematical Sciences, professor of human genetics at Mt. Sinai School of Medicine, and a professor of cell biology at NYU School of Medicine. Mishra has a degree in Physics from Utkal University, in Electronics and Communication Engineering from Indian Institute of Technology (IIT), Kharagpur, and MS and PhD degrees in Computer Science from Carnegie-Mellon University. Mishra is also a visiting scholar at CSHL's Institute of Quantitative Biology, and an adjunct professor at Tata Institute of Fundamental Research (TIFR)  in Mumbai, India. From 2001-04, he was a professor at the Watson School of Biological Sciences, Cold Spring Harbor Lab (CSHL). He is a fellow of various professional societies (AAAS, ACM, IEEE). He is a NYSTAR Distinguished Professor (2001) and an IIT, Kharagpur Distinguished Alumnus (2011).


Mishra's research has ranged 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. 

Bhubaneswar 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) the first single-molecule haplotyping algorithm HAPTIG, etc.

Contact Information