Thinking about applying to the NSF CAREER program? Want to learn more about this funding opportunity and hear from previous awardees? Then this panel session is for you!Event InformationThe Research Development Office is hosting a NSF CAREER virtual panel session. This panel session will provide an opportunity to hear from recently accomplished CAREER Award recipients regarding their experience with the application process, need-to-know information, plus much more.Click here to learn more about...

Interested in learning more about computer science, technology, and software in a fun and friendly environment? ACM@UIOWA is the local student chapter of the International Association for Computing Machinery (ACM), one of the oldest and largest professional organizations in tech. We promote computing and technology in a fun and casual environment and serve as the premier Computer Science student organization at Iowa (of course, students of all majors are welcome to join!).the Association for...

PhD Candidate: Hammas TanveerAbstractThe Internet is undergoing a major shift with the adoption of Internet Protocol version 6 (IPv6), a new protocol designed to mitigate the long-standing issue of IP address exhaustion. Unlike its predecessor, IPv4, which had a limited number of IP addresses, IPv6 offers a virtually unlimited address space. Although the expansive address space has its advantages, it has also introduced new challenges related to security and accessibility that remain poorly...

L. Ruby Leung, an atmospheric scientist internationally recognized in Earth systems modeling and hydrologic processes, will be the University of Iowa's inaugural "Leaders in Discovery" speaker on Monday, April 14.Leung, Battelle Fellow at Pacific Northwest National Laboratory and Chief Scientist of the U.S. Department of Energy’s Energy Exascale Earth System Model, is known for her contributions to the development of local climate models and her understanding of the consequences of climate...

PhD Candidate: Mudathir MohamedAbstractProblems from many industrial applications can be encoded naturally in the languages of finite sets and multisets. Concrete examples include software design specifications, ontologies, relational algebra, database queries, normative requirements, and authorization policies. To reason about these languages, researchers have developed several specialized solvers for the quantifier-free first-order formulas for sets, relations, and multisets and implemented...

EPX Studio is having a game jam, starting at April 11th 5:30pm and ending at April 13th 12:30pm. Group up in teams of up to 3 people or simply participate solo. Jammers will work to create a project based around a theme, of which will not be announced until the game jam starts. The projects will be submitted electronically through itch.io and are being judged by Jon Hathaway of Epic Games (’09 UIowa alum), who was also one of the guest speakers for UICC 2024!Midway through the jam, there will be...

EPX Studio is having a game jam, starting at April 11th 5:30pm and ending at April 13th 12:30pm. Group up in teams of up to 3 people or simply participate solo. Jammers will work to create a project based around a theme, of which will not be announced until the game jam starts. The projects will be submitted electronically through itch.io and are being judged by Jon Hathaway of Epic Games (’09 UIowa alum), who was also one of the guest speakers for UICC 2024!Midway through the jam, there will be...

EPX Studio is having a game jam, starting at April 11th 5:30pm and ending at April 13th 12:30pm. Group up in teams of up to 3 people or simply participate solo. Jammers will work to create a project based around a theme, of which will not be announced until the game jam starts. The projects will be submitted electronically through itch.io and are being judged by Jon Hathaway of Epic Games (’09 UIowa alum), who was also one of the guest speakers for UICC 2024!Midway through the jam, there will be...

Interested in learning more about computer science, technology, and software in a fun and friendly environment? ACM@UIOWA is the local student chapter of the International Association for Computing Machinery (ACM), one of the oldest and largest professional organizations in tech. We promote computing and technology in a fun and casual environment and serve as the premier Computer Science student organization at Iowa (of course, students of all majors are welcome to join!).We will be hosting a...

Come join WiCS for a relaxing Pottery Painting Night a Renee's Ceramic Cafe on Wednesday, April 9, from 5:30 to 7:30 p.m.! You'll have the chance to pick a piece of pottery and paint it however you'd like, all while hanging out with other WiCS members.🚗 Carpooling will be arranged if needed!📅 Please RSVP by Monday, April 7 to attendHope to see you there! 🎨WiCS TeamTo keep you in the loop, we'll post all event dates on our website and Instagram page (@uiowawics). You can also stay connected...

Interested in learning more about computer science, technology, and software in a fun and friendly environment? ACM@UIOWA is the local student chapter of the International Association for Computing Machinery (ACM), one of the oldest and largest professional organizations in tech. We promote computing and technology in a fun and casual environment and serve as the premier Computer Science student organization at Iowa (of course, students of all majors are welcome to join!).Have you considered...

