Skip to Main content Open mobile menu Close mobile menu
Using negative probability for quantum solutions
  1. Using negative probability for quantum solutions

    Probabilities with a negative sign have been of great use in quantum physics.

  2. Google Award to make widely used software testing technique more effective

    Baris Kasikci plans to improve software fuzzers by learning how deployed software is most commonly run by users.

  3. Solution for restoring faulty graphs earns best paper award

    Prof. Greg Bodwin has devised a solution to an important open question in graph theory that offers promising new options for repairing and constructing resilient networks.

  4. Postdoc Leqi Zhu wins PODC Dissertation Award

    The thesis completely solves a longstanding open problem in the theory of distributed computing.

  5. Tim Dunn selected for NSF Graduate Research Fellowship

    Through his work, Tim hopes to dramatically accelerate genomic sequencing analysis, enabling the use of handheld genomic sequencers to produce actionable diagnostic data within minutes.

  6. New database sheds light on Michigan’s videogame boom

    The Michigan Game Studios database, developed by lecturer Austin Yarger, helps organize the state’s rapidly growing scene.

  7. Building a testing-free future

    How automated guarantees that our most complex programs are secure and trustworthy can save us time, money, and anxiety.

  8. Tool to automate popular security technique earns distinguished paper

    The new technique automatically constructs policies for applications that keep them from compromising other programs.

  9. Prof. Baris Kasikci recognized as rising star by Intel

    The award recognizes early career faculty who show great promise in developing future computing technologies.

  10. Alumnus Yi-Jun Chang Wins PODC Dissertation Award

    His work is in complexity theory of distributed computing.