News
Lee Named 2023-24 Computer Science Outstanding Teaching Assistant Awardee
Wednesday, August 21, 2024
Mingi Lee (MCS alum) has been selected to receive the Computer Science Outstanding Teaching Assistant Award for 2023-24.
Kosaian, Morris, Tinelli, et al. to contribute to DARPA-funded Research
Friday, August 16, 2024
A research team led by Professor Cesare Tinelli (PI) and Professors Katherine Kosaian and Garrett Morris (co-PIs) will contribute to the DARPA-funded project PEGISUS: Proof EnGineering and Integration with Satisfiability modUlo theorieS.
UIowaCS PhD Students Debrief RAGBRAI
Monday, August 12, 2024
Sixth year CS PhD students Hussam Habib and Osama Khalid joined forces to ride the first few days of RAGBRAI LI and share some highlights, insights, and advice for fellow students. Read on for bonus blog posts and more!
Morris NSF grant to help undergraduate computer scientists appreciate the relevance of math to CS
Friday, August 9, 2024
The National Science Foundation (NSF) recently awarded UI computer science professor Garrett Morris $77,430 for a three-year research project entitled "Integrating Formal Methods into the Foundational Undergraduate Curriculum". Morris and Alberto Segre will partner with Grinnell College and Iowa State University faculty on this collaborative "Formal Methods in the Field" proposal.
Prof. Nithyanand earns NSF CAREER Award
Tuesday, August 6, 2024
Rishab Nithyanand, assistant professor in the Department of Computer Science, will tackle the enforcement of consumer privacy regulations with the help of a CAREER award from the National Science Foundation (NSF).
The award, the NSF’s most prestigious award in support of early-career faculty, includes a five-year grant for $633,023. Nithyanand and his team will develop a variety of computational tools to help enforcement agencies perform large-scale audits to determine if organizations are complying with consumer privacy regulations.
Incoming UIowaCS Faculty Katherine Kosaian Receives 2024 Bill McCune PhD Award
Friday, August 2, 2024
Katherine Kosaian, formerly Cordwell, who received her doctoral degree from the Computer Science Department at Carnegie Mellon University, has been selected as the 2024 recipient of the Bill McCune PhD Award. Her dissertation, Formally Verifying Algorithms for Real Quantifier Elimination, was chosen for its strong theoretical and practical contributions to formally verified quantifier elimination for the first-order logic of real arithmetic. The award was presented at the 12th International Joint Conference on Automated Reasoning (IJCAR 2024).
HawCHI Lab Awarded Best Paper Award & Social Impact Honorable Mention at IDC '24
Tuesday, July 23, 2024
Professor Juan Pablo Hourcade and co-authors/student advisees Flannery Currin - who recently defended her doctoral thesis, Summer Schmuecker and Delaney Norris recently published “Understanding Adult Stakeholder Perspectives on the Ethics of Extended Reality Technologies with a Focus on Young Children and Children in Rural Areas”.
This paper was awarded the Best Full Paper Award and Social Impact Honorable Mention at IDC '24 - the 23rd Annual ACM Interaction Design and Children Conference.
UIowaCS faculty in "Research funding to UI increases, topping $680M"
Tuesday, July 16, 2024
"The NSF’s support of UI research projects increased 56% for a record high of $18 million, including a new $1.2 million project to advance the personalization of hearing aids. The lead investigator on the project is Octav Chipara, a professor in the Department of Computer Science."
Rishab Nithyanand work with School of Journalism and Mass Communication's Brian Ekdale on a $1.7 million DOD project also gets an accolade.
Pioneering wildfire monitoring at NASA: Iowa informatics alumnus Meng Zhou shares his story
Friday, June 14, 2024
Meng Zhou earned his PhD in informatics from the University of Iowa in Dec.'23 and has embarked on a new role as an assistant scientist at the National Aeronautics and Space Administration (NASA).
His research focuses on using satellite remote sensing to monitor environmental conditions, particularly pollutants like PM2.5 and nighttime wildfires. The unique aspect of Zhou’s work is that he utilizes sensors that operate at night, leveraging moonlight scattered by polluted air to monitor air quality. For wildfires, he developed an innovative algorithm to assess their intensity and combustion phases, providing critical data on how many pollutants, such as PM2.5, black carbon, and CO, will be emitted to the air by the wildfire.
Morris Receives Academic Excellence in the Masters Program Award
Monday, June 3, 2024
Zachary Morris, who graduated this May 2024 with an MCS degree, was chosen to receive the award for “Academic Excellence in the Masters Program” for 2023-24. This competitive honor recognizes academic prowess, the variety and difficulty of courses taken along the way, as well as instructor feedback.
Pagination