• For the fifth year in a row, graduate students, professors, software professionals and others from all over the world will gather in Eugene to hear about the latest research in formal software verification techniques. Each year, the UO attracts between 30 and 60 participants in a ten-day summer school on formal methods in computer science. The school showcases speakers from academia and... Read more

    Updated: Jul 17, 2017
  • Child in front of eye-activated computer

    For years researchers have worked on technologies to allow children with severe disabilities to use their eyes to reach out and communicate with those around them, to express basic human needs and desires that would otherwise remain locked inside their heads. The UO is moving towards a future where many such children are able to express themselves artistically as well. ... Read more

    Updated: Jul 3, 2017
  • Prof. Steve Fickas in Computer and Information Science, and Prof. McKay Sohlberg working with a student on a computer

    When Professor Steve Fickas and Professor McKay Sohlberg met on their children's soccer field, they had no idea how much collaboration was in store for them. They started as co-instructors in a CIS graduate seminar that created a pilot study on email use by people with traumatic brain injury(TBI), and ended up as co-CEO's in a new assistive technology company. The seminar lead to a 5-year $1.5... Read more

    Updated: Jul 3, 2017
  • Ny Aina Razermera Mamy next to computer

    On the night of July 3, 2005 at 10:52 p.m. NASA's Deep Impact became the first space craft to hit a comet. The craft was sent to study the interior of comet Tempel 1, by excavating a crater more than 25 m deep and 100 m in diameter. With $330 million invested, the fault protection system was critical to the mission... Read more

    Updated: Jul 3, 2017
  • Tom Bulatewicz next to whiteboard

    2005 was a banner year for open source developer and CIS graduate student Tom Bulatewicz, with two applications winning awards, but these are not the first accolades for Bulatewicz's project Nosleep Software. In October, Bulatewicz released nosleep's newest application, Super Analyzer, a Mac and Windows tool that works with iTunes, and immediately received... Read more

    Updated: Jul 3, 2017
  • David Atkins portrait

    This month, the Eugene Register Guard ran a story about the alarming increase in children living in foster homes: over 1000 children in Lane County. While others scratch their heads, or silently shed a tear, some CIS professors are doing something about it. Professor David Atkins and his wife, Nancy,... Read more

    Updated: Jul 3, 2017
  • AI Professor Juan Flores replaces mentor in sabbatical switch

    Visiting Professor Keith Downing Returns for Fall 2005

      Read more

    Updated: Jul 3, 2017
  • John Conery portrait

    NSF's Division of Environmental Biology has awarded Dr. John Conery and Dr. Joe Thornton (Biology) $353,000 to study Mixed-Model Phylogenetic Methods for Evolutionarily Heterogeneous Data.

    According to PhD student and fellow researcher Bryan Kolaczkowski, "Heterogeneity in the evolutionary process is a hot topic right now, as current models assume a large degree of homogeneity, yet we... Read more

    Updated: Jul 3, 2017
  • Professor Jun Li and Professor Dejing Dou

    Congratulations to Professor Jun Li and Professor Dejing Dou of CIS and David Meyer of the Advanced Network Technology Center, recipients of a National Science Foundation grant entitled "NeTS-NBD: Internet Routing Forensics -- A Framework for Understanding, Monitoring and Detecting Abnormal Border Gateway Protocol Events.", which will be funded by National... Read more

    Updated: Jul 3, 2017
  • Stephen Fickas portrait

    A paper by Prof. Steve Fickas and his longtime research collaborator Martin Feather, currently at JPL, was recently selected as the Most Influential Paper from Requirements Engineering 1995.

    The research paper, Requirements Monitoring in Dynamic Environments, Proceedings of the Second IEEE International Symposium on Requirements Engineering, IEEE Computer Society Press, York,... Read more

    Updated: Jul 3, 2017