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