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

Rajit Manohar is the John C. Malone Professor of Electrical & Computer Engineering at Yale University, with appointments in Applied & Computational Mathematics and Computer Science. He is a core member of the interdisciplinary Computer Systems Lab (CSL), which bridges ECE and CS departments. His research focuses on asynchronous VLSI design, neuromorphic computing, and hardware-software co-design. Education: Manohar holds a B.S., M.S., and Ph.D. from the California Institute of Technology. His academic career spans over two decades, with notable contributions to asynchronous circuit theory and neuromorphic engineering. Research Interests: Manohar's work emphasizes energy-efficient asynchronous architectures, concurrency control, and biologically inspired computing. He explores topics like formal methods for circuit verification, cognitive systems, and dynamic sensor networks. His lab develops tools like Fluid (asynchronous synthesis) and Neurobench (neuromorphic benchmarking). Publications: Recent work includes advancements in asynchronous logic synthesis (Maelstrom), neuromorphic frameworks (Neurobench), and scalable brain-computer interfaces (SCALO). His research often intersects NSF-funded projects in energy-aware computing and neuromorphic systems. Awards: Inaugural Misha Mahowald Prize (2025), MIT TR35 (2000s), IBM Goldberg Award (2023) Grants & Labs: Manohar leads NSF-supported initiatives in carbon-aware networking and neuromorphic hardware. The Computer Systems Lab collaborates across disciplines to advance sustainable computing and neuro-inspired architectures.

• Asynchronous VLSI Design
• Concurrency
• Formal Methods
• +۵ مورد دیگر

Bo Liu is a Professor of Electronic Design Automation at the University of Glasgow, specializing in AI-driven electronic design. He holds a B.Eng. from Tsinghua University (2008) and a Ph.D. from KU Leuven (2012). Previously, he was a Humboldt Research Fellow (2012–2013), Lecturer at Wrexham Glyndŵr University (2013–2020), and promoted to Reader (Associate Professor) in 2016 before joining Glasgow in 2020. Research focuses on AI-driven methodologies for analog ICs, antennas, and microwave systems. Key contributions include pioneering AI-assisted optimization in RF design and first industrial-use AI tools for mm-wave ICs. His work bridges machine learning and domain knowledge, addressing bottlenecks in electromagnetic simulations and antenna design complexity. He leads the AIDAC lab and collaborates with industry on EDA tools. Scientific awards include Fellow of IET and Senior Member of IEEE. He serves as an associate editor for IEEE Transactions on CAD and Complex and Intelligent Systems. Current research explores AI-driven design tools, including funded PhD projects on microwave filters, analog IC optimization, and 5G antennas.

• AI-driven electronic design
• Machine Learning
• Optimization techniques
• +۵ مورد دیگر

Marcelino Santos is a Full Professor at the University of Lisbon's College of Engineering, affiliated with INESC-ID research institute. He teaches courses such as Testable Integrated Circuits, Microelectronics, and Integrated Circuit Systems. His research focuses on analog/mixed-signal design, power management systems, biomedical circuits, and IoT applications with an emphasis on reliability and energy efficiency. Recent work includes high-precision temperature sensors, power management unit automation, and fault-tolerant circuit design. Publications highlight advancements in integrated circuit design (e.g., voltage references, modulators), biomedical applications (electrodermal activity sensing), and renewable energy systems (agri-PV integration). He has contributed to over 50 peer-reviewed articles spanning 20+ years, demonstrating sustained innovation in both technical and biomedical domains. Collaborations include industry partnerships for EDA tools (ActivIC) and medical device development. No scientific awards are explicitly listed, but his prolific output indicates significant contributions to multiple engineering disciplines. His work often bridges theoretical circuit design with practical applications in healthcare and sustainable energy sectors.

• Integrated Circuits
• Microelectronics
• Power Management Systems
• +۵ مورد دیگر

