Computer Science Funding Awards

  • 2019 Funding Awards
    • Two of our newest CS Assistant Professors have just received NSF CISE Research Initiation Initiative (CRII) grants. These are grants for recently-hired faculty to help them build their research programs.
      Yonghwi Kwon received a grant titled: CRII: SaTC: Secure and Comprehensive Forensic Audit Infrastructure for Transparent Heterogeneous Computing
      Ashish Venkat received a grant titled: CRII: SaTC: Mitigating Software-Based Microarchitectural Attacks via Secure Microcode Customization

    • Lu Feng is the lead PI on a new grant from the Assuring Autonomy International Programme (AAIP). The project is titled “Safe-SCAD: Safety of Shared Control in Autonomous Driving”. She is collaborating with three Co-PIs: Dr. Corina Pasareanu (CMU), Dr. Radu Calinescu (York), and Dr. Inki Kim (UIUC). This AAIP program is a major initiative funded by Lloyd’s Register Foundation and the University of York in UK, aiming to address global challenges in assuring the safety of robotics and autonomous systems. 

      Abstract of the project: Ensuring and assuring the safety of shared control in autonomous driving is very challenging due to the uncertainties associated with measuring the level of situational awareness of safety drivers while not in control of the vehicle, and with the mapping of such measures to control hand-back times and likelihood of success. In this demonstrator project, we will extend, adapt and integrate our recent research and the latest advances from human behavior and cognitive modeling, verification of deep neural networks, and automated controller synthesis to tackle these challenges. We will use an advanced semi-autonomous driving simulator to deliver methods for ensuring and assuring the safety of shared control in autonomous driving, and a demonstrator that leverages these methods. The project will make significant and generalisable contributions to the AAIP Body of Knowledge, in the areas of shared autonomy, training and verification of machine learning, and monitoring of autonomous systems by human operators. 

  • 2018 Funding Awards
    • Jack Stankovic (PI) and Hongning Wang (co-PI), and Karen Rose (University of Tennessee) were awarded $735,433 from the National Science Foundation for their project “SCH: INT: Learning and Improving Alzheimer’s Patient-Caregiver Relationships via Smart Healthcare Technology.” This project develops a monitoring, modeling, and interactive recommendation solution (for caregivers) for in-home dementia patient care that focuses on caregiver-patient relationships.

    • Kevin Skadron won a $30k grant from SRCco Inc. for his JUMP Undergraduate Research Initiative (URI) Program. The purpose of this program is to attract and retain a diverse population of U.S. citizen students at the undergraduate level in science and engineering disciplines relevant to technology-based industries, smart computing, communications and increase the progression of these students to graduate school. This URI will be designed to recruit undergraduate students from underserved populations into research, with the goal of using the research experience to help prepare participants for careers in microelectronics and build the pipeline of students entering graduate school, especially PhD programs. The URI initiative will focus on under-served groups, with a focus on under-represented minorities (URM) and female students.

    • Farzad Farnoud received an NSF award "CIF: NSF-BSF: Small: Collaborative Research: Characterization and Mitigation of Noise in a Live DNA Storage Channel", in collaboration with Mete Civelek from BME, and collaborators from Caltech and Ben Gurion (Israel). The UVA portion of this award is $312,000. 

    • Samira Khan (PI), Baishakhi Ray (Co-PI), and Haiying Shen (Co-PI) were awarded $969,505 from the National Science Foundation (NSF) for "SPX: Integrating Persistent Memory in the Cloud." This award will fund the design of a cloud systems will integrate persistent memory such that it eliminates the IO overhead accessing the slow storage devices.

    • Hongning Wang and Jack Stankovic were awarded an NSF grant from the SCH program, "SCH: INT: Collaborative Research: Learning and Improving Alzheimer's Patient-Caregiver Relationships via Smart Healthcare Technology". Collaborators included Karen Rose (Nursing) and Kristina Gordon (Psychology) at the Univeristy of Tennessee. Learn more about the award here

    • Mark Sherriff was awarded $68,322 from NSF for " NSF Showcase for DUE projects at the ACM SIGCSE Conference."  The NSF Showcase at the ACM SIGCSE Symposium has been an ongoing project for over a decade. The core purpose of the project is to provide an opportunity for grant recipients from the National Science Foundation's Division of Undergraduate Education to present their projects at other times and in different ways than when final results are ready. Specifically, the showcase allows grant recipients to circulate their ideas, get feedback, recruit collaborators and adopters, and consult with program officers much earlier in the project cycle, providing crucial insights that improve the likelihood of the projects succeeding and the findings being disseminated.

    • Jack Stankovic was awarded a $2,969,765 from the National Science Foundation (NSF) Research Traineeship (NRT) program. The awards will help train the next generation of scientific leaders to develop the skills necessary to tackle complex societal problems. 

    • Lu Feng is receiving a 4-year, $2 million ONR grant as the lead PI, together with three co-PIs from Ga Tech, VT, and UT Austin. The proposal title is “Joint Perception and Temporal Logic Planning for Distributed Agents in Dynamic Environments” and is part of ONR’s new AI program,  “Advancing Artificial Intelligence for the Naval Domain”.  The objective of this project is to develop theory and algorithms for decentralized perception and temporal logic planning for a team of autonomous agents collaboratively operating in dynamic, uncertain and unstructured environments where large volumes of heterogeneous streaming data are collected. It addresses---through a unified theoretical framework of decentralized perception and planning---a key challenge in developing autonomous systems: how to derive intelligence from massive, distributed, and diverse data sources, and enable rapid decision-making. The expected outcomes of this work include theory, algorithms, and insights needed to develop new, scalable decentralized perception and planning approaches that are aligned with the emerging characteristics of Naval systems: highly autonomous with wide range of capabilities delivered in contested and uncertain environments with noisy and incomplete data sources.

    • Ahmed Ibrahim has been awarded $99,870 from the National Security Agency to host a program that is designed for high school teachers who are interested in providing their students with exposure to cybersecurity in their classes, and to provide opportunities for deeper exploration for interested students. The program will be held here at UVA in June 2018.
    • Hongning Wang has been awarded funding from the National Science Foundation (NSF) to help pay for students to attend the 41st ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR 2018), which will be held in Ann Arbor Michigan, U.S.A., July 8-12, 2018. 
    • Lu Feng received a grant from the National Science Foundation (NSF) to help pay for students to attend the Verification Mentoring Workshop (VMW 2018) and the International Conference on Computer Aided Verification (CAV), to be held in Oxford (UK), July 13-17, 2018. CAV is one of the premier conferences in computer science, dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. 
    • Lu Feng has been awarded a grant from the National Science Foundation (NSF) for $175,000 for her proposal, CRII: CPS: Cognitive Trust in Human-Autonomous Vehicle Interactions, to address the cognitive trust and safety concerns  as applied to autonomous vehicles. 
    • Worthy Martin, along with Jillian Galle, received a new NEH Digital Humanities Advancement Grant for $325,000, to expand the DAACS Research Consortium (DRC). DAACS is the Digital Archaeological Archive of Comparative Slavery, and DRC helps advance the DAACS research objectives. The new grant will fund the design, development, and implementation of a new phase of the DRC.
    • Kevin Skadron, along with Samira Khan, and Mircea Stan (ECE) was awarded $29.7 million grant from Semiconductor Research Corporation (SRC) to create a national Center for Research in Intelligent Storage and Processing in Memory (CRISP). UVA is the lead and will be collaborating with nine other schools across the country on this project. This project was award through the Joint University Microelectronics Program at SRC. 
  • 2017 Funding Awards
  • 2016 Funding Awards
    • Kamin Whitehouse and Hongning Wang just received an NSF grant from the CPS program, for "Collaborative Sensing: An Approach for Immediately Scalable Sensing in Buildings."
    • Yanjun (Jane) Qi, David Evans and Wes Weimer receive $494,884 from NSF for "TWC: Small: Automatic Techniques for Evaluating and Hardening Machine Learning Classifiers in the Presence of Adversaries."
    • John Stankovic receives $425,000 from NSF for "CPS: Breakthrough: Wearables With Feedback Control."
    • Kevin Skadron (PI) and Wes Weimer (co-PI) receive $298,864 for "XPS:FULL: New Abstractions and Applications for Automata Computing."
    • Baishakhi Ray receives $250,000 in NSF funding for "TWC: Small: Collab: Automated Detection and Repair of Handling Bugs in SSL/TLS Implementations."
    • Kevin Skadron, Mircea Stan, Westley Weimer and Ahmed Abbasi receive $875,000 from NSF for "EN-CS XPS:FULL: New Abstractions and Applications for Automata Computing."
    • Connelly Barnes (PI), Baishakhi Ray (co-PI) and Wes Weimer (co-PI) were awarded $450,000 from NSF for "Translating Compilers for Visual Computing in Dynamic Languages"
    • Mary Lou Soffa was awarded $212,184 from NSF for "Collaborative Research: Cloud Mentoring: Guiding Cloud Users for Cost Performance through Testing and Recommendation."
    • Hongning Wang was awarded $205,386 from NSF for his proposal "Noisy Knowledge."
    • Kamin Whitehouse was awarded $159,306 for his proposal "Collaborative Research: HomeSHARE - Home-based Smart Health Applications across Research Environments"
    • Haiying Shen's proposal "Application Characterization for Adaptive Computing Platform Determination for Computational and Data-Enabled Science and Engineering" was funded for $275,514.
    • Kevin Skadron was awarded $275,226 from NSF for "MultiSpot-Closing the power-delivery/heat-removal cycle for heterogeneous multiscale systems."
    • Kamin Whitehouse was awarded $195,000 from the Center for Innovative Technology (CIT) for his proposal entitled "Safe and Secure Cyber-Physical Systems. " 
    • Connelly Barnes, Baishakhi Ray and Westley Weimer receive $450,000 from NSF for "CHS: Small: Translating Compilers for Visual Computing in Dynamic Languages."
    • Samira Khan receives $174,803 from NSF for "System-Level Detection, Modeling, and Mitigation of DRAM Failures to Enable Efficient Scaling of DRAM Memory."
    • Hongning Wang receives a Career grant for $534,994 from NSF for "Human-Centric Knowledge Discovery and Decision Optimization."