FILTER EVENTS
Clear all filters
- Alumni/Friends
- Community Members
- Everybody
- Faculty/Staff
- Graduate Students
- Parents
- Peer Institutions
- Postdocs
- Prospective Students
- Students
- Accessibility
- African American/Black Community
- After Class
- Arts Iowa
- Asian/Asian American Community
- Be Better
- BIPOC Wellness
- Black History Month
- Community of Persons with Disabilities
- Community of Women
- Disability Awareness Month
- Economic and Community Development
- Employee Well-Being
- Hispanic/Latinx Community
- Humanities
- Informatics
- International Community
- Lesbian, Gay, Bisexual, Queer (LGBQ) Community
- Martin Luther King Jr. Celebration Week
- Native American Community
- Native American Heritage Month
- Outreach Iowa
- Research
- STEM
- Student Life
- Sustainability at Iowa
- Well-Being
- Women's History Month
- Advancement Event
- Arts/Entertainment
- Athletics/Recreation
- Ceremony/Reception
- Commencement
- Community Event
- Conference/Workshop
- Exhibit
- Fair
- Film
- Graduate Professional Development
- Guest Speaker
- Health Event
- Information Session
- Lecture/Discussion
- Meeting
- Open House
- Performance
- Reading
- Seminar
- Social
- Thesis Defense
- Training
- Academic Advising Center
- Baker Teacher Leader Center
- Campus Safety
-
Carver College of Medicine
- Anatomy and Cell Biology
- Biochemistry
- Carver College of Medicine Research
- Community Education Programs
- Consultation and Research in Medical Education
- Frontiers in Obesity, Diabetes, and Metabolism
- Graduate and Postdoctoral Studies
- Internal Medicine
- Microbiology and Immunology
- Molecular Physiology and Biophysics
- Ophthalmology
- Pharmacology
- Center for Advancement
- Center for the Book
- College of Dentistry
- College of Education
-
College of Engineering
- Department of Biomedical Engineering
- Department of Chemical and Biochemical Engineering
- Department of Civil and Environmental Engineering
- Department of Electrical and Computer Engineering
- Department of Industrial and Systems Engineering
- Department of Mechanical Engineering
- IIHR—Hydroscience & Engineering
- NEXUS of Engineering and the Arts
- College of Law
-
College of Liberal Arts and Sciences
- African American Studies Program
- Department of Anthropology
- Department of Biology
- Department of Chemistry
- Department of Communication Sciences and Disorders
- Department of Computer Science
- Department of Dance
- Department of Earth and Environmental Sciences
- Department of English
- Department of Gender, Women’s, and Sexuality Studies
- Department of Geographical and Sustainability Sciences
- Department of History
- Department of Linguistics
- Department of Mathematics
- Department of Philosophy
- Department of Political Science
- Department of Psychological and Brain Sciences
- Department of Rhetoric
- Department of Theatre Arts
- Division of Interdisciplinary Programs
- Division of World Languages, Literatures, and Cultures
- Iowa Writers' Workshop
- Magid Center for Writing
- Native American and Indigenous Studies Program
- Nonfiction Writing Program
- Office of Sustainability and the Environment
- School of Art and Art History
- School of Journalism and Mass Communication
- School of Music
- School of Social Work
- College of Nursing
- College of Pharmacy
- College of Public Health
- Commencement
- Department of Athletics
- Division of Access, Opportunity, and Diversity
- Division of Student Life
- Faculty Senate
- Graduate College
- Hancher Auditorium
- Hawk-IDDRC
- Information Technology Services
- Institute for Clinical & Translational Science
- International Programs
- International Writing Program
- Iowa Neuroscience Institute
- Office of the President
- Office of the Provost
- Office of the Vice President for Research
- OneIT
- Police Department
- Pomerantz Career Center
- Scanlan Center for School Mental Health
- State Hygienic Laboratory
- The Writing University
- Tippie College of Business
- UI Advise
- UI Retirees Association
- University College
- University Honors Program
- University Human Resources
- University Libraries
- University of Iowa Stanley Museum of Art
TODAY'S EVENTS
Feb 14, 2025
Feb 14, 2025
3:30 PM - 4:30 PM
Speaker McKenna McCall Abstract Formal methods research involves using mathematical techniques to specify and verify properties of software and hardware systems. In security and privacy research, formal methods can lead to strong, provable security guarantees—and typically leave questions about how humans might interact with these systems unanswered. Indeed, formal methods and usable security are traditionally distinct areas of research. In this talk, I will demonstrate how techniques fro...