Utz Uwe Haus

Postal address Dr. Utz-Uwe Haus Institut für Operations Research HG G 21.1 Rämistrasse 101 8092 Zürich Switzerland More information Phone   +41 44 633 9355 Fax   +41 44 632 1025 E-Mail   Homepage   http://www.ifor.math.ethz.ch/~uhaus

Publications

My List of publications including BibTeX-entries can be found on a separate Publications page or through my Google Scholar profile.

Projects

I am a partner in the Nplast Marie-Curie Initial Training Network, and co-PI in the MINO project. I also take part in the COST TD1207 action.

Software Projects

• SNWEB -- Signaling Network Web Interface. Please contact me if you are interested in using this.(Source code not available)
• cl-jointgen -- a free and extensible implementation of Joint Generation Algorithms in Common Lisp.
• CPLEX-glue, an interface that makes the IBM/ILOG CPLEX Callable Library accessible from Guile (a Scheme implementation) and Allegro Common Lisp (with M. Köppe). Now also wraps GNU-Linear-Programming and Gurobi libraries transparently!
• CL-MATCH, an implementation of pattern matching macros for Common Lisp, similar to the ones found in `Pattern Matching for Scheme' by Andrew K. Wright. Includes match-lambda and match-let.
• :DE.UUHAUS.LISP is my collection of Common-Lisp Packages, bundled conveniently within one metapackage.
• CL-SATWRAP and CL-CUDD, Common Lisp interfaces for SAT solvers and the CUDD package for handling Binary Decision Diagrams.
• ATROP -- a work-in-progress to provide a replacement of the PORTA code for computations with polyhedra.
• GYWOPT, an interactive system for exploring primal reformulations of integer linear programs, containing an implementation of the Integral Basis Method (with Matthias Koeppe).
• Long ago I wrote a Linux driver for the PalmConnect USB Adapter based on the specs I received from KLSI, now K-Micro, the makers of the KL5KUSB105 chip that the device uses.
• You can read my original story, if you want, but you will find the driver in the stock linux kernel
  since version 2.5.2; stable series kernels contain it since 2.4.18.

Teaching

Spring 2013:

Seminar Combinatorial Optimization and Applications

Fall 2012:

Lecture Systems Modeling and Optimization, please check the Course web site for up-to-date information and exercise material.

Spring 2012:

Seminar Combinatorial Optimization and Applications

Spring 2011:

Seminar Robust Optimization