جستجوی استاد راهنمای دانشگاهی

Shuang Liuمشاهده پروفایل

پژوهشگر

• Embedded Systems
• Computer Architecture
• Networks-on-Chip (NoC)
• +۳ مورد دیگر

Shuang Liu is a Researcher at the Institute of Computer Architecture and Computer Engineering, University of Stuttgart. Their work focuses on embedded systems, networks-on-chip (NoC), and chip design methodologies. They specialize in deadlock-free routing, fault-tolerant computing, and application-specific system synthesis using advanced techniques like integer linear programming. Research interests include optimizing NoC architectures for chiplet-based systems, co-design of floorplanning and routing topologies, and energy-efficient signal processing in medical electronics. Their recent work emphasizes formal verification methods and performance optimization in hardware-software co-design. Publications span topics such as deadlock prevention in NoC, ILP-based routing synthesis, and trade-offs in hearing aid ASIP design. Office hours are Monday 2–3 p.m. in Room 1.001, Pfaffenwaldring 5b, Stuttgart.

Alan Huمشاهده پروفایل

استاد

• Formal Verification
• Algorithms
• Computer Architecture
• +۳ مورد دیگر

Alan Hu is a Professor in the Department of Computer Science at the University of British Columbia (UBC), part of the Faculty of Science. His research focuses on formal verification, algorithms, computer architecture, and electronic design automation. He teaches courses such as Intermediate Algorithm Design and Analysis (CPSC 320) and Introduction to Formal Verification and Analysis (CPSC 513). Dr. Hu has received notable awards, including the IEEE Council on Electronic Design Automation Outstanding Service Award and the IBM Faculty Award. His work emphasizes scalable verification techniques, SAT-based algorithms, and optimization in cloud computing and hardware systems. His research spans formal methods for hardware/software systems, including verification of embedded software, cache coherence, and network function virtualization. Notable contributions include advancements in SAT modulo theories, data race detection in heterogeneous systems, and cloud resource allocation frameworks like Cospot. Dr. Hu has been actively involved in teaching and curriculum development, consistently offering courses on algorithms, formal verification, and software design since 2000. His publications reflect a blend of theoretical foundations and practical applications in electronic design, cloud infrastructure, and verification tools. His scientific achievements include innovations in post-silicon validation, emulation-based coverage reduction, and formal analysis for debug trace optimization. He also contributes to the academic community through conference organization and editorial roles in formal verification and computer-aided design.

Anirudh Sivaramanمشاهده پروفایل

استادیار

• Computer Networks
• Network Programmability
• Distributed Systems
• +۳ مورد دیگر

Anirudh Sivaraman is an Assistant Professor of Computer Science at New York University's Courant Institute, specializing in computer networks and programmability. He holds a PhD from MIT (2017) and a BTech from IIT Madras (2010). His research focuses on enabling ubiquitous network programmability through hardware-software systems, including compilers, runtimes, and applications like distributed consensus and financial exchanges. Education: Ph.D. in Computer Science, MIT (2012–2017) S.M. in Computer Science, MIT (2010–2012) B.Tech in CSE, IIT Madras (2006–2010) Research Interests: Network programmability (e.g., P4, Barefoot Networks) High-speed packet processing and compiler optimization Distributed systems and consensus protocols Cybersecurity in programmable networks Cloud computing and microservice autoscaling Notable Articles Trends: Focus on programmable networks (P4, NIC design) Hardware-software co-design for performance Security and isolation in multi-tenant environments Compiler-based solutions for bug detection Awards: ACM SIGCOMM Doctoral Dissertation (2017), SIGCOMM Best Paper (2017), and multiple teaching awards. Advising & Grants: PI on grants totaling $900K+ (Google, Amazon, NSF). Advises 8+ PhD/Master’s students. Serves on committees for SIGCOMM, NSDI, and HotNets. Labs/Teams: Technical advisor at Clockwork. Co-organizes workshops on programmable networks and P4 standards.

Gerd Vandersteenمشاهده پروفایل

استاد

• Nonlinear Systems Analysis
• RF Circuit Design
• System Identification
• +۵ مورد دیگر

Gerd Vandersteen is a Professor at the Vrije Universiteit Brussel (VUB) in the Department of Electronics and Informatics within the Faculty of Engineering. He serves as part-time Director (30%) of the Doctoral School of Natural Science and (Bio)Engineering (NSE) at VUB. His career spans academic research and industry collaboration, with significant contributions to nonlinear systems analysis and RF circuit design. His research interests focus on Nonlinear Systems Analysis , RF Circuit Design , System Identification , and Microwave Engineering . Vandersteen combines theoretical expertise in modeling nonlinear systems with practical experience in analog and RF design. His work emphasizes simulation-based analysis techniques, particularly using the Best-Linear-Approximation method for nonlinear system characterization. Vandersteen's publication record shows consistent output with 363 research outputs, including 103 articles and 164 conference papers. His recent work spans diverse areas from Arabic language processing to advanced RF measurement techniques, demonstrating interdisciplinary reach while maintaining core expertise in electronic systems. Key trends include nonlinear distortion analysis, frequency response characterization, and system identification methodologies. Best Paper Award (2002) Best Paper Award for 'Synchronizing modulated NVNA measurements on a dense spectral grid' (2012) IEEE Senior Member (2007) IEEE Instrumentation and Measurement Society Outstanding Reviewer (2014) As an educator, Vandersteen teaches CAE tools for electronic design, microwave design, and telecommunication techniques at VUB. He mentors PhD students through the international spring school on system identification and modeling techniques. His research is supported by multiple active projects including SRP78 (Center for Model-Based Systems Improvement), HERC61 (110 GHz real-time oscilloscope development), and VLOV106 (Flemish AI Academy establishment).

Karsten Wolfمشاهده پروفایل

استاد

• Theoretical Computer Science
• Formal Methods
• Model Checking
• +۳ مورد دیگر

Professor Karsten Wolf holds the Chair of Theoretical Computer Science at the Institute of Computer Science, University of Rostock. He serves as Vice-Rector for Studies and Teaching and holds several key positions including Member of the Senate Commission for Studies, Teaching and Evaluation, and Spokesperson of the specialist group "Petri Nets and Related System Models" of the German Informatics Society. His research focuses on theoretical computer science, particularly in the areas of: Development of correct systems Computer-aided verification Algorithms for Web Services Petri Nets and related system models Professor Wolf's publication record demonstrates consistent expertise in formal verification methods, with recent work emphasizing modular state spaces, temporal logic verification, and approximation techniques. His involvement in the Model Checking Contest (2018-2024) shows his commitment to advancing verification methodologies through empirical evaluation and benchmarking. His professional service includes: Editorial board member of LNCS subseries ToPNOC (Theory of Petri nets and other models of concurrency) Editorial board member of Petri Net Newsletter Member of the German Computer Science Society (GI) Head of the Study Commission of the Faculty Day of Computer Science As Vice-Rector for Studies and Teaching, Professor Wolf plays a critical role in shaping educational policies and academic programs at the University of Rostock, bridging his theoretical expertise with practical educational leadership.

Stavros Tripakisمشاهده پروفایل

دانشیار

• Formal Methods
• Computer-Aided Verification and Synthesis
• Safety-Critical Systems
• +۴ مورد دیگر

Stavros Tripakis is an Associate Professor at the Khoury College of Computer Sciences at Northeastern University , where he joined in 2018. He is on sabbatical during the 2024-2025 academic year. His research focuses on the foundations of software and system design , emphasizing formal methods , computer-aided verification and synthesis, with applications to safety-critical, embedded, and cyber-physical systems, security, and trustworthy AI. He leads a group developing theory and tools for designing better systems. Recent publications explore distributed protocol synthesis, neural network verification, and inductive invariant inference, reflecting trends in formal methods for AI and distributed systems. His work often intersects with automated reasoning, model checking, and tool development. Scientific awards include the Distinguished Artifact Award at TACAS 2018 for the Refinement Calculus of Reactive Systems (RCRS) toolset. He advises Derek Egolf , Daniel Melcer , and William Schultz (graduated 2025). Former postdocs include Rômulo Meira-Góes (now Penn State) and Eunsuk Kang (now CMU). Current projects include the NSF FMitF grant (2023-2027) on safe multi-agent reinforcement learning and the NSF SaTC grant (2018-2022) on protocol design.

Fons van der Sommenمشاهده پروفایل

دانشیار

• Medical Image Analysis
• Computer-Aided Diagnosis
• Artificial Intelligence
• +۲ مورد دیگر

Fons van der Sommen is an Associate Professor in Electrical Engineering at Eindhoven University of Technology, specializing in Video Coding & Architectures. He leads research on computer-aided detection systems for early cancer diagnosis, particularly focusing on esophageal and colorectal neoplasia through advanced AI and computer vision techniques. His research interests span medical image analysis, AI-assisted diagnostics, and developing robust systems for clinical deployment. Recent publications focus on overcoming real-world implementation challenges of AI in endoscopy and enhancing the trustworthiness of diagnostic systems. Recent research trends show strong emphasis on surgical AI applications (robot-assisted procedures), generative models for medical data augmentation, and quality assurance frameworks for clinical AI deployment. His work integrates deep learning with clinical validation across gastrointestinal and pulmonary oncology. TU/e Best PhD Thesis Award (2018) Best Poster Presentation (2017, 2013) He coordinates multiple research projects including TASTI-XECS221002 (Advanced AR for AI-based Servitization) and XL-ARGOS (extended reality solutions). Manages collaborations with medical centers on AI implementation for cancer screening.

Jia Wangمشاهده پروفایل

دانشیار

• VLSI Design Automation
• Embedded Systems
• Algorithm Design
• +۴ مورد دیگر

Jia Wang is an Associate Professor in the Department of Electrical and Computer Engineering at Illinois Institute of Technology (IIT), affiliated with the Armour College of Engineering. He joined IIT in 2008 after completing his Ph.D. in EECS from Northwestern University. His research focuses on VLSI design automation, embedded systems, and algorithm design, with particular emphasis on power grid analysis, cloud computing security, and hardware-software co-design. Education: B.S., Electronic Engineering, Tsinghua University (2002) M.S., Electrical and Computer Engineering, Northwestern University (2005) Ph.D., Electrical Engineering and Computer Science, Northwestern University (2008) Research Interests: Dr. Wang’s work addresses challenges in VLSI design automation, including sequential optimization, floorplanning, and design for manufacturability. He explores synthesis techniques for embedded systems and distributed systems, and develops algorithms for secure cloud computing and energy-efficient systems. Key areas include power grid verification, secure outsourcing of computations, and scalable simulation methods. Courses Taught: ECE 429: Introduction to VLSI Design ECE 587: Hardware/Software Co-Design ECE 449: Object-Oriented Programming and Computer Simulation ECE 586: Fault Detection in Digital Circuits ECE 473: Cloud Computing and Cloud Native Systems Professional Contributions: He leads the ACG Floorplanner project , a widely referenced tool for floorplan optimization. His research has been published in top-tier journals and conferences such as IEEE Transactions on Computer-Aided Design, DAC, and ICCAD. He actively contributes to education through curricula development in VLSI, cybersecurity, and cloud computing.

Carl Sechenمشاهده پروفایل

استاد

• Digital Integrated Circuits
• Analog Integrated Circuits
• Computer-Aided Design (CAD)
• +۵ مورد دیگر

Carl Sechen is a Professor in the Electrical & Computer Engineering Department at the University of Texas at Dallas (UT Dallas), affiliated with the Erik Jonsson School of Engineering and Computer Science. His research focuses on design and computer-aided design (CAD) of digital/analog integrated circuits, with a strong emphasis on secure ICs and transistor-level programmable fabrics. He leads projects like the TRAP fabric, which achieves 10X logic density over traditional FPGAs while enabling secure hardware through IC redaction. Education: Ph.D. (1987, UC Berkeley), M.S. (1977, MIT), B.E.E. (1975, University of Minnesota). Awards include IEEE Fellow (2002), UTD Distinguished Teaching Award (2014), and multiple Semiconductor Research Corporation awards. His work bridges theoretical CAD advancements with practical hardware security solutions. Research Highlights: Secure IC design, transistor-level programmability, FPGA architecture, hardware security. Key Projects: TRAP fabric development, anti-reverse engineering techniques, low-power design methodologies. Awards: Over 20+ honors including best paper awards at PRIME (2017) and DATE (nominated 2017). Publications span journals like IEEE Transactions on CAD and conferences such as DATE, ISCAS, and VTS. Current work emphasizes secure hardware through obfuscation and programmable logic innovations.

Roderick Bloemمشاهده پروفایل

استاد

• Formal Verification
• Reactive Synthesis
• Hardware Security
• +۲ مورد دیگر

Roderick Bloem is Full Professor of Computer Science at Graz University of Technology, heading the Institute of Information Security. He holds MSc from Leiden University (1996) and PhD from University of Colorado Boulder (2001). His research develops formal methods for verification, reactive synthesis, and hardware security. Current projects include: adaptive simplex architectures for safety-critical systems, controller synthesis for blackbox systems, provably secure cryptographic implementations, and threat model repair frameworks. Bloem edited the Handbook of Model Checking and organized premier conferences including Computer Aided Verification (CAV) and Formal Methods in Computer Aided Design (FMCAD). He leads Austrian National Research Network on Rigorous Systems Engineering.

Nian-Ze Leeمشاهده پروفایل

استادیار

• Formal Methods
• Hardware Verification
• Software Verification
• +۳ مورد دیگر

Nian-Ze Lee is an Assistant Professor at the Department of Electrical Engineering of National Taiwan University, leading the Formal Methods and Analysis for Computing and Engineering Laboratory (ForMACE Lab). He is also a Guest Professor affiliated with the Software and Computational Systems Lab (SoSy-Lab) at Ludwig-Maximilians-Universität München (LMU Munich), Germany. He holds a Ph.D. in Electronics Engineering from National Taiwan University (2021). His research focuses on formal methods, hardware and software verification, and circuit-based analysis. Education: Ph.D. in Electronics Engineering, National Taiwan University (2021) Research Interests: Formal methods for hardware and software systems Model checking and verification frameworks Circuit-based program verification (e.g., Btor2C translator) Algorithm selection for verification tools Awards: ACM SIGSOFT Distinguished Paper Award (2025) Best Artifact Award (2024) DFG Grant for Bridging Hardware and Software Analysis (2024) Advising & Grants: Supervises Ph.D./Master’s students on topics like algorithm selection and verification frameworks Recipient of DFG grant enabling collaboration between NTU and LMU Munich Labs/Teams: ForMACE Lab (NTU) – Focuses on formal methods and system analysis SoSy-Lab (LMU) – Collaborations on verification tools and frameworks

• Computer Architecture
• Embedded Systems
• RISC-V
• +۵ مورد دیگر

Prof. Daniel Müller-Gritschneder is a Full Professor of Computer Architecture at TU Wien's Institute of Computer Engineering (Faculty of Informatics) since 2024. Previously, he held roles as research group leader at TU Munich's Chair of Electronic Design Automation and acting professor for Real-Time Systems at TU Munich. He earned his Dipl.-Ing. (2003), Dr.-Ing. (2009), and Habilitation (2019) from TU Munich. His research focuses on Electronic System Level Design, RISC-V domain-specific architectures, embedded ML compiler toolchains, functional safety, and hardware security. He collaborates extensively with industry partners like Infineon, Bosch, BMW, and Mercedes. Active in the RISC-V community, he co-initiated the RISC-V Summit Europe and serves on steering committees for conferences such as DAC, ICCAD, and DATE. Key Research Themes: RISC-V ISA extensions and toolchain development Edge AI/ML on embedded systems Secure and safety-critical processor design High-level synthesis and performance simulation Awards: Best Student Paper Award (2024), IEEE Winter Conference on Computer Vision Habilitationspreis (2019), TU Munich Alumni Association Senior IEEE Member (2019) Teaching includes courses like 'High-Level Synthesis', 'Computer Organization', and 'Embedded Systems Design'. Current projects involve lightweight software for IoT devices and pre-silicon validation of safety-critical RISC-V systems. His work bridges academic research with industrial application through collaborative projects and open-source tool development.

Joel Grodsteinمشاهده پروفایل

مدرس

• VLSI Design
• Computer Architecture
• Computer-Aided Design (CAD)
• +۴ مورد دیگر

Joel Grodstein is a Lecturer in the Department of Electrical Engineering at Tufts University's College of Engineering. He holds a BSEE from Case Western Reserve University (1981) and an MSCS from the University of Utah (1986). His research spans VLSI design, computer architecture, and interdisciplinary bioelectricity studies, focusing on the intersection of hardware-software systems and biological applications. He teaches courses on real-time embedded systems, parallel computing, bioelectricity, and digital design verification. His career includes roles at Digital Equipment Corporation, Compaq, Intel, and now academia. His recent work bridges computational modeling of bioelectric networks with traditional hardware design, as seen in collaborations with Mike Levin's lab at Tufts. Courses like EE 123 (Bioelectricity) and new offerings like EE 152 (Real-Time Embedded Systems) reflect this dual focus. Publications emphasize symbolic timing analysis, CAD tools for VLSI, and bioelectric systems. He has advised no listed students but collaborates actively with industry partners (e.g., NVIDIA for EE 165). His lab work involves biophysical modeling and synthetic biology projects, as detailed in his recent bioelectricity-related papers.

• Computer technology
• Forensic psychology
• Information and communication technology
• +۱۰ مورد دیگر

Michael Alexander Riegler is a full-time Professor at Oslo Metropolitan University's Faculty of Social Sciences, specifically in the Department of Social Work, Child Welfare and Social Policy. While his formal academic affiliation focuses on social sciences, his research interests span interdisciplinary domains including computer technology, information and communication systems, medical technology, and mathematics/natural sciences. Current research projects: Strengthening solidarity for democratic unity across border (SOLIDEM) addressing trust erosion in European welfare states, and Artificial intelligence in assisted reproduction technology improving embryo/sperm selection Recent publications (2025) focus on AI applications in healthcare (wearable sensors, ECG reconstruction), anomaly detection in time-series data, multimodal healthcare data analysis, and psychiatric motor activity datasets

• VLSI Design
• Computer-Aided Design
• Electronic Design Automation
• +۴ مورد دیگر

Matthew R. Guthaus is a Professor in the Electrical and Computer Engineering Department at the University of California Santa Cruz's Baskin School of Engineering. With an active research career spanning over two decades, his work focuses on VLSI design, Electronic Design Automation, and memory systems. His research interests include VLSI Design, Computer-Aided Design, Electronic Design Automation, Memory Design, Clock Distribution, Resonant Clocking, and Machine Learning for EDA. Guthaus has made significant contributions to open-source EDA tools, most notably OpenRAM, which has become an important resource for memory compiler development in academia and industry. Analysis of his recent publications (2021-2025) reveals a strategic evolution in his research, incorporating machine learning techniques into traditional EDA problems while maintaining strong foundations in circuit design. His work spans from fundamental circuit design to high-level system considerations, with particular emphasis on open-source frameworks that enable broader collaboration in the semiconductor community. Guthaus has been actively involved in national initiatives addressing semiconductor research and workforce development, as evidenced by his contributions to NSF workshops on integrated circuits. His recent publications show continued innovation in memory design, clock distribution, and the application of AI to traditional EDA challenges. His research has practical applications in low-power circuit design, high-performance computing systems, and the growing field of neuromorphic computing. The consistent publication record through 2025 demonstrates ongoing active research and leadership in the EDA community.