Speaker Chongzhou Fang Abstract In recent decades, cloud computing has profoundly changed our lives, providing the foundational infrastructure that supports countless applications. However, these shared environments are vulnerable to various hardware-based attacks, including microarchitectural side-channel attacks initiated by malicious users. Such exploitable vulnerabilities can be found across the entire cloud hierarchy, from resource orchestration software to the underlying heterogeneous...

Data privacy laws will never work without effective corporate data governance. Governing Data will bring top law and computer science scholars together to discuss the theory and practice of good corporate data governance, including design, verification, and enforcement. The symposium is a collaboration between the University of Iowa's Innovation, Business, and Law Center and the Yale Journal of Law and Technology. The in-person event will take place on the Yale campus, with Iowa Law being the...

Soldering is one of the most fundamental skills needed to explore the world of electronics. This workshop will help you gain a better understanding of electronics and be better equipped to create your own. Taught by Kara Beauchamp, instructional lab manager. Sponsored by IEEE and the Lichtenberger Engineering Library.

Join WiCS as we listen to engineering guest speaker Caterina Lamuta! Lamuta is an Associate Professor for the Department of Mechanical Engineering here at Iowa. Her research focuses on artificial muscle design, modeling, fabrication, and simulation, among many other areas. We are looking forward to hearing about her journey as a woman in STEM! To keep you in the loop, we'll post all event dates on our website and Instagram page (@uiowawics). You can also stay connected through GroupMe.

Speaker Paul Krogmeier Abstract Symbolic languages are fundamental to computing: they help us understand and orchestrate unfamiliar computations in complex domains. Symbolic learning aims to automatically discover concepts expressed in these languages, e.g., formulas or programs, given a few examples, with many applications in programming, testing, and verification of computer systems. Algorithms for symbolic learning are currently ad hoc and come with no guarantees of convergence, and...

Every year, thousands of Hawkeyes come together to make an important—and meaningful—impact for Iowa. All gifts made in March will count toward the One Day for Iowa total.  Be a Hawkeye that gives back on One Day for Iowa! Support students, faculty, research, health care, and more. Give now: https://1dayforiowa.org/41GiOdH  

Level-up your giving by taking advantage of limited-time matches and unlock opportunities — which can lift your gift by double or more.

Speaker Changlong Wu Abstract Online learning is a fundamental machine learning paradigm in which the learner receives data sequentially, continually updating a model to predict future observations. Real-world scenarios, from financial markets to recommendation systems, however, often exhibit complex data characteristics, mixing structured patterns with unpredictable shifts. The complexity of such systems cannot be adequately captured by traditional methods, which typically assume that data...

On the occasion of our 60th anniversary, the Department of Computer Science at Iowa cordially invites you to attend our 3rd Annual Founders Day Celebration. This event will be held Thursday, March 13, from 3:30 to 4:30 p.m. in 2520D UCC (On 2nd floor of Old Capitol Mall). Please join us for ice cream sundaes as we celebrate the achievements of the extraordinary students and faculty in our department! RSVP by Monday, March 10.

Speaker Shareef Ahmed Abstract Many real-time cyber-physical systems (CPSs) must satisfy timing constraints to ensure safe operation. Thus, these CPSs should be tested for temporal correctness before their real-world deployment. Additionally, these CPSs must operate within strict size, weight, power, and cost (SWaP-C) constraints. To satisfy these SWaP-C requirements, the test for timing correctness should be “exact,” meaning that no system that meets timing constraints should fail the test...

Join WiCS this Wednesday at 6 PM at the HawkeyEsports Arcade in the IMU for our Arcade Night! Come hang out, play games, and take a break from classes with us. We're also hosting a food drive in the IMU Hawkeye Room! If you bring a non-perishable item for the food pantry, we'll sign you up to receive a WiCS t-shirt! To keep you in the loop, we'll post all event dates on our website and Instagram page (@uiowawics). You can also stay connected through GroupMe.

Speaker Zhiyuan Yu Abstract Cyber-physical systems (CPS), powered by emerging artificial intelligence (AI) technologies, have become integral to various critical domains such as the Internet of Things (IoTs), medical devices, and autonomous vehicles. A unique aspect of these systems lies in their interactions with the physical world, by perceiving environments through heterogeneous modalities (perception), processing digital data with intelligence algorithms (computing), and autonomously...

Speaker Jinwen Wang Abstract Cyber-physical systems (CPSs), such as self-driving cars, are integral to modern life. Execution timing is critical to CPS, as missing a deadline can result in severe outcomes. In this talk, I will present my work on guaranteeing execution timing in CPS security. I will first introduce a real-time trusted execution environment (TEE) to defend against OS-level attackers capable of launching denial-of-service attacks on safety-critical functions. This approach...

