Dr. Venkatesh Mysore

I have now joined DE Shaw Research, New York. Please use m.p.venkateshATgmail.com to reach me.

I was a full-time assistant research scientist at The Courant Institute of Mathematical Sciences, NYU. I completed my Ph.D. in Computer Science at NYU under the guidance of Dr. Bud Mishra (Advisor), Dr. Amir Pnueli and Dr. Jane Hubbard. I specialized in the fields of Hybrid Systems, Model Checking, Bioinformatics and Systems Biology, and was also a member of the Simpathica project working on modeling, simulating and analyzing biochemical processes. I worked on Algorithmic Algebraic Model Checking (AAMC) and developed Tolque -- a tool for symbolic algebraic model-checking of semi-algebraic hybrid automata, with a focus on genetic regulatory and metabolic networks. I also worked on large-scale hybrid-agent modeling, simulation and analysis as part of the NYU Centre for Catastrophe Preparedness and Response (CCPR). I joined The NYU Bioinformatics Group in 2002 as a full-time Junior Research Scientist on the Valis project to help develop an integrated bioinformatics tool with  multi-lingual support. Previously, I worked with Dr. Thomas Anantharaman at the University of Wisconsin at Madison during my Masters in Computer Science (May'02). As part of the Gentig project, we worked with Optical Mapping data from Dr. David Shwartz's lab and developed Bayesian algorithms for contig-reassembly and polymorphism detection. My other research area has been the SVM-based prediction of DNA-binding motifs and proteins, at Dr. Burkhard Rost's CUBIC lab at Columbia University, starting summer of 2004. My strong foundations in Computer Science & Engineering were laid at The Indian Institute Of Technology (IIT) at Kharagpur, where I obtained my B.Tech (Hons) degree in May 2000.