Find Academic Supervisors

Wolfgang Kunz is a Full Professor (C4, W3) and Chair of Electronic Design Automation at the Technische Universität Kaiserslautern since 2001. His academic career spans multiple prestigious institutions, including Goethe-University Frankfurt/Main and the University of Massachusetts, Amherst. He has held leadership roles such as Dean (2005-2007) and Vice-Dean (2007-2009) at TU Kaiserslautern. Habilitation (Dr. rer. nat. habil.), Computer Science, University of Potsdam (1996) Doctoral degree (Dr.-Ing.), Electrical Engineering, University of Hannover (1992) Dipl.-Ing. degree, Karlsruhe Institute of Technology (1989) His research focuses on hardware verification, security, and optimization, particularly in embedded systems and processors. His work on formal verification methods has been commercialized by companies like Synopsys, Mentor Graphics, and Siemens EDA. His 2016-2021 publications address critical security issues such as Spectre/Meltdown and introduce innovative verification frameworks adopted by industry leaders like Infineon and OneSpin Solutions. Scientific awards include the IEEE Fellow (2006), German IT Society Award (2005), and TU Kaiserslautern Distinguished Teaching Award (2016). He has served on editorial boards of major journals and coordinated the Erasmus Mundus European Master Program in Embedded Computing Systems since 2010. Key students: Jörg Bormann, Raik Brinkmann, Tobias Ludwig Collaborations: Siemens EDA, Infineon, AbsInt, Intel SCAP Spin-offs: LUBIS EDA, OneSpin Solutions

• Hardware Safety and Security
• Formal Hardware Verification
• Embedded Computing Systems
• +5 more

Georges Gielen is Full Professor in the Department of Electrical Engineering (ESAT) at KU Leuven, Belgium, and part-time Research Director at imec. He has held multiple leadership roles including Chair of ESAT Department (2012-2013, 2020-2024) and Vice-Rector for Science, Engineering & Technology (2013-2017). His academic career spans over 30 years at KU Leuven, progressing from Assistant to Full Professor. His research focuses on analog and mixed-signal integrated circuit design automation , with expertise in CAD tools, design optimization, sensor interfaces, and neuromorphic systems. His work bridges hardware design with machine learning, particularly in hardware-efficient AI implementations and biomedical applications. He has pioneered techniques for automated analog circuit sizing, topology synthesis, and reliability-aware design in nanometer CMOS. Gielen has received numerous accolades including the IEEE CAS Mac Van Valkenburg Award (2015), IEEE CAS Charles Desoer Award (2020), and EDAA Achievement Award (2021). He holds an ERC Advanced Grant AnalogCreate and is an IEEE Fellow since 2002. As a prolific scholar, he has chaired major conferences including DATE (2006), ICCAD (2007), and ESSCIRC (2017). He has graduated over 55 PhD students through the MICAS research group at KU Leuven, currently supervising 13 doctoral candidates. His research team collaborates extensively with imec and industry partners on cutting-edge projects in carbon-aware AI accelerators, uncertainty-aware design, and neuromorphic sensor interfaces.

• Analog and mixed-signal integrated circuit design
• Computer-aided design (CAD) of electronic circuits
• Design automation (EDA)
• +5 more

