Skip to main content


Office Location

440 Huntington Avenue
308A West Village H
Boston, MA 02115

Mailing Address

Northeastern University
ATTN: Karl Lieberherr, 202 WVH
360 Huntington Avenue
Boston, MA 02115

Research Interests

  • Modularity in software development
  • Test-driven development for relational queries using neural networks
  • Socio-technical systems for problem solving in STEM areas involving competition and collaboration


  • PhD, ETH Zurich, Switzerland
  • MS in Mathematics, ETH Zurich, Switzerland


Karl Lieberherr has been a Professor in the Khoury College of Computer Sciences since 1985. Prior to joining Northeastern, he was an assistant professor inVersion the EECS Department at Princeton University (1979-1983).

Professor Lieberherr’s research in programming languages and software engineering has led to advances in programming technology: the Law of Demeter is widely used by programmers who use object-oriented technology. The structure-shy programming approach that his Demeter research group introduced was inspired by the Law of Demeter and has been popular in several programming communities because of its clear benefit of eliminating boilerplate code. Prominent flavors of structure-shy programming are adaptive programming, strategic programming, polytypic programming, and several XML programming languages and APIs. His research in Algorithms, primarily for Satisfiability, has proposed a basic form of Clause Learning now widely used in refined form in SAT solvers. Novel approximation algorithms for Maximum Satisfiability is another of Lieberherr’s contributions.

Karl Lieberherr’s leadership positions in PL/SE include co-Editor-in-Chief of Theory and Practice of Object Systems, Member Steering Committee of AOSD, Organizing Chair at AOSD 2003, PC chair at AOSD 2004 and keynote speaker at ICSE 2004.