Professor Of Computer Science, Mathematics, Engineering & Cell Biology (Courant, Tandon & Langone)
CurrentResearch 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.