Luca Benini is a Full Professor of Electronics at the University of Bologna's Department of Electrical, Computer and Systems Engineering. He also holds a Visiting Faculty Position at the Ecole Polytechnique Federale de Lausanne (EPFL) and serves as Chief Architect of the Platform 2012 project at STMicroelectronics in Grenoble, France. His educational background includes academic positions progressing from Assistant Professor (1998) to Associate Professor (2001) and finally Full Professor (2006) at the University of Bologna. He has held significant industry positions including IC Architecture and CAD Engineer at Integrated Information Technology Inc. (1994), Senior Member of R&D Staff at Synopsys Inc. (1996), and Visiting Researcher at Hewlett Packard Laboratories (1997-2004). Professor Benini's research focuses on designing systems for ambient intelligence, spanning multi-processor systems-on-chip, networks on chip, and energy-efficient smart sensors and sensor networks. His work has expanded into biochips for biological molecule recognition, bioinformatics, and advanced algorithms for in-silico biology. His expertise in low-power design of integrated circuits and systems earned him IEEE Fellow status in 2007. He has received multiple honors including best paper awards at IEEE GLS-VLSI and the European Wireless Sensor Networks Conference (both 2008), with three of his papers featured in 'Design Automation and Test in Europe - The Most Influential Papers of 10 Years' (Springer 2008). IEEE Fellow (2007) for contributions to design technologies for low power design Member of ARTEMISIA Steering Board (elected twice) Member of European Design and Automation Association Main Board Member of MEDEA+ EDA roadmap committee Member of EC Advisory group on Computing Systems Benini has held significant leadership roles in the academic community, serving as General Chair of the IEEE/ACM Design Automation and Test in Europe Conference (2009), DATE Program Chair (2005), and Program Chair for multiple specialized symposia. He serves as associate editor for several prestigious journals including IEEE Transactions on Computer-Aided Design and ACM Transactions on Embedded Computing Systems, and has organized influential workshops like the Dagstuhl Seminar on Power-Aware Computing Systems.

• Embedded Systems
• Low Power Design
• System-on-Chip
• +7 more

Georges G.E. Gielen is a Full Professor in the Department of Electrical Engineering (ESAT) at KU Leuven (Belgium), where he has been faculty since 1993. He also serves as scientific research advisor at imec (10% appointment). Previously, he held leadership roles including Vice-Rector for Science, Engineering & Technology (2013-2017), Chair of Electrical Engineering Department (2012-2013, 2020-2024), Head of MICAS research group, and PI coordinator of Leuven CHIPS Center of Excellence. He received MSc (1986) and PhD (1990) degrees in Electrical Engineering from KU Leuven. His research focuses on analog/mixed-signal IC design and CAD tools, including design automation, modeling, simulation, optimization, synthesis, and testing. Key areas include data converters, sensor interfaces, low-power design, and EDA tools. He has supervised over 55 PhD graduates and coordinates multiple research projects, including an ERC Advanced Grant (AnalogCreate). Professor Gielen has authored 14 books and over 800 publications, with works spanning circuit design, CAD methodologies, testing techniques, and microelectronics. His publications consistently address emerging challenges in analog/digital integration and design automation. IEEE Fellow (2002) Royal Flemish Academy of Belgium (Technical Sciences) Academia Europaea (Engineering) IEEE CAS Mac Van Valkenburg Award (2015) IEEE CAS Charles Desoer Award (2020) EDAA Achievement Award (2021) 14 additional awards including 4 best paper prizes He leads the MICAS research group focusing on microelectronics and sensors, and has chaired the Leuven ICT research center. He regularly serves on editorial boards of IEEE Transactions and organizes major conferences (General Chair for DATE 2006, ICCAD 2007, ESSCIRC 2017, ETS 2021).

• Analog and mixed-signal integrated circuit design
• Computer-aided design (CAD) of electronic circuits
• Design of integrated data converters
• +7 more

Alexandru Nicolau is a Distinguished Professor and Chair of the Department of Computer Science at the University of California, Irvine (USA), where he has worked since 1992. He previously held positions as Associate Professor (1988–1992) and Assistant Professor (1984–1988) at UC Irvine and Cornell University, respectively. Education : B.A., Brandeis University (1980) MS (1981), Ph.D. (1984), Yale University Research Interests : A leading expert in parallelizing compilers , high-performance computing , and software-hardware co-design , Nicolau pioneered foundational techniques like Percolation Scheduling and Optimal Loop Parallelization . His work enables efficient exploitation of instruction-level parallelism in general-purpose programs, with applications in embedded systems , matrix algorithms , and GPU-based neural networks . He has also contributed to Electronic Design Automation (EDA) and lightweight synchronization protocols . Scientific Awards : IEEE Fellow (2014) ACM SIGPLAN Most Influential Paper (PLDI 20 years) EDAA/IEEE/ACM DATE Most Influential Paper (10 years) ACM ICS Most Influential Paper (25 years) 4 Best Paper awards (VLSI design 2003, ISHPC 2005, CASES 2008, IJCNN 2009) Advising & Grants : He has mentored notable scholars now at Stanford, McGill, and Google, and secured over $20M in funding from NSF , DARPA , and industry leaders like IBM and Intel . His professional service includes chairing ACM ICS’09 and PPOPP’13, and serving on steering committees for LCPC and ICS. Labs & Collaborations : His techniques have been adopted by IBM Watson, Siemens Munich, Fujitsu Labs Japan, and the open-source GCC compiler.

