Professor Spiros Bakiras, John Jay College of Criminal Justice
Faculty Early Career Development (CAREER) award from the NSF. July 1st for 5 years (total amount of $489,161). The project is entitled "CAREER: Providing Authentication and Privacy in Location-based Services".
Professor Susan L. Epstein, Hunter College
1. "Integrating Problem-driven and Class-based Learning for Constraint Satisfaction"
National Science Foundation, Award #IIS-0811437, 2008-2011, $433,335
2. "Incremental Wizard Ablation: A Novel WOz Paradigm for Learning, Testing and Evaluating Human-Machine Dialogue using Parameterized Corpora"
National Science Foundation, IIS-0744904, 2007-2010, $812,495 (with Rebecca Passonneau)
Distinguished Professor Gabor T. Herman, The Graduate Center
1. Image Processing in Biological 3D Electron Microscopy, National Institutes of Health, HL070472, 2001-2009
Total award for the last four years was $1,000,000 in direct cost (plus overhead as charged by the RF).
Assistant Professor Matt Huenerfauth, Queens College
1. "Learning to Generate American Sign Language Animation through Motion-Capture and Participation of Native ASL Signers"
National Science Foundation, Award #0746556, 2008-2013, $581,496
2. "Generating Animations of American Sign Language"
Siemens A&D UGS PLM Software, GO PLM Grant Program, 2007-2011, $633,150
3. NSF CAREER Award $581,496 over five years. The project is entitled "Learning to Generate American Sign Language Animation through Motion-Capture and Participation of Native ASL Signers
Professor Ping Ji, John Jay PI:, Professor Richard Lovely, Sociology Dept., John Jay Co-PI:
1. NSF “Collaborative Research: A Northeast Partnership for Developing the Information Assurance Workforce”
Grant Amount: $211,574 (over 2 years from Sept. 08)
Professor Xiandong Li, NYC Tech
1. "Collaborative Project: An Extensible Software Platform for a Virtual Cyber Security Laboratory”
NSF (9/08 – 8/10), $25,126
2. “Secure Web Development Teaching Modules”
NSF (7/09 – 6/11), $49,944
Professor Ioannis Stamos, Hunter College
1. NSF Robust Intelligence, "RI: Small: Modeling Cities by Integrating 3D and 2D Data'', IIS-0915971, September 2009 - August 2012 (Principal Investigator), $474,963.
2. NSF MSC, "MSC: Sequential Classification and Detection via Markov Models in Point Clouds of Urban Scenes'', CCF-0916452, September 2009 - August 2012 (Principal Investigator). With Prof. Olympia Hadjiliadis of Brooklyn College (co-PI), $379,998.
3. NSF Major Research Instrumentation (MRI), "MRI: Acquisition of Range-Scanning and Rapid Prototyping Equipment for 3D Urban Modeling'', CNS-0821384 September 2008 - August 2011 (Principal Investigator), $99,500 (NSF) + $42,856 (Hunter College co-share).
Professor Olympia Hadjiliadis, Brooklyn College
1. NSF-CCF # 0916452 , MSC Sequential Classification and Detection via Markov Models in Point Clouds of Urban Scenes, $380, 000, 3 years, PI: Professor Ioannis Stamos, Co-PI: O. Hadjiliadis, (Recommended for funding on 07-15-09 by Program Director R. Beigel). Start date: 09-01-09.
2. NSF-DMS-IGMS # 0929317, Sequential Detection and Classification in 3D Computer Vision, $100,000, 1year, PI: O. Hadjiliadis, Co-PI: Dean L. Hainline (for institutional support) (Recommended for funding on 06-18-09 by Program Director D. Evasius). Start date: 09-01-09
3.NSA-MSP-Young Investigator’s program #081103, Quickest detection in correlated multi-sensor systems, $15,000/year , 1+1 years (Selected for funding by Director H. L. Garten ). Start date: 02-01-10.
Distinguished Professor Sergei Artemov, Graduate Center PI and Professor Mel Fitting, Lehman College
1. Co-PI, $375,000/three years for "Justification Logic and Applications"
Professor Virginia Teller, Hunter College
1. Virginia Teller (co-PI), Hunter, NIH, Curricular and Pedagogical Innovations in Quantitative Biology, five years (2008-2013), $1,293,964. Co-PI Adrienne Alaie and PI Weigang Qiu are in the Department of Biological Sciences at Hunter
Professor Zhigang Zhu, The City College
1. PI “A System Approach to Adaptive Multi-modal Sensor Designs”, under the AFOSR Discovery Challenge Thrusts (DCTs).
The Co-PI Professor Harvey Rhody at the Rochester Institute of Technology. This is a four-year grant for $1,234,417, April 1, 2008
Professor Nancy Griffeth (Lehman College) is a member of a multidisciplinary team that has just received a five-year, $10 million grant from the National Science Foundation's Expeditions in Computing program to create revolutionary computational tools that will advance science on a broad array of fronts, from discovering new cancer treatments to designing safer aircraft. The researchers will combine Model Checking and Abstract Interpretation, two methods that have been successful in finding errors in computer circuitry and software, and extend them so they can provide insights into models of complex systems, whether they are biological or electronic.
Professor Griffeth will be extending earlier research on model discovery for network testing and management, to apply to biological and embedded systems. She is also organizing an yearly undergraduate workshop on modeling complex systems, open to all CUNY senior college undergraduates. It will be held each year at Lehman College in January. The first workshop will focus on modeling biological systems, and students in biology and chemistry will be encouraged to apply.
This Expedition project focuses on far-reaching and transformative research into formal techniques based on Model Checking and Abstract Interpretation (MCAI) for analyzing the behavior of complex embedded and dynamical systems. Traditional MCAI has a 30-year record of success at checking properties of the behavior of discrete systems automatically, and has been used to detect subtle bugs in a variety of hardware and software applications, ranging from microprocessor designs and communication protocols to railway-switching systems and satellite-control software.
This project will extend the MCAI paradigm to reasoning about properties of models of physical systems that include continuous and stochastic behavior, such as those found in biological and embedded control systems. Specific research thrusts include model discovery/system identification for stochastic and nonlinear hybrid systems; methods for generating sound model abstractions to simplify the reasoning process; and next-generation algorithms for analyzing the behaviors of these models. Challenge problems in the areas of pancreatic-cancer modeling, atrial-fibrillation detection, distributed automotive control, and aerospace control software provide technology drivers and testbeds for the results obtained in the course of the project.