bud mishra
Professor Of Computer Science, Mathematics, Engineering & Cell Biology (Courant, Tandon & Langone) at Courant Institute of Mathematical Sciences- Claim this Profile
Click to upgrade to our gold package
for the full feature experience.
-
English Native or bilingual proficiency
-
Odia Native or bilingual proficiency
-
BLISS Full professional proficiency
-
GNAL Full professional proficiency
-
C Full professional proficiency
-
LISP Full professional proficiency
-
INTERCAL (The Complier Language With No Pronounceable Acronym) Limited working proficiency
-
APL Professional working proficiency
-
Ada Full professional proficiency
-
EGAU Professional working proficiency
-
Julia Elementary proficiency
Topline Score
Bio
james gimzewski FRS
eagle maths guy in bio
james gimzewski FRS
eagle maths guy in bio
james gimzewski FRS
eagle maths guy in bio
james gimzewski FRS
eagle maths guy in bio
Experience
-
NYU Courant Institute of Mathematical Sciences
-
United States
-
Higher Education
-
1 - 100 Employee
-
Professor Of Computer Science, Mathematics, Engineering & Cell Biology (Courant, Tandon & Langone)
-
Sep 1985 - Present
Research and Education: Computer Science, Logic, Verification and Model Checking, Complexity Theory, Algorithms, Graph Theory and Combinatorics, Computer Algebra, Geometry and Topology, Robotics and Control Theory (Linear/Nonlinear, Holonomic/Nonholonomic), Bioinformatics, Genetics, Evolution, Systems Biology, Biotechnology, Translational Medicine, Cancer, Immune Systems, Therapy Design, Data Science, Statistical and Inductive Inference, Causality, Social Networks, Signaling Games and… Show more Research and Education: Computer Science, Logic, Verification and Model Checking, Complexity Theory, Algorithms, Graph Theory and Combinatorics, Computer Algebra, Geometry and Topology, Robotics and Control Theory (Linear/Nonlinear, Holonomic/Nonholonomic), Bioinformatics, Genetics, Evolution, Systems Biology, Biotechnology, Translational Medicine, Cancer, Immune Systems, Therapy Design, Data Science, Statistical and Inductive Inference, Causality, Social Networks, Signaling Games and Deception, Privacy and Information Asymmetry, Costly Signaling, Game Theory and Distributed Systems, Trust, Finance, Market Microstructures, ICO/STO, Crypto currencies and Smart Contracts, Cyber Security, Internet, IoT, IoHT, IoMT, Entrepreneurship, ...
-
-
Principal Investigator, Robotics Research Laboratory
-
1985 - 1998
Grasping, Dexterous Manipulation, Workholding, Mechanism Design, Motion Planning, Control Theory, Combinatorial Geometry, Algebraic Geometry, Differential Geometry (applied to robotics), Educational Robotics, Four-Finger Manipulator, Utah-MIT Hand, Mobile Robots and Manipulation Planning. Jointly with JT Schwartz & M Sharir.
-
-
-
Evizia Inc.
-
Nanotechnology Research
-
1 - 100 Employee
-
Co-Founder / Advisor
-
May 2022 - Present
Life science tools that Identify Genomic Variations Life science tools that Identify Genomic Variations
-
-
-
World Scientific Publishing
-
Singapore
-
Book and Periodical Publishing
-
100 - 200 Employee
-
Honorary Advisor IJAIRR (Editorial Board)
-
Mar 2023 - Present
Artificial intelligence in Science and Robotics Research; See https://www.worldscientific.com/page/ijairr/editorial-board Artificial intelligence in Science and Robotics Research; See https://www.worldscientific.com/page/ijairr/editorial-board
-
-
-
Cold Spring Harbor Laboratory
-
United States
-
Research Services
-
700 & Above Employee
-
Visiting Scholar, Simons Center for Quantitative Biology
-
Dec 2008 - Present
Quantitative Biology
-
-
Advisor, Wigler Lab
-
Aug 2016 - Aug 2016
-
-
-
NYU Stern School of Business
-
United States
-
Higher Education
-
700 & Above Employee
-
Chief Scientist, Endless Frontier Lab
-
2019 - Present
Endless Frontier Labs, founded at New York University-Stern School of Business, guide scientific and technical founders through a performance-driven mentoring process. Participating startups receive access to mentorship, venture capital, science expertise, and execution support. The program is completely free and does not take any equity in startups. Endless Frontier Labs is open to early-stage science and technology-based startups. No NYU affiliation or relocation to NYC required. The… Show more Endless Frontier Labs, founded at New York University-Stern School of Business, guide scientific and technical founders through a performance-driven mentoring process. Participating startups receive access to mentorship, venture capital, science expertise, and execution support. The program is completely free and does not take any equity in startups. Endless Frontier Labs is open to early-stage science and technology-based startups. No NYU affiliation or relocation to NYC required. The program is ideal for university-affiliated founders at the pre-seed or seed stage. EFL is complementary to and operates in partnership with other programs and centers for entrepreneurship at NYU.
-
-
Chief Scientist, Creative Destruction Lab
-
2018 - 2019
CDL-New York City aims to bring together, in a nine-month program, three groups: highly successful serial entrepreneurs and angel investors; founders of pre-seed stage startups in science and technology; and Stern faculty and MBA students. Startups selected for the program benefit from opportunities to raise capital and receive guidance from the Lab’s Chief Scientists – world-renowned NYU faculty drawn from science and technology disciplines, including researchers who’ve successfully… Show more CDL-New York City aims to bring together, in a nine-month program, three groups: highly successful serial entrepreneurs and angel investors; founders of pre-seed stage startups in science and technology; and Stern faculty and MBA students. Startups selected for the program benefit from opportunities to raise capital and receive guidance from the Lab’s Chief Scientists – world-renowned NYU faculty drawn from science and technology disciplines, including researchers who’ve successfully commercialized their own companies. Startups also receive business development support from Stern faculty and MBA students through an affiliated experiential-based CDL course.
-
-
-
QI-Cap
-
Financial Services
-
1 - 100 Employee
-
Advisor
-
Sep 2023 - Present
-
-
-
prospero.ai
-
United States
-
Financial Services
-
1 - 100 Employee
-
Advisor (SAB) Prospero
-
Jun 2019 - Present
FinTech & AI. Prospero rewards its users for sharing their stock picks. Its AI uses the data to learn the best financial models. FinTech & AI. Prospero rewards its users for sharing their stock picks. Its AI uses the data to learn the best financial models.
-
-
-
Fondazione Alessandro Volta
-
Italy
-
Research Services
-
1 - 100 Employee
-
Director, Lake Como Summer School on Cancer, Evolution and Complexity
-
2014 - Present
The program focuses on both cancer biology and mathematical and statistical methods used in analyzing the datasets currently being produced by several laboratories around the world. The program focuses on both cancer biology and mathematical and statistical methods used in analyzing the datasets currently being produced by several laboratories around the world.
-
-
-
New York Genome Center
-
United States
-
Biotechnology
-
100 - 200 Employee
-
Visitor/Mentor (Imielinski-Lab)
-
Aug 2022 - Present
-
-
Affiliate Member at NYGC
-
2018 - Present
Translating genomic research into the development of new treatments, therapies and therapeutics against human disease.
-
-
-
Western Governors University
-
United States
-
Higher Education
-
700 & Above Employee
-
Advisory Board Member, Department of Computer Science and Software Engineering
-
Apr 2023 - Present
-
-
-
Icahn School of Medicine at Mount Sinai
-
United States
-
Hospitals and Health Care
-
700 & Above Employee
-
Adjunct Professor, MSSM
-
2003 - Present
Human Genetics (System biology of HLA, KIR, etc in innate NK and adaptive immunity) Human Genetics (System biology of HLA, KIR, etc in innate NK and adaptive immunity)
-
-
-
RIFFIT
-
United States
-
E-Learning Providers
-
1 - 100 Employee
-
Advisor
-
Feb 2020 - Present
Singing AI. For neurological applications. Singing AI. For neurological applications.
-
-
-
Insilico Medicine
-
United States
-
Biotechnology Research
-
100 - 200 Employee
-
Advisor (SAB), InSilico.
-
Jun 2014 - Present
AI, ML and Data Science in Drug Discovery, Preventive Medicine; Ageing & Age-Related Diseases AI, ML and Data Science in Drug Discovery, Preventive Medicine; Ageing & Age-Related Diseases
-
-
-
spamhaus.nyc
-
United States
-
Organizer
-
Sep 2012 - Present
-
-
-
RxCovea 2.0
-
New York City Metropolitan Area
-
Principal Investigator
-
Mar 2020 - Present
Signaling game applied to covid virology, immunology, neuroscience, security and technology. Primarily, Project Covfefe (Cure Covid for ever and for everyone). Signaling game applied to covid virology, immunology, neuroscience, security and technology. Primarily, Project Covfefe (Cure Covid for ever and for everyone).
-
-
-
Mindfire Solutions
-
Software Development
-
700 & Above Employee
-
Scientific Advisor
-
2001 - Present
-
-
-
MR Technology (single molecule nanomapping)
-
Greater New York City Area & Virginia Area
-
Founder, MRTech
-
Apr 2012 - Mar 2022
Clinical Data Science based on the novel/proprietary Nanomapping technology - improving speed, accuracy and cost over earlier optical mapping. MRTechnology focuses on Genomics, Variant/Base calling, Structural Variants, Haplotypes, Compression, Hardware Acceleration, Security, Mapping and Sequencing. Clinical Data Science based on the novel/proprietary Nanomapping technology - improving speed, accuracy and cost over earlier optical mapping. MRTechnology focuses on Genomics, Variant/Base calling, Structural Variants, Haplotypes, Compression, Hardware Acceleration, Security, Mapping and Sequencing.
-
-
-
Genetic Leap
-
United States
-
Biotechnology Research
-
1 - 100 Employee
-
Advisor
-
Aug 2018 - Dec 2021
Elucidating the causal genetic features at the root of disease in order to bring about curative therapeutics and swift diagnostics for everyone. Elucidating the causal genetic features at the root of disease in order to bring about curative therapeutics and swift diagnostics for everyone.
-
-
-
Pypestream
-
United States
-
Software Development
-
1 - 100 Employee
-
Advisor
-
Jan 2021 - Jul 2021
AI/ML. AI/ML.
-
-
-
National Cancer Institute (NCI)
-
United States
-
Research Services
-
700 & Above Employee
-
Principal Investigator, Center for Topology of Cancer Evolution and Heterogeneity
-
May 2015 - Apr 2021
This is an NCI funded multidisciplinary, multi-institutional (Columbia, Courant, Stanford, Princeton, etc.) research center that supports research combining mathematical and experimental techniques for the study of cancer. This is an NCI funded multidisciplinary, multi-institutional (Columbia, Courant, Stanford, Princeton, etc.) research center that supports research combining mathematical and experimental techniques for the study of cancer.
-
-
-
NYU Tandon School of Engineering: Graduate School
-
United States
-
Higher Education
-
1 - 100 Employee
-
Professor and Ex-Director, Bioinformatics Program of Tandon Online
-
2015 - Apr 2021
Teaching Algorithms and Data Structures for Bioinformatics. As director, developed and directed a new online program focusing on Bioinformatics: Courses on Algorithms, Biotechnology, Statistics, Problem Solving/Prototyping, Machine Learning, Biostatistics, Genomics, Transcriptomics/Proteomics, Population Genetics, Translational Genetics, etc. Teaching Algorithms and Data Structures for Bioinformatics. As director, developed and directed a new online program focusing on Bioinformatics: Courses on Algorithms, Biotechnology, Statistics, Problem Solving/Prototyping, Machine Learning, Biostatistics, Genomics, Transcriptomics/Proteomics, Population Genetics, Translational Genetics, etc.
-
-
-
Compugen
-
Israel
-
Biotechnology Research
-
1 - 100 Employee
-
Advisor
-
Aug 2019 - Dec 2020
Clinical-stage drug discovery and development company with a unique, broadly applicable, predictive discovery infrastructure. Advancing early-stage immuno-oncology programs. Harnessing the immune system to eradicate cancer. Clinical-stage drug discovery and development company with a unique, broadly applicable, predictive discovery infrastructure. Advancing early-stage immuno-oncology programs. Harnessing the immune system to eradicate cancer.
-
-
-
NYU Tandon Future Labs
-
United States
-
IT Services and IT Consulting
-
1 - 100 Employee
-
Mentor, NYU/ffVC AI NexusLab,
-
Sep 2016 - Dec 2020
http://futurelabs.engineering.nyu.edu/ainexuslab/ Member of a network of mentors that include current CEOs of top AI companies, AI domain experts, corporate and investment leaders, and NYU and NYC faculty experts in AI. Mentors are brought in to fulfill specific team needs throughout the program. http://futurelabs.engineering.nyu.edu/ainexuslab/ Member of a network of mentors that include current CEOs of top AI companies, AI domain experts, corporate and investment leaders, and NYU and NYC faculty experts in AI. Mentors are brought in to fulfill specific team needs throughout the program.
-
-
-
New York University
-
Higher Education
-
700 & Above Employee
-
Principal Investigator, NYU Bioinformatics Group
-
Sep 1998 - Aug 2020
Biotechnology (Base-calling, Sequencing, Assembly, Haplotypes, Transcriptomic Profiling), NanoTechnology, Game Theory, Signaling Games, Origin of Life, Cancer Systems Biology, Hybrid Systems, Therapy Design, Genomics, Model Building and Model Checking, Propositional Temporal Logic, Supervisory Controller, Ecology, Economics and Politics. Biotechnology (Base-calling, Sequencing, Assembly, Haplotypes, Transcriptomic Profiling), NanoTechnology, Game Theory, Signaling Games, Origin of Life, Cancer Systems Biology, Hybrid Systems, Therapy Design, Genomics, Model Building and Model Checking, Propositional Temporal Logic, Supervisory Controller, Ecology, Economics and Politics.
-
-
-
NYU Tandon School of Engineering
-
Higher Education
-
700 & Above Employee
-
Board Member, NYU-ePoly Online Graduate Program
-
2015 - 2019
Until August 2019. Oversee and provide faculty review of the management, improvement and growth of online learning at NYU's Tandon School of Engineering. Until August 2019. Oversee and provide faculty review of the management, improvement and growth of online learning at NYU's Tandon School of Engineering.
-
-
-
Laboratory for Entrepreneurship in Data Sciences
-
spamhaus, Greater New York City Area
-
Co-Founder/Manager
-
2014 - 2019
Laboratory for Entrepreneurship in Data Sciences is a research group focused on rigorously studying algorithmic, mathematical, engineering, and societal issues that arise in many Internet applications deluged by massive amounts of data. The laboratory builds on research from machine learning, game theory, evolutionary biology, logic and statistical inference from NYU/Courant Institute, but attracts members from all fields and institutions facing many of these shared challenges: Silicon Alley… Show more Laboratory for Entrepreneurship in Data Sciences is a research group focused on rigorously studying algorithmic, mathematical, engineering, and societal issues that arise in many Internet applications deluged by massive amounts of data. The laboratory builds on research from machine learning, game theory, evolutionary biology, logic and statistical inference from NYU/Courant Institute, but attracts members from all fields and institutions facing many of these shared challenges: Silicon Alley, Finance, Advertising and Ad Technology, Philanthropy, Biomedicine and Engineering. Somewhat immodestly (and with apologies to Albert Arnold “Al” Gore), the laboratory aims to reinvent the Internet of the future. Show less Laboratory for Entrepreneurship in Data Sciences is a research group focused on rigorously studying algorithmic, mathematical, engineering, and societal issues that arise in many Internet applications deluged by massive amounts of data. The laboratory builds on research from machine learning, game theory, evolutionary biology, logic and statistical inference from NYU/Courant Institute, but attracts members from all fields and institutions facing many of these shared challenges: Silicon Alley… Show more Laboratory for Entrepreneurship in Data Sciences is a research group focused on rigorously studying algorithmic, mathematical, engineering, and societal issues that arise in many Internet applications deluged by massive amounts of data. The laboratory builds on research from machine learning, game theory, evolutionary biology, logic and statistical inference from NYU/Courant Institute, but attracts members from all fields and institutions facing many of these shared challenges: Silicon Alley, Finance, Advertising and Ad Technology, Philanthropy, Biomedicine and Engineering. Somewhat immodestly (and with apologies to Albert Arnold “Al” Gore), the laboratory aims to reinvent the Internet of the future. Show less
-
-
-
NYU Center for Data Science
-
United States
-
Higher Education
-
1 - 100 Employee
-
Affiliated Member of NYU-CDS
-
2013 - 2019
Causal Data Science, Modal Logic, Empirical Bayes, Suppes Bayes Causal Network (SBCN), stress testing, stratification, agony. Causal Data Science, Modal Logic, Empirical Bayes, Suppes Bayes Causal Network (SBCN), stress testing, stratification, agony.
-
-
-
Software Engineering Institute | Carnegie Mellon University
-
United States
-
Software Development
-
700 & Above Employee
-
Principal Investigator, Center for Malicious Behavior and Model Checking, CMU-SEI & Courant.
-
2012 - 2019
Data Science in Security; Cyber Security, Procurement/Acquisition, Moral Hazard, GATI... Data Science in Security; Cyber Security, Procurement/Acquisition, Moral Hazard, GATI...
-
-
-
Brainiad
-
Advertising Services
-
Data Science Advisor (Brainiad)
-
Sep 2015 - Dec 2017
Design and verification of mathematical models for evaluation of online advertisements; Causality and Signaling Games in Online Advertising. Design and verification of mathematical models for evaluation of online advertisements; Causality and Signaling Games in Online Advertising.
-
-
-
Behold.ai
-
United Kingdom
-
Medical Equipment Manufacturing
-
1 - 100 Employee
-
Technical Advisor/Mentor
-
Feb 2017 - Oct 2017
Technology at the interface of Healthcare and AI. Medical Imaging. Technology at the interface of Healthcare and AI. Medical Imaging.
-
-
-
Genesis Media
-
United States
-
Advertising Services
-
1 - 100 Employee
-
Data Science Advisor
-
May 2014 - Oct 2017
Data Science in Advertising and Marketing Data Science in Advertising and Marketing
-
-
-
Instadat
-
Greater New York City Area
-
Advisor
-
Dec 2013 - Aug 2017
Data Science in Finance Data Science in Finance
-
-
-
IGA - Istituto Di Genomica Applicata
-
Italy
-
Biotechnology Research
-
1 - 100 Employee
-
Scientific Advisor
-
2007 - 2017
-
-
-
Pypestream
-
United States
-
Software Development
-
1 - 100 Employee
-
Advisor, Business Acceleration Board
-
Jan 2016 - Dec 2016
Data Science for AI (Artificial Intelligence): Chatbots. Data Science for AI (Artificial Intelligence): Chatbots.
-
-
-
SeQster
-
San Diego, CA and New York, NY
-
Founder
-
Oct 2013 - Aug 2016
Data Science in Educations and Health; Personal Private Data Market Data Science in Educations and Health; Personal Private Data Market
-
-
-
OpGen, Inc.
-
Biotechnology Research
-
1 - 100 Employee
-
Founder
-
Sep 1999 - Aug 2016
Single-Molecule Whole Genome Mapping, Microbiomics, Microbial Genomics, Pathogen Analysis. Single-Molecule Whole Genome Mapping, Microbiomics, Microbial Genomics, Pathogen Analysis.
-
-
-
NYU Entrepreneurial Institute
-
United States
-
Education Administration Programs
-
1 - 100 Employee
-
Member, Steering Board, NYU (EI) Healthcare Innovation Challenge
-
May 2015 - Jun 2016
-
-
-
National Science Foundation (NSF)
-
United States
-
Research Services
-
700 & Above Employee
-
Principal Investigator, NSF Expedition - Next-Generation Model Checking and Abstract Interpretation
-
Sep 2009 - Aug 2014
This research aimed to gain fundamental new insights into the emergent behavior of complex biological and embedded systems through the use of revolutionary, highly scalable and fully automated modeling and model checking techniques. This research aimed to gain fundamental new insights into the emergent behavior of complex biological and embedded systems through the use of revolutionary, highly scalable and fully automated modeling and model checking techniques.
-
-
-
Arizona Center for Cancer Care
-
United States
-
Hospitals and Health Care
-
1 - 100 Employee
-
Scientific Advisor
-
2007 - 2014
P01 (Targets to Therapeutics in Pancreatic Cancer). P01 (Targets to Therapeutics in Pancreatic Cancer).
-
-
-
Boston University
-
United States
-
Higher Education
-
700 & Above Employee
-
Scientific Advisor (visANT project)
-
2007 - 2012
-
-
-
Abraxis BioScience
-
Biotechnology Research
-
100 - 200 Employee
-
Consultant
-
Oct 2008 - Aug 2011
SMASH (Single Molecule Approaches to Sequencing by Hybridization) SMASH (Single Molecule Approaches to Sequencing by Hybridization)
-
-
-
American Association for Cancer Research
-
United States
-
Non-profit Organizations
-
100 - 200 Employee
-
Senior Editor, Molecular Cancer Therapeutics
-
2003 - 2010
-
-
-
BioArray Solutions
-
United States
-
Biotechnology Research
-
1 - 100 Employee
-
Scientific Advisor
-
2001 - 2010
-
-
-
NYU Langone Health
-
United States
-
Hospitals and Health Care
-
700 & Above Employee
-
Principal Investigator, PLAN C: Planning with Large Agent Networks against Catastrophes
-
2001 - 2008
Planning with Large Agent-Networks against Catastrophes (PLAN C)... It produced an innovative tool for emergency managers, urban planners and public health officials to prepare and evaluate Pareto-optimal plans to respond to urban catastrophic situations. The project was created in the wake of 9-11. http://www.nyu.edu/ccpr/laser/plancinfo.html Planning with Large Agent-Networks against Catastrophes (PLAN C)... It produced an innovative tool for emergency managers, urban planners and public health officials to prepare and evaluate Pareto-optimal plans to respond to urban catastrophic situations. The project was created in the wake of 9-11. http://www.nyu.edu/ccpr/laser/plancinfo.html
-
-
-
National Human Genome Research Institute (NHGRI)
-
United States
-
Research
-
200 - 300 Employee
-
Principal Investigator, Third Generation Sequencing
-
2005 - 2007
Haplotype Sequencing via Single Molecule Hybridization ($1000 Genome Sequencing) Haplotype Sequencing via Single Molecule Hybridization ($1000 Genome Sequencing)
-
-
-
Carnegie Mellon University - School of Computer Science - Language Technologies Institute
-
United States
-
Higher Education
-
1 - 100 Employee
-
Scientific Advisor, Center for Biological Language Modeling,
-
2004 - 2007
Joint NSF project with CMU, MIT, U. Pitt, NRC (Canada), Mathworks, & Medstory. Joint NSF project with CMU, MIT, U. Pitt, NRC (Canada), Mathworks, & Medstory.
-
-
-
ATTAP Technologies (All Things To All People)
-
SoHo, New York City
-
Consultant/Advisor
-
2004 - 2006
Social Networks and Recommender Systems Social Networks and Recommender Systems
-
-
-
Tata Institute of Fundamental Research, Mumbai
-
200 - 300 Employee
-
Adjunct Professor
-
2003 - 2006
-
-
-
Defense Advanced Research Projects Agency (DARPA)
-
United States
-
Defense and Space Manufacturing
-
300 - 400 Employee
-
Principal Investigator, DARPA Bio-Comp
-
Sep 2001 - Aug 2005
Its mission was to support R&D in both DNA computing and computational modeling of cellular systems of interest to the US Department of Defense. Its mission was to support R&D in both DNA computing and computational modeling of cellular systems of interest to the US Department of Defense.
-
-
-
Cold Spring Harbor Laboratory
-
United States
-
Research Services
-
700 & Above Employee
-
Professor
-
Sep 2000 - Aug 2004
Computational Biology, Onco-genomics. Computational Biology, Onco-genomics.
-
-
-
NYU Robert F. Wagner Graduate School of Public Service
-
United States
-
Higher Education
-
100 - 200 Employee
-
Professor, Taub Urban Research Center
-
1999 - 2003
-
-
-
Cornerstone/Pattern Recognition Fund
-
MidTown, New York City
-
Consultant/Developer
-
1995 - 2002
Mathematical Finance, Market Models, Statistical Arbitrage. Mathematical Finance, Market Models, Statistical Arbitrage.
-
-
-
THE TUDOR GROUP
-
United States
-
Investment Management
-
200 - 300 Employee
-
Consultant/Researcher
-
1991 - 1994
Quantitative Finance. Quantitative Finance.
-
-
-
Carnegie Mellon University
-
United States
-
Higher Education
-
700 & Above Employee
-
Research Assistant
-
1980 - 1985
Theoretical Computer Science (P-NP question, Computational Complexity Theory, Graph Algorithms, Temporal Logic and Hardware Verification) and Robotics (Mobile Robots). Supervised by Merrick Furst, Hans Moravec, Ed Clarke, Bob Tarjan and Ravi Kannan. Theoretical Computer Science (P-NP question, Computational Complexity Theory, Graph Algorithms, Temporal Logic and Hardware Verification) and Robotics (Mobile Robots). Supervised by Merrick Furst, Hans Moravec, Ed Clarke, Bob Tarjan and Ravi Kannan.
-
-
-
Tartan Labs Inc
-
United States
-
Software Development
-
Consultant/Researcher
-
1982 - 1984
PQCC (Production Quality Compiler-Compiler), Semantics Analysis (Attributed Grammar Systems), Programming Languages: C, Ada, GNAL, Bliss, etc. Supervised by Bill Wulf, Anita Jones, Guy Steele, et al. PQCC (Production Quality Compiler-Compiler), Semantics Analysis (Attributed Grammar Systems), Programming Languages: C, Ada, GNAL, Bliss, etc. Supervised by Bill Wulf, Anita Jones, Guy Steele, et al.
-
-
-
The Robotics Institute
-
Greater Pittsburgh Area
-
Moravec Lab, Graduate Student Researcher
-
Jun 1981 - Aug 1981
Mobile Robot controllers. Supervised by Hans Moravec et al. Mobile Robot controllers. Supervised by Hans Moravec et al.
-
-
-
LRDE, Electronics and Radar Development Establishment, Govt of India
-
Bengaluru, Karnataka, India
-
Summer Intern
-
May 1979 - Sep 1979
Designed and built a digital asynchronous communication system. Designed and built a digital asynchronous communication system.
-
-
Education
-
Carnegie Mellon University
MS & PhD, Computer Science -
Indian Institute of Technology, Kharagpur
BTech (Hons), Electronics and Elctrical Communication Engineering -
Utkal University
I.Sc. (Hons)