Computer Science | Grinnell College

On Thursday, November 13, Professor Gianfranco Ciardo, Professor and Chair of the Department of Computer Science at Iowa State University, will speak on extensions of binary decision diagrams:

Binary decision diagrams (BDDs) have had enormous success since Bryant showed how to use them for the efficient verification of boolean hardware designs and Clarke and McMillan employed for symbolic model checking. In this talk, we take BDDs as a starting point and explore various extension of decision diagrams, we apply them to problems beyond temporal logic verification, and we discuss several challenging research problems related to decision diagrams.

Before the talk, Professor Ciardo will meet informally with students considering the possibility of graduate study at Iowa State. This meeting will be in the Computer Science Commons (Noyce 3817), beginning at 3:45 p.m.

At 4:15 p.m., refreshments will be served in the Computer Science Commons. Professor Ciardo's talk, “Beyond BDDs: advanced decision diagrams and their applications,” will begin at 4:30 p.m. in Noyce 3821. Everyone is welcome to attend!

On Thursday, November 19, Christopher K. Tuggle, Professor of Molecular Genetics in the Bioinformatics and Computational Biology Graduate Program at Iowa State University, will present a talk discussing

a variety of computational problems and projects in biology that are being explored at Iowa State, including the open-source Integrated Animal Annotation and Microarray Expression Database (ANEXdb).

He will also discuss features of the Bioinformatics and Computational Biology Graduate Program.

Refreshments will be served at 4:15 p.m. in the Computer Science Commons (Noyce 3817). Professor Tuggle's talk, Computational problems in biology, will follow at 4:30 p.m. in Noyce 3821.