WiCS and CAB will be collaborating this week to host an Ice Cream Social and Bracelet Making! This Friday, stop by the Catlett MPR room anytime from 5 to 7 p.m. to get some free ice cream, hang out with peers, and make cute friendship bracelets! Hope to see you there!  To keep you in the loop, we'll post all event dates on our website and Instagram page (@uiowawics). You can also stay connected through GroupMe.

Interested in learning more about computer science, technology, and software in a fun and friendly environment?  ACM@UIOWA is the local student chapter of the International Association for Computing Machinery (ACM), one of the oldest and largest professional organizations in tech. We promote computing and technology in a fun and casual environment and serve as the premier Computer Science student organization at Iowa (of course, students of all majors are welcome to join!). The Association for...

The Engineering Open: Mini Golf Design Challenge is back! Join us on Thursday, Feb. 27 as each department and various organizations and departments within the College of Engineering competes to design the best fairway! The Engineering Open is open to the public from 1 to 3 p.m. in the Student Commons of the Seamans Center. Stop by to check out these great designs, play a round of mini-golf, and cast your choice for the people’s choice. The awards ceremony will take place at 3 p.m.  Looking for...

This fair will focus on recruiting students in ALL MAJORS for full time positions and internships! No pre-registration is required; however, view all details about the fair in Handshake, including a list of employers, and keep up to date with changes!  Bring your Student ID, copies of your resume, and dress for success! The event is business casual or professional attire.  

Curious about how AI is shaping student learning? The Office of Teaching, Learning, and Technology partnered with 10 University of Iowa faculty members to research how students are using AI tools and their impact on learning. Please register to attend. Join to: Learn key findings from the research, including students' experiences with AI tools integrated into their course materials, their perceptions of their impact on learning, and preferences for course guidance and policies. Listen to a...

Join us for the Computer Science Graduate Student Association Coffee Hour — a casual and welcoming space to connect with fellow CS grad students! Bring your own coffee or drink of choice, and come enjoy a laid-back atmosphere where you can meet new people, exchange ideas, and have conversations ranging from research to life outside of grad school. It’s a great opportunity to relax, network, and build connections with peers in a fun and informal setting. We can’t wait to see you there!

Speaker Tarikul Islam Papon Abstract Data-intensive applications stress the memory hierarchy with unnecessary data movement and the need to integrate new storage technologies. My research addresses these challenges through two main approaches: unlocking the potential of modern storage devices via faithful modeling and minimizing data movement through hardware specialization. Solid-state drives (SSDs), now dominant in secondary storage, exhibit read/write asymmetry and access concurrency...

"The UICC is hosted by the students and for the students to promote computing as a science and a profession." Date: Feb. 22 Check out past conferences! [ 2016, 2017, 2018, 2019, 2020, 2021, 2022, 2023, 2024] ACM@UIowa welcomes students, faculty, and all members of the community to our annual UIowa Computing Conference! The theme for UICC 2025 is "Finance and Technology." On Feb. 22, join us at the AJB and the Main Library SHAM auditorium for a deep exploration of how computer science and...

Speaker Charles Elkan Abstract Large language models (LLMs) have remarkable capabilities, but they make mistakes that seem surprisingly elementary. For example, one of today's best LLMs says "A word like delicious but with one letter different is precious" and other state-of-the-art LLMs make similar mistakes. I will argue that LLM failures are understandable given the fundamental techniques on which LLMs are built, namely tokenization, transformers, pretraining, and alignment. I will then...

The University of Iowa’s Spring Engineering Career Fair will take place on Thursday, Feb. 20, from noon to 4 p.m. in the Main Lounge of the Iowa Memorial Union. This event is open to all students and is a great opportunity to explore internships, co-ops, and full-time job opportunities. Whether you’re actively searching or just starting to network and learn about potential employers, this is a valuable chance to connect. Resume Resources Stop by the Student Development Center (3612 SC) for...

Join WiCS for our Career Fair Prep Workshop! A mentor from the Career Center will be leading the session, covering key tips for making the most of the Engineering Career Fair taking place the following day as well as All Majors Career Fair Thursday, Feb. 27 noon both noon-4 in the IMU, including resume advice, interview prep, and networking strategies. There will also be time for Q&A. Free Canes provided! This is a great opportunity to get ready for the career fair and get your questions...

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 from...

Interested in learning more about computer science, technology, and software in a fun and friendly environment?  ACM@UIOWA is the local student chapter of the International Association for Computing Machinery (ACM), one of the oldest and largest professional organizations in tech. We promote computing and technology in a fun and casual environment and serve as the premier Computer Science student organization at Iowa (of course, students of all majors are welcome to join!). the Association for...

