Mission
KESTREL INSTITUTE PERFORMS RESEARCH ON METHODS AND TOOLS FOR SOFTWARE ASSURANCE - USING MATHEMATICAL MODELS AND PROPERTIES OF ALGORITHMS AND DATA STRUCTURES TO ENSURE THAT SOFTWARE PERFORMS PREDICTABLY AND RELIABLY. OUR RESEARCH IS COMMUNICATED TO THE WIDER ACADEMIC COMMUNITY THROUGH JOURNALS, CONFERENCES AND TECHNICAL MEETINGS. OUR TOOLS ARE USED BY U.S. AND INTERNATIONAL UNIVERSITIES. WE OCCASIONALLY HOST STUDENTS FOR BRIEF PERIODS TO WORK ON PROJECTS ALIGNED WITH OUR RESEARCH INTERESTS.