Jaijeet Roychowdhury is a Professor of Electrical Engineering and Computer Sciences (EECS) at the University of California, Berkeley. He specializes in machine learning, novel computational paradigms, and the analysis/simulation of cyber-physical, electronic, and biological systems. His research group pioneered self-sustaining oscillator-based Ising machines and contributed to oscillator phase macromodeling, nonlinear system reduction, and open-source prototyping platforms like MAPP. Education: B.Tech., Electrical Engineering, Indian Institute of Technology (IIT) Kanpur, 1987 M.S., Electrical Engineering & Computer Science, UC Berkeley, 1989 Ph.D., Electrical Engineering & Computer Science, UC Berkeley, 1993 Research Interests: Machine learning integration with physical systems Innovative computational hardware (e.g., oscillator-based Ising machines) Oscillator networks for unconventional computing Nonlinear dynamical systems analysis Analog circuit simulation and verification Awards & Recognition: 2019 Bell Labs Prize (with Tianshi Wang) 2009 IEEE Fellow 2019-2023 Bakar Foundation Awards Bell Labs' Extraordinary Achievement Award (1996) Advising & Industry: Notable advisee: Tianshi Wang (Bell Labs Prize co-winner) Cofounder of Berkeley Design Automation (acquired by Mentor Graphics) Leadership roles at AT&T Bell Labs, Bell Labs, and CeLight Inc. Lab & Tools: Leads the Roychowdhury Research Group, developing MAPP (Model and Algorithm Prototyping Platform) and PHLOGON phase-based logic frameworks.

• Machine Learning
• Cyber-Physical Systems
• Novel Computational Paradigms
• +۴ مورد دیگر

Jens Lienig has been a Professor at Technische Universität Dresden since 2002, where he directs the Chair of Development and Design of Precision Engineering and Electronics. His research spans Electronic Design Automation (EDA), electromigration analysis, 3D IC design, constraint-driven methodologies, and precision device development. He holds memberships in IEEE, VDE/VDI GMM, and technical committees, and has led conferences like ISPD 2021 as General Chair. Research interests focus on: Reliability Engineering : Electromigration-aware IC design, thermal/stress modeling in interconnects. Advanced Design Automation : 3D physical design algorithms, analog layout generators, constraint propagation. Precision Devices : MEMS sensors, peristaltic pumps, SAW motors, pyroelectric detectors. Recent articles (2019–2025) emphasize electromigration robustness, aerosol sensor signal processing, and open-source EDA tools. Over 15 doctoral students have completed under his supervision, including dissertations on electromigration, MEMS, and infrared sensors.

• Electronic Design Automation
• Electromigration
• 3D Integrated Circuit Design
• +۵ مورد دیگر

Alex Doboli is a Professor in the Department of Electrical and Computer Engineering at Stony Brook University, State University of New York. He is also affiliated with SUNY Korea’s Department of ECE. His academic journey includes a Ph.D. in Computer Engineering from the University of Cincinnati (2000) and earlier degrees from Politehnica University Timisoara, Romania (B.Eng. 1990, Doctorate 1997). He served as junior faculty at Politehnica University before joining Stony Brook in 2000. His research focuses on Electronic Design Automation (EDA) , Cyber-Physical Systems , and Human-inspired Machine Learning . Key areas include analog/mixed-signal design, innovation methodologies, and data-driven design approaches. He has authored over 170 peer-reviewed publications and co-authored a textbook on mixed-signal design. His lab, the Mixed-Domain Embedded Systems Laboratory , explores team behavior modeling, IoT integration, and cognitive architectures. Dr. Doboli has advised 17 Ph.D. and 12 M.S. students. Notable awards include the IBM Partnership Award (2001) and the Traian Lalescu Award (1987). He serves as an Associate Editor for Integration, the VLSI Journal and holds leadership roles in professional organizations like the IEEE Long Island Circuits and Systems Society. His teaching spans undergraduate and graduate courses in programming, algorithms, VLSI design, and machine learning. Current courses include ESE 327: Fundamental Algorithms for Machine Learning and ESE 589: Learning Systems for Engineering Applications . Recent research highlights include automated dialog systems (diaLogic), IoT-human behavior integration frameworks, and studies on artistic understanding in neural networks. His work bridges EDA, machine learning, and embedded systems to advance design innovation and human-centric technologies.

• Electronic Design Automation (EDA)
• Cyber-Physical Systems
• Mixed-Domain Embedded Systems
• +۵ مورد دیگر