• Parallelizing compilers
• Supercomputing
• High Performance Computing (HPC)
• +5 more

Harald Pretl is a Professor at the Department of Integrated Circuits within the Institute for Integrated Circuits and Quantum Computing at Johannes Kepler University Linz (JKU). Holding the title Univ.-Prof., he maintains active research leadership with current projects extending through 2029 and 107 documented research outputs including patents, articles, and conference proceedings. His research spans integrated circuits, quantum computing, mm-wave transmission, biomedical sensing, and open-source EDA tools. He specializes in high-frequency circuit design, ultra-low-power biomedical sensors, and educational applications of open-source design methodologies for analog/mixed-signal IC development. Recent work demonstrates cross-disciplinary innovation bridging engineering, neuroscience, and artistic expression. Recent publications reveal strong emphasis on practical implementation challenges: THz transmitter efficiency, brain-computer interface applications, ADC performance metrics, and open-source layout automation. These works collectively advance wireless communication systems, biomedical instrumentation, and accessible semiconductor design education through open-toolchain development. Prof. Pretl has supervised 3 students and actively promotes open-source EDA adoption through educational initiatives. His funded projects include Sub-blocks generators for NSSAR ADC (2025-2029), Open Parasitic Extraction for KLayout, and United Micro Technology collaborations, demonstrating sustained industry engagement. He co-leads the JKU LIT - SAL Intelligent Wireless Systems Lab (IWS Lab) and contributes to the High-Performance Integrated Quantum Computing project. Current activities include 42 documented presentations such as 'Using Open-Source EDA Tools in Hands-On IC Design Education' (2025) and 'Recent Developments in Ultra-Low-Power Biomedical Sensing' (2025), reflecting his dual focus on research innovation and pedagogical advancement.

• Integrated Circuits
• Quantum Computing
• mm-Wave Transmission
• +3 more

Francisco Tirado is a Full Professor of Computer Architecture at Complutense University of Madrid since 1986. He has held leadership roles including Vice-Chancellor for Research (2012-2015), Dean of the Faculty of Physics (1994-2002), and Director of the Complutense Supercomputing Center (2002-2007). He is a founding member of the Spanish Society for Computer Science (SCIE) and Spanish Society for Computer Architecture (SARTECO). His research focuses on power-aware computing, heterogeneous systems, bioinformatics, and hardware design automation. He has authored over 242 publications and supervised 15 PhD theses. His professional service includes chairing 138 international conferences and serving on numerous committees for EUROMICRO, IEEE, and national research agencies. Education: No explicit details provided, but has been active at Complutense University since 1978. Affiliations: Member of COSCE Executive Board (2012), IEEE Senior Member (2005), and EUROMICRO Board (1991-2004). Research Interests: - Optimizing energy efficiency in high-performance computing systems - Design of heterogeneous architectures and accelerators - Bioinformatics applications through hardware/software co-design - Parallel programming models for emerging architectures - Automation tools for FPGA and embedded systems development Conference Contributions: Played multiple roles (General Chair, Program Chair) for major events like ParCo, HPCA, and EUROMICRO PDP conferences. Delivered 64 keynote/plenary lectures globally. Scientific Awards: Doctor 'Honoris Causa' from universities in Spain, Paraguay, and Peru 2013 National Computer Science Award IEEE Senior Membership Advising: Supervised 15 PhD students. Active in technology transfer contracts with industry. Labs/Teams: Founder and leader of the ArTeCS research group at Complutense University, specializing in computer architecture and high-performance computing innovations.

• Power Aware Computing
• Heterogeneous Computing
• Applications optimization
• +4 more

Jordi Cortadella is a Full Professor in the Department of Software at the Universitat Politècnica de Catalunya (UPC), Spain. His academic journey spans decades, with a Ph.D. in Computer Science from UPC (1987) and visiting roles at institutions like UC Berkeley and Intel Corporation. A Fellow of the IEEE (2015) and member of Academia Europaea (2013), he specializes in formal methods, concurrency theory, and asynchronous circuit design. His work bridges theoretical and applied research in EDA tools and VLSI systems. Education M.S. in Computer Science, UPC (1985) Ph.D. in Computer Science, UPC (1987) Research Interests : Cortadella's research focuses on algorithms for electronic design automation, asynchronous circuits, and formal methods. Recent publications explore Petri net decomposition, dataflow circuit verification, and ethical frameworks for research governance. His work impacts both theoretical concurrency models and practical applications like FPGA optimization and energy-efficient design. Scientific Awards : Fellow of the IEEE (2015) Member of Academia Europaea (2013) Distinction for University Research Promotion (Catalan Government, 2003) Descartes Prize Finalist (2002) Best Ph.D. Thesis at UPC (1992) National Award for Best Computer Science Student (1986)

• Electronic Design Automation (EDA)
• Concurrency Theory
• Asynchronous Circuits
• +6 more

Andreas Steininger is an Associate Professor in the Department of Embedded Computing Systems at TU Wien. His primary research focuses on fault-tolerant computing, asynchronous logic, and dependable systems. He leads the Embedded Computing Systems group and serves as Director of the Curriculum Commission for Computer Engineering. His work emphasizes resilient hardware architectures, radiation effects in microelectronics, and timing domain interfacing. He has contributed to numerous projects with industry partners like Intel and TTTech Auto AG, addressing challenges in trustworthy autonomous systems and robust distributed algorithms. Key research interests include asynchronous circuits, clockless processors, and error detection mechanisms. He has over 50 publications in top-tier conferences and journals, including IEEE Transactions and ASYNC. Notable contributions include methodologies for mitigating single-event transients in QDI logic and fault-tolerant clock generation schemes. He teaches advanced courses in digital design, computer engineering, and scientific research methods. His projects span radiation-hardened ASIC design, metastability analysis in FPGAs, and secure IoT architectures. He actively collaborates with automotive and aerospace industries to develop solutions for embedded systems reliability. Recent work explores fault resilience in neural networks and energy-efficient asynchronous microprocessors.

• Computer Engineering
• Fault-Tolerant Computing
• Asynchronous Logic
• +7 more

Subhasish Mitra is Professor of Electrical Engineering and Computer Science at Stanford University. He directs the Stanford Robust Systems Group , leads the Computation focus area of the Stanford SystemX Alliance , and is a faculty member at the Wu Tsai Neurosciences Institute . He also holds the Carnot Chair of Excellence in NanoSystems at CEA-LETI in Grenoble, France. His research spans Nano-electronic systems Robust computing Electronic design automation Neurosciences 3D integrated circuits Key publications focus on revolutionary NanoSystems like the first carbon nanotube computer and 3D NanoSystems with computation immersed in data storage . These works combine Nano-electronics , Machine Learning Hardware , and Energy-Efficient Computing , achieving global recognition including Nature Cover Features and NSF Research Highlights to the US Congress. Scientific awards include: SIA-SRC University Researcher Award (2021) Humboldt Research Award (2019) ACM SIGDA/IEEE CEDA Technical Impact Award Presidential Early Career Award (PECASE, 2008) Intel Achievement Award (2004) His X-Compact and QED methodologies for test compaction and system validation are widely adopted in industry (Synopsys, Cadence) and have generated billions in cost savings . His group's work on soft error resilience and circuit failure prediction is standard practice in sub-10nm chip design.

• Nano-electronic systems
• Electronic design automation
• Design and test of electronic systems
• +6 more