Skip to main content
The University
of
Kansas
MENU
link to menu page
THE UNIVERSITY
of
KANSAS
I2S | Institute for Information Sciences
myKU
Email
Canvas
Enroll & Pay
Jayhawk GPS
Close
Search this unit
Start search
Submit Search
Main navigation
Home
People
Select to follow link
Faculty
Affiliates
Staff
Research
Select to follow link
Centers
Select to follow link
Center for Communications, Networking and Photonics
Center for Cyber-Social Dynamics
Select to follow link
Advancing Fairness in Machine Learning Workshop
CCSD Affiliated Researchers
CCSD Fellows
CCSD Publications
Center for Cyber-Social Dynamics Research Assistants
Society Technology Ethical and Philosophy (STEP) Lab
Computer Systems Center
High Assurance and Secure Systems Center
Mathematical Methods & Interdisciplinary Computing Center
Radar Systems Laboratory
Labs & Facilities
University of Kansas and UBRI
Science of Security Lablet
Midwest VICEROY Institute
Masters/ Doctoral Theses
Select to follow link
Dalton Hahn Dissertation Talk
Research Rising
Falling Into AI - I2S Open House 2025
I2S Student Research Symposium 2026
Projects
I2S News and Events
Select to follow link
Latest News
All News
Events
Select to follow link
Event Submission
Education & Outreach
Select to follow link
KU GenCyber Camp
Select to follow link
GenCyber Tutorial Videos
KU GenCyber Camp 2024
Resources
Select to follow link
Intranet
Employment
Impact Report
Info for
Prospective Students
Current Students
Alumni
Degree Programs
THE UNIVERSITY
of
KANSAS
University of Kansas logo
I2S | Institute for Information Sciences
Menu
link to menu page
Search this unit
Start search
Submit Search
Home
Automatic Program Synthesis with Correctness Guarantees
Automatic Program Synthesis with Correctness Guarantees
Funding:
$9562.00
Sponsor:
New Faculty Research Development Award
Beginning Fiscal Year:
2024