Search

Titus Klinge

Affiliated Faculty
Affiliate Assistant Professor
Area of Expertise: 
Molecular Programming and DNA nanotechnology
algorithmic information theory and complexity theory
Software Engineering and Formal Verification of Molecular Programs

Jack Lutz Receives Scott Hanna Faculty Fellowship

February 4, 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.

Jack Lutz - Scott Hanna Faculty Fellowship Reception

Wednesday, February 10, 2016 - 11:30am

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.

Jack Lutz

Jack Lutz
Faculty
Professor
Area of Expertise: 
Theoretical Computer Science
Molecular Programming

Molecular Programming Paper Wins Award for Excellence in Software Theory and Practice

September 19, 2014

The paper "Automated Requirements Analysis for a Molecular Watchdog Timer", by Samuel J. Ellis, Eric R. Henderson, Titus H. Klinge, James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Divita Mathur, and Andrew S. Miner, received the IFIP TC2 Manfred Paul Award "for Excellence in Software: Theory and Practice" at the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014) in Vasteras, Sweden.