In the interest of our members' safety, tonight's WiCS short (~15 min) intro meeting will be held over Zoom. Please join us to learn more about upcoming events (including career workshops, social game nights, tech talks, and more!), exec board opportunities, T-shirt designs, and to connect with other women in STEM! We HIGHLY recommend attending if you are planning on being involved this semester, especially if you are looking for an exec board position. We've additionally posted all future...

Speaker Ananya Joshi Abstract As systems in critical domains become increasingly complex, effective data monitoring is essential for detecting real-time faults and system changes. Traditional methods, however, often rely on unrealistic assumptions, such as consistent, high-fidelity data, unlimited human attention, and abundant computational resources. This talk introduces a human-in-the-loop framework for system monitoring in resource-constrained settings, incorporating novel fault detection...

Speaker Vinay Koshy Abstract Online communities are core to our digital lives. We mingle on social media like Reddit and Discord, share knowledge through platforms like StackExchange and Wikipedia, and use open-source software created by developer communities. Most online communities rely on content moderation policies to dictate the boundaries of acceptable speech. Yet community members have little say in how these moderation policies are created or enforced. In this talk, I will discuss my...

Interested in learning more about computer science, technology, and software in a fun and friendly environment?  ACM@UIOWA is the local student chapter of the International Association for Computing Machinery (ACM), one of the oldest and largest professional organizations in tech. We promote computing and technology in a fun and casual environment and serve as the premier Computer Science student organization at Iowa (of course, students of all majors are welcome to join!). The Association for...

Speaker Taylor Olson Abstract Artificially intelligent agents are now part of our daily lives, bringing both benefits and potential risks. For example, unguarded chatbots can spread harmful content, and virtual assistants can be intrusive. To safely integrate these agents into society, they must understand and follow social and moral norms. Progress on this front has been made in the field of Machine Ethics through classical reasoning techniques and modern learning models. However, a unified...

Speaker Joe Calandrino Abstract Impact is one of the key factors for judging the value of research. Impact can take many forms, but research that informs public policy or advances policy objectives can have particularly significant and direct real-world influence. Despite that, computer science research findings and methods that offer value from a policy perspective may not be obvious to researchers. Through the lens of research projects on topics from review moderation to mobile app privacy...

Interested in learning more about computer science, technology, and software in a fun and friendly environment?  ACM@UIOWA is the local student chapter of the International Association for Computing Machinery (ACM), one of the oldest and largest professional organizations in tech. We promote computing and technology in a fun and casual environment and serve as the premier Computer Science student organization at Iowa (of course, students of all majors are welcome to join!).  What ACM does:...

Why we can’t fact-check our way out of misinformation Misinformation became a major focus following the rise of social media, and especially after the election of Donald Trump to presidency in 2016, a surprise for many. The next eight years included a lot of upheaval, including a pandemic, as well as the re-election of Trump where this focus continued although the framework was both severely challenged, and now recently formally abandoned by social media companies. In this talk, Dr. Tufekci...

Speaker Kiran Garimella Abstract In this talk, I will present a study looking at the prevalence of misinformation, political propaganda and hate speech on WhatsApp. Using a large WhatsApp data donation program in India and Brazil covering thousands of users, we systematically analyze private group messages to understand content prevalence, virality, and user profiles in problematic content spread. Our initial analysis from data in Uttar Pradesh, India, showed a high prevalence of political...

Are you passionate about tech and want to be part of a vibrant network that's dedicated to encouraging women and other gender minorities to thrive in technology-related fields? UIOWA Women in Computing Sciences is here to provide you with an exciting space to meet like-minded individuals, gain professional skills, and make lasting memories. Why join WiCS? At WiCS, we are big believers in empowerment. We're dedicated to creating an inclusive and safe environment for discussion, finding support...

In "The Academic Interview: What to Expect," faculty at the Department of Computer Science at The University of Iowa will demystify various components of the academic job interview process. You will gain insights into the types of interactions to expect at your job interviews and topics you should deliberate on prior to your first interview. Faculty participants include UIowa Department of Computer Science's Hiring Committee, current Department Chair, former Dean, Director of Undergraduate...

Speakers  Arjun Arunasalam Title: Abuse within Socio-Technical Systems: Security and Privacy Consequences on End Users Abstract: Socio-technical systems are broadly defined as systems which blend technological aspects with human elements such as human behaviors and mental models. As socio-technical systems increasingly integrate more complex technical components such as extended reality and generative AI, these systems are experiencing widespread adoption among...