Short Bio of Speaker:

Karl Lieberherr is a Professor in the College of Computer and Information Science at Northeastern University. He has contributed to Algorithms (P-optimal Algorithms, Clause Learning for Satisfiability) and Modular Software Design (Law of Demeter and several systems for Adaptive Programming, a kind of Aspect-Oriented Programming). His latest interest is in systems and their foundations for Human Computation for complex tasks, e.g. algorithm development.