ALT Flyer for 8th Iowa Computer Science Graduate Research Symposium (2022): Welcome to the 8th Iowa Computer Science Graduate Research Symposium. Senior Computer Science PhD students will present talks on their latest research, showcasing a variety of research areas. This will be followed by Keynote talk by Prof Adhikari. Nov 4, 2022 2520D University Capitol Centre (UCC) 1:30-3:25pm Student Sessions 1:30pm Joyanta Debnath, PhD Student On Re-engineering the X.509 PKI with Executable Specification for Better Implementation Guarantees 2:00pm Arjun Viswanathan, PhD Student Abductive Reasoning with SMT Solvers Abductive Reasoning with SMT Solvers 2:30pm Flannery Currin, PhD Student Teleoperated Voice Agents to Support Children in Social Play 3:00pm Hankyu Jang, PhD Student HAIs - Computational Modeling and Inference 3:25-4:00pm Break 4:00-5:00pm Keynote Speaker: Prof Bijaya Adhikari Spectral Optimization on Dynamic Networks for Diffusion Analysis

ALT Graduate Programs We are seeking strong applicants for our Masters and PhD programs for Fall 2022. We are particularly interested in PhD applicants in the following research areas: Algorithms,· computer security and privacy,· computational epidemiology,· formal methods,· programming languages,· distributed computing,· human-computer interaction,· mobile systems, parallel optimization,· text/web mining,· machine learning,· informatics,· and virtual environments. FUNDING Our Research Assistantships (RAs) and Teaching Assistantships (TAs) provide full tuition, benefits, and a substantial monthly stipend. All PhD students are guaranteed RA/TA support for a minimum of 4 years at admission time. Most Masters students also receive TA or RA support. Besides Assistantships, Fellowships are also available. ALUMNI Our PhD students pursue careers in academia, research/industry labs, or the tech industry Our recent MCS graduates have gone on to industry careers in companies such as Amazon Apple etc

ALT Keynote speakers Drs Marya Lieberman and Javier Vela