News

October 21, 2016
Dr. Wei Le is the co-author of a paper titled, "Proteus: Computing Disjunctive Loop Summary via Path Dependency Analysis", which has been selected to receive an ACM SIGSOFT Distinguished Paper Award (DPA) at the International Symposium on Foundations of software Engineering (FSE). The...
October 10, 2016
Robyn Lutz gave an invited keynote talk, “Requirements Engineering for Molecular Programmed Nanosystems,” at the IEEE International Requirements Engineering Conference in Beijing, China, Sept. 12-16, 2016.
October 03, 2016
Iowa Colloquium on Information, Complexity, and Logic (ICICL) 2:00 p.m., Thursday, October 6th Location: 2243 Noyce Science Center Grinnell College The central Iowa Colloquium on Information, Complexity, and Logic (ICICL), a collaboration of Iowa State University, Grinnell College...
September 30, 2016
  The eighth Midwest Verification Day workshop will be hosted at Iowa State University, Ames, Iowa on October 21-22, 2016. Download flyer  Topics of this informal workshop on hardware and software verification include model checking, deductive verification, runtime...
September 27, 2016
The ISU Department of Computer Science wishes to congratulate Dr. Andrew Miner (PI) and Dr. Gianfranco Ciardo (Co-PI) on being selected to receive an NSF award of $498,672 for their proposal on Software Infrastructure for Sustained Innovation. The research project titled, "SI2-SSE...
September 27, 2016
    Iowa State University Department of Computer Science is pleased to announce that Dr. Hridesh Rajan has been elected to serve on the Midwest Big Data Hub Steering Committee. When asked about his involvement with the committee, Rajan commented that he will contribute...
September 22, 2016
Dr. Eulenstein is co-chairing the 9th International Conference on Bioinformatics and Computational Biology (BICOB-2017) to be held in  Honolulu, HI, USA on March 20-22, 2017. Paper submission deadline is on Oct 31, 2016. For more information on the conference please see: ...
September 20, 2016
The third round of funding from an Iowa State University presidential initiative will build four research teams that will use big data to benefit human and animal health, improve cities and build new tools for researchers. Iowa State President Steven Leath launched the Presidential...
September 01, 2016
With a great promise for relieving people from daily chores, home robots point to a bright future of providing affordable assistance to the growing elderly population and to people with disabilities in spite of  the rising costs of health care. This project by Dr. Yan-Bin Jia...
July 21, 2016
Iowa State University Hosts Data-Driven Research Summer School 07/20/2016 Iowa State University hosted the Midwest Big Data Summer School in June, attracting nearly 150 participants from universities and organizations around the Midwest. The week-long course introduced early-career...
June 14, 2016
Iowa State University Computer Science Student, Kelsey Hrubes' résumé describes the ever-ambitious computer science student – founded a coding camp for high school girls, won coding competitions, interned at Google and now a summer gig at Microsoft... https://www.forbes.com/sites/...
June 06, 2016
The first Midwest Big Data Summer School for Early Career Researchers will be held from June 20-24, 2016 in Ames, Iowa. Spearheaded, by ISU Computer Science faculty, Dr. Hridesh Rajan, Pavankumar Aduri, and Adisak Sukul, this summer school is designed as a one week, intensive curriculum aimed at...
May 18, 2016
Program Your Adventure... Iowa State University's Department of Computer Science programming team competes TONIGHT (May 18th, 2016) at 8 p.m. in the ACM ICPC World Finals. The team will match their programming and problem solving wits against the other top...
May 10, 2016
While most college students are prepping for summer internships or other warm weather adventures that follow closely on the heels of finals, an elite group of ISU student programmers is preparing for an adventure half-way around the world. Iowa State University’s Department of Computer Science...
May 02, 2016
Congratulations to all of the following students for the academic, research and teaching accomplishments for the 2015/2016 academic school year: Teaching Excellence Award  - Nimanthi Atukorala – Spring 2016 - Guolei Yang  – Spring 2016 - Baskar Gopalakrishnan –...
April 04, 2016
Former ISU Computer Science PhD student, Mukul Bansal, has received a prestigious NSF CAREER AWARD https://www.nsf.gov/awardsearch/showAward?AWD_ID=1553421. During his time here at Iowa State's Computer Science Department, Bansal was co-supervised by Dr. David Fernandez-Baca and Dr. Oliver...
March 07, 2016
On February 24, 2016 the Graduate Advisory Council (GAC) hosted the Graduate Student Research Poster Contest sponsored by Kingland.  Sixteen graduate students submitted posters on various topics.   The poster presenters -  Front Row - Shruti Biswal, Yu Liu, Karen Doty,...
February 04, 2016
The College of Liberal Arts and Sciences will honor Jack Lutz, professor with the Department of Computer Science, with a reception on February 10th, from 11:30-12:30 in 302 Catt Hall. Lutz has been named as the recipient of the Scott Hanna Faculty Fellowship. Refreshments will be served. Lutz...
January 25, 2016
In today’s world, individuals, society, and nations all depend on software to manage critical infrastructures for power, banking and finance, air traffic control, telecommunications, transportation, national defense, and healthcare. Dr. Hridesh Rajan, at Iowa State University (ISU)’s Department of...
November 06, 2015
NSF division of Computing and Communication Foundations has funded a two year project to be conducted by Dr. Samik Basu to investigate the application of formal methods, particularly model checking techniques, to analyze information propagation problems as they relate to computer security,...
November 02, 2015
On Saturday, October 31, 2015, the Computer Science Department sent programming teams to compete against hundreds of other collegiate programmers in the ACM North Central North America region (NCNA). With more than 1,500 teams from around the world vying for a spot at the International Collegiate...
October 08, 2015
Federated Plant Database Initiative for the Legumes, Award IOS-1444806, National Science Foundation, Division of Integrative Organismal Systems, 2015-2018 (PI). Co-PIs: Steven B. Cannon (USDA-ARS/Iowa State University), Christopher D. Town (J. Craig Venter Institute), Andrew D. Farmer (National...
October 02, 2015
Future cyber-molecular systems such as biosensors and drug therapeutics must operate safely in a dynamic physical environment.   A newly funded project by computer science faculty Robyn Lutz, Jack Lutz, and Jim Lathrop, and GDCB faculty Eric Henderson,  will help design cyber-molecular systems that...
August 14, 2015
A project by Prof. Robyn Lutz will use product-line analysis and traceability techniques to make it easier to compose safety cases for new products. The work is collaborative with Dr. Jane Cleland-Huang at DePaul University. http://nsf.gov/awardsearch/showAward?AWD_ID=1513717
August 01, 2015
Thanks to the hard work of the IT support staff over the summer, the infrastructure from the departmental server room previously housed in Atanasoff 0116B has been successfully migrated to the server room in Pearson Hall and the University data center in Durham hall.  The migration was...

Pages

Subscribe to News