Systems design is a creative process in which humans play the most essential part. For this process to be effective, designers must be able to harness the tremendous computational power that is at their disposal. Advances in manufacturing make it possible to realize ever more complex systems with exponentially increasing numbers of concurrent components. State-of-the-art systems typically incorporate millions of lines of code as well as billions of digital, analog, and optical components. The main question facing designers today is how to make these components work together to achieve the desired outcome. Meeting this challenge draws equally upon their ingenuity and their skillful use of design automation technology. In order to manage complexity and build correct, optimal designs, designers must be equipped with advanced tools and techniques. At the Center for Advanced Design Technologies at Koc University, our research is driven by the necessity to develop theory, algorithms, tools and techniques that aid various phases of the design process. We develop technologies for the: modeling and specification analysis verification optimization computational prototyping of embedded systems multi-core, heterogeneous VLSI systems on a chip concurrent software systems distributed heterogeneous systems integrated analog, mixed-signal systems wireless, wire-line and optical telecommunication systems. In our work, we build upon: formal techniques numerical methods stochastic modeling mathematical logic dynamical systems and emphasize scientific, systematic, general and rigorous approaches.