Archived Computer Science Department News

• July 10: Jun Ni, ITS Research Scientist and CS Adjunct Associate Professor, has been awarded a 3-year grant of $240,000 to study parallel computing for modeling and simulation of nanocrystallization and nanomaterial formation.
• May 11: Official UI News Release for the rededication of the Gerard P. Weeg portrait.
• May 4: Department wishes to establish the Gerard P. Weeg Professorship in Computer Science.
• June 27: Jun Ni, Adjunct Associate Professor of CS and Research Scientist at Academic Technology Research Services (AT-RS) of ITS, was awarded a $221,000\ NIH grant for developing a parallel algorithm of CT medical image reconstruction. Co-PIs are Professor Ge Wang and Dr. Hengyong Yu at the Department of Radiology.
• June 27: Professors Joe Kearney and Jim Cremer team with Psychology Professor Jodie Plumert on a $1.5 million NIH grant for using virtual environments to study children's bicycling safety. Click here for the University of Iowa News Release.
• July 28: Professor Cesare Tinelli together with Professors Clark Barrett (New York University) and Aaron Stump (Washington University) were awarded a $494,000 2-year NSF grant to further develop SMT-LIB, a community resource for users and developers of SMT solvers--logical reasoning programs used in software and hardware verification. The project will develop stardards and services for accurate evaluation and comparison of SMT solvers, as well as protocols and interfaces for incorporating them into verification tools.
• August 20: Darwin 1.3, an automated theorem prover developed by CS PhD student Alexander Fuchs under the direction of Professor Cesare Tinelli, recently won the EPR division of CASC-J3, the annual competition for automated theorem provers held in conjunction with CADE, the International Conference of Automated Deduction.
• September 6: CS Department Announces 2006-07 Scholarship Recipients
• September 12: CS & MIS Departments Host Reception for State Farm Grant
• October 17: Professor Alberto Segre received the Graduate College's Outstanding Mentor Award.
• December 5: Jun Ni, Adjunct Associate Professor in the CS Department and Research Scientist at ITS, is the recipient of a high-performance computer system from Intel, Inc. The 96-processor (each Xeon 3.4GHz/4GB memory/100GB), 10G InfiniBand system is valued by Intel at about $500,000 and will support Prof. Ni's medical imaging research with the Department of Radiology.

Important Collegiate Announcements/Events

• Current DEO mailing

Last modified: October 4, 2007