The current research of the members of the ALGOS group are multifold and cover both our current areas of research as well as new areas that we wish to extend our activities into:

• Electromagnetic Modeling and Analysis: accurate modeling and analysis tools and methodologies require clustering together the electromagnetic and electric levels. Joint work with foundry providers (AMS, Austria), system design units (NXP), as well as tool providers (Magwell, Cadence).
• Power grid analysis and verification, including DC, transient and electromigration analysis for very large power grid designs (in excess of hundreds of millions of nodes). Joint work with IBM Austin Labs, USA.
• Variability-Aware Modeling and Verification: increasing uncertainty in process control implies shifts in design that require overhauling existing tools and methodologies. Joint work with IBM Labs, USA and Cadence Research Labs, USA.
• Multi-valued Synthesis: Multi-valued systems represent information with smaller silicon area and reduced power consumption versus a binary representation. However their efficient synthesis needs to be addressed. Joint work with UFRGS, Brazil.
• Dedicated architectures for biological algorithms and other applications: high data volume for processing biological data requires dedicated platforms and computational architectures to increase capability and improve efficiency. New architectures including specialized structures for bio-algorithms will be addressed.
• Validation of Embedded Systems: we address the problem of testing embedded systms. This problem has become more important with the dramatic increase of the size and complexity of the programs. Furthermore, many of these systems are used in life-critical applications. Validation of embedded systems is hard because of their heterogeneity and because software and hardware should be simulated simultaneously.
• Heterogenous, multi-core and distributed algorithms: recognized and growing mismatch between widespread availability of a multitude of powerful and flexible computing platforms and increasing computational needs in many area needs to be addressed for improving efficiency of resource utilization.
• Compiler optimization: automatic generation of pre-conditions for formally provable correct code optimizations.