Dr. rer. nat. Utz-Uwe Haus

I am working at the newly founded Cray EMEA Research Lab (CERL).
Previously I was a senior researcher in Applied Discrete Mathematics and Optimization at the Institute for Operations Research at ETH Zürich, a junior research group leader at the Magdeburg Center for Systems Biology (MaCS) (a FORSYS center of the German BMBF), PhD student and PostDoc at the Institute for Mathematical Optimization of the University of Magdeburg, and student at Technical University of Berlin working at Konrad-Zuse-Institute Berlin (ZIB) and here.

Publications

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

Projects

My main research topics are in Applied Discrete Mathematics and Optimization. I am particularly interested in the application of Discrete Mathematics in financial and traditional engineering, systems theory, biology and medicine as well as more traditional Operations Research.

I was 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 and was affiliated with the SYBILLA EU FP7 consortium.

Check out the Rearrangement Algorithm Project website, a fascinating method linking bottleneck assigment problems and computation of numerically sharp lower and upper bounds on the distribution of a function of a number of dependent random variables having fixed marginal distributions.

Software Projects

• SNWEB -- Signaling Network Web Interface. Please contact me if you are interested in using this. This is the base of the Virtual T-Cell, an on-line interactive version of the human T-cell signalling network.
  This virtual T cell includes 403 elements (proteins or other signalling molecules) covering 15 inputs (receptors such as the TCR, its co-receptor CD4/CD8, IL2 receptor, etc), and 52 outputs (representing transcription factors, cell cycle regulators, etc.).
  This is a project with the SYBILLA (Systems biology of T-cell activation in health and disease) consortium. (Source code not available)
• cl-jointgen -- a free and extensible implementation of Joint Generation Algorithms in Common Lisp. If the language barrier seems too high, there is also
  a C implementation, check out jointgen-c.
• 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.
• I keep a NTL git mirror of the Number Theory Library of Viktor Shoup on my GitHub page
• CL-SATWRAP and CL-CUDD, Common Lisp interfaces for SAT solvers and the CUDD package for handling Binary Decision Diagrams.
• CL-PASSWORD-STORE, a password management for Common Lisp (web) applications.
• 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 (while at ETH)

Fall 2014:

Lecture Introduction to Mathematical Optimization

Spring 2014:

Seminar Geometry and Optimization

Fall 2013:

Lecture Systems Modeling and Optimization

Spring 2013:

Seminar Combinatorial Optimization and Applications

Fall 2012:

Lecture Systems Modeling and Optimization

Spring 2012:

Seminar Combinatorial Optimization and Applications

Spring 2011:

Seminar Robust Optimization