Ames,
IA,
United States
Type
Public
Degrees offered
Bachelor's Degree
We aim to push the boundaries of research and education in software design, modeling, and algorithmic approaches to develop dependable, secure systems, particularly for safety-sensitive and mission-critical uses. Our focus areas encompass: (1) creating models, verifying designs, and automating analysis and synthesis of sophisticated software, (2) developing and evaluating innovative resource management and security protocols for real-time and distributed systems, and (3) crafting and assessing high-performance algorithms for complex computational challenges in fields like biology, physics, weather prediction, and smart farming.