Jordi Cortadella Fortuny serves as a Full Professor in the Department of Computer Science at the Faculty of Informatics of Barcelona (FIB), Polytechnic University of Catalonia (UPC), where he has maintained continuous academic service since 1985. He currently chairs the UPC Ethics Committee (2021-2025) and leads research within the ALBCOM group specializing in algorithms, bioinformatics, complexity, and formal methods. Education: M.S. in Computer Science, Universitat Politècnica de Catalunya, 1985 Ph.D. in Computer Science, Universitat Politècnica de Catalunya, 1987 Research Interests: Professor Cortadella's pioneering work centers on Electronic Design Automation (EDA) with deep specialization in asynchronous circuit design and concurrent systems . His research integrates formal methods and mathematical optimization to solve complex VLSI design challenges, particularly in logic synthesis and computer arithmetic. This interdisciplinary approach bridges theoretical computer science with practical semiconductor engineering, yielding significant industry impact through patented methodologies and industrial collaborations. Scientific Awards: Fellow of the IEEE (2015) Member of Academia Europaea (2013) Distinction for University Research Promotion by Catalan Government (2003) Five-time Best Paper Award recipient at premier conferences (2004-2020) Descartes Prize Finalist (2002) UPC Best Ph.D. Thesis Award (1992) National Computer Science Student Award (1986) Advising and Service: Cortadella has mentored numerous graduate students while serving on editorial boards for IEEE Transactions on CAD and SN Computer Science. His extensive service includes technical committee leadership at major international conferences and co-founding Elastix Corp. as Chief Scientist (2007-2010), where he directed Barcelona-based R&D for semiconductor verification tools. Research Infrastructure: As core member of the ALBCOM research group, he directs projects in algorithmic foundations of EDA, maintaining strong industry partnerships with Intel and semiconductor design firms through UPC's CITCEA laboratory facilities.

• Electronic Design Automation
• Concurrent Systems
• Algorithms
• +۶ مورد دیگر

Ayan Chakraborty is a Research Fellow at the École Polytechnique Fédérale de Lausanne (EPFL) , affiliated with the School of Computer and Communication Sciences and the Department of Computer Science . He works at the Parallel Systems Architecture Laboratory (PARSA) and is part of the doctoral program in computer and communication sciences. Bachelor of Technology in Electronics & Electrical Communications Engineering (E&ECE) from IIT Kharagpur, 2022 Minor in Computer Science & Engineering (CSE) at IIT Kharagpur Ayan’s research focuses on building high-performance scalable computing systems for future server workloads using a hardware-software co-design approach. His prior work includes developing Electronic Design Automation (EDA) tools for analog circuit verification and exploring High-Level Synthesis (HLS) for accelerators via functional programming. He also has industrial experience in formal verification at NVIDIA. He serves as President of the EPFL PhDs of I&C (EPIC) association and is based at EPFL’s INJ 215 office.

• High-Performance Computing
• Hardware-Software Co-design
• Electronic Design Automation
• +۵ مورد دیگر

Santa Di Cataldo is an Associate Professor at the Department of Control and Computer Engineering (DAUIN) of Politecnico di Torino. His research focuses on computer vision, pattern recognition, digital image processing, and medical image processing, with applications in industrial systems and AI for manufacturing. Scientific Branch: IINF-05/A - Information Processing Systems ERC Sectors: PE6_8 - Computer graphics, computer vision, multi media, computer games ERC Sectors: PE6_11 - Machine learning, statistical data processing His work includes developing AI-driven anomaly detection frameworks, physics-informed neural networks for additive manufacturing optimization, and neuro-symbolic approaches for Industry 4.0 applications. He supervises PhD students in Artificial Intelligence and Computer Engineering programs, collaborating on projects like BIG (Blue Is Green) and PNRR-Complementary Plan. Premio Donna Innovazione (2010) He leads courses such as Machine Learning in Applications and Applied AI and Machine Learning , while contributing to bioinformatics and robotics-related teaching. His research is supported by IAM@PoliTo and EDA groups, utilizing LADISPE laboratory facilities.

• Computer vision and pattern recognition
• Digital image processing
• Medical image processing
• +۴ مورد دیگر

Rolf Drechsler is a Full Professor and Head of the Group of Computer Architecture at the University of Bremen's Institute of Computer Science since 2001, and Director of the Cyber-Physical Systems Group at DFKI Bremen since 2011. He holds an adjunct professorship at the Indian Statistical Institute and has been affiliated with Duke University. Education: Diploma (1992) and Dr. phil. nat. (1995) in Computer Science from Goethe University Frankfurt Academic Leadership: Dean of Mathematics and Computer Science Faculty (2018-2025), Vice Rector for Research (2008-2013) His research focuses on formal verification , RISC-V architectures , and quantum/in-memory computing . Recent work explores LLM integration in hardware testing and polynomial-based verification techniques. Publications from 2024-2025 span IEEE Transactions , DATE , and DAC , emphasizing automated verification , quantum circuit mapping , and LLM-driven testbench generation . Scientific Awards IEEE/ACM Best Paper Awards (2013, 2018) Berninghausen-Preis for Innovative Teaching (2018) IEEE Fellow (2015) Founder Award for Solvertec (2013) He has served on program committees for DAC, ICCAD, DATE, and founded graduate schools in Embedded Systems and System Design under Germany's Excellence Initiative.

• Formal Verification
• Quantum Computing
• RISC-V Architecture
• +۴ مورد دیگر

Adriano José Conceição Tavares is an Associate Professor at the School of Engineering, University of Minho, Portugal. He serves as a Senior Researcher at Centro ALGORITMI, where he is affiliated with both the IE R&D Group and the ESRG R&D Lab. His academic credentials include a PhD in Industrial Electronics from the University of Minho, a Master of Science in Information Technology from the University of Coimbra, and an undergraduate degree in Informatics from the University of Coimbra. Professor Tavares specializes in embedded systems with particular expertise in: Embedded systems modeling and design System software design System-on-chip design Real-time operating systems Hardware acceleration and FPGA design Virtualization for embedded systems IoT frameworks and protocols His publication record demonstrates a strong research trajectory in hardware-software co-design, with recent work showing an increasing integration of machine learning techniques into embedded systems. His publications span theoretical frameworks to practical implementations addressing real-time performance, resource constraints, and security challenges. Among his scholarly metrics: h-index of 18 126 publications with 1148 citations 20 publications in Q1/Q2 journals Author of a book on microcontroller programming Professor Tavares has supervised students including Miguel Ângelo Fernandes Silva and has established international collaborations through the Erasmus Program with institutions in China, Iran, Thailand, Jordan, and Cambodia. He teaches advanced courses on embedded and real-time systems modeling, compiler design, system-on-chip design, real-time operating system design, and advanced computer architectures at University of Minho.

• Embedded Systems
• Real-Time Systems
• System-on-Chip Design
• +۷ مورد دیگر

Simon Read is an Associate Professor of Computer Science at Saint Mary's College of Maryland, a position he has held since 2002. He is based in Schaefer Hall, Room 173, and his contact email is sread@smcm.edu. His research applies theorem proving to systems-level hardware/software co-design. Specific areas include embedded systems (e.g., Raspberry Pi bare machine projects), Electronic Design Automation (EDA), and Hardware Description Languages (VHDL, Verilog, SystemC). He develops tools for Eclipse IDE to support hardware design and formal verification, and involves undergraduate students in these projects through Saint Mary's Projects (SMPs). His publications from 1994 to 2005 show a focus on formal methods: establishing formal semantics for VHDL (1994), rule checking at the register level (1996), and educational tools for networking (2005). This work bridges hardware verification and educational technology. Dr. Read teaches a range of courses including Computer Architecture, Operating Systems, and Distributed/Parallel Computing. He maintains representative syllabi for prospective students and adapts his teaching styles regularly.

• Hardware/Software Co-Design
• Embedded Systems
• Theorem Proving
• +۴ مورد دیگر

Professor Miltos D. Grammatikakis is a faculty member in the Department of Electrical and Computer Engineering at Hellenic Mediterranean University, holding the academic rank of Professor with active office hours (Fridays 18:00-20:00) and email contact mdgramma@cs.hmu.gr. His academic foundation includes an MSc (1985) and PhD (1991) in Computer Science from the University of Oklahoma, followed by international positions in France, Germany, and Greece before his current appointment. Research focuses on critical embedded systems domains with emphasis on practical implementations: Embedded Security & Real-Time/Mixed Criticality Systems Parallel/Multi-Core Architectures & System Reliability EDA Tools & High-Level Power Estimation Telecom/Satellite Networked Systems He has received recognition including an award for the open-source OCCN on-chip communication framework. Award for OCCN framework Professor Grammatikakis maintains strong industry-academia ties through 20 years of collaboration with ST Microelectronics on projects like IPSIM and Spidergon STNoC. His extensive project portfolio spans 25+ European initiatives (H2020, FP7, FP6 etc.), resulting in 80+ publications, two CRC Press books, two US patents, and 900+ Google Scholar citations. Current work continues to advance semiconductor design methodologies and embedded system architectures.

• Embedded Security
• Real-Time Systems
• Mixed Criticality Systems
• +۸ مورد دیگر