Welcome to the
ALGOS Group Homepage

The strategic objective of our research group is the development of a center of excellence in the areas of algorithms for optimization, modeling and simulation. Current areas of application include, but are not limited to, electronic circuit design and verification and software verification.