Sanjit A. Seshia is the Cadence Founders Chair Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley . He is affiliated with the Group in Logic and the Methodology of Science and participates in centers like the Industrial Cyber-Physical Systems Center , Berkeley AI Research , and the Simons Institute for the Theory of Computing . Research interests include formal methods for automated verification and synthesis of dependable systems, with applications to cyber-physical systems , AI-based autonomy , and computer security . His work spans SMT solving, model counting, syntax-guided synthesis, and algorithmic improvisation, with tools like UCLID5 , VerifAI , and Scenic for verifying autonomous systems and educational platforms like CPSGrader . Students and collaborators include notable researchers such as Dorsa Sadigh (Stanford), Daniel Fremont (UC Santa Cruz), and Hazem Torfah (Chalmers). He has co-founded startups like Decyphir and 20ⁿ Labs based on his research.
جستوجوی استاد و پژوهشگر
استاد راهنما، استاد دانشگاه یا پژوهشگر مناسب برای مسیر پژوهشیتان را پیدا کنید و با او ارتباط بگیرید.
نمایش ۴۶-۶۰ از ۲٬۶۹۳ استاد راهنما
اطلاعات این پروفایلها از صفحات عمومی دانشگاهها جمعآوری شده و ممکن است بهروز نباشد.
- Embedded Security
- Cryptography
- Hardware Security
- +۵ مورد دیگر
Christof Paar is a Professor of Embedded Security at Ruhr University Bochum's Faculty of Computer Science. His work focuses on hardware security, cryptography, and embedded systems security. He leads the Embedded Security Group within the CASE Cluster of Excellence (Cyber Security in the Age of Large-Scale Attacks), addressing cutting-edge challenges in hardware Trojans, side-channel attacks, and cryptographic engineering. His research spans FPGA and IoT security, with contributions to physical-layer security, wireless jamming defenses, and tamper-resistant systems. Research Interests: Paar's expertise lies in hardware-software co-design for security, with a focus on embedded systems. His work includes analyzing vulnerabilities in FPGAs, developing countermeasures against side-channel attacks, and exploring physical-layer security mechanisms. He also investigates the human factors in hardware reverse engineering and the implications of adversarial machine learning on security systems. Notable Work: Recent publications highlight breakthroughs in detecting hardware Trojans across CMOS generations, breaking industry-standard IP protection mechanisms (IEEE 1735), and proposing novel defenses like IRShield against adversarial wireless sensing. His group actively contributes to standards for secure embedded systems and IoT devices, emphasizing practical implementations.
Chita R. Das is a Professor at Pennsylvania State University, known for extensive contributions in computer architecture, machine learning, and high-performance computing. Their research focuses on optimizing hardware-software co-design for edge computing, cloud infrastructure, and energy-efficient systems. Key areas include FPGA acceleration, GPU optimization, and serverless computing frameworks. Das collaborates frequently with institutions like AMD and Intel, addressing challenges in parallel computing and distributed systems. Their work bridges theoretical advancements with practical applications in recommendation systems, bioinformatics, and real-time video processing. Research interests span across hardware acceleration techniques, cloud resource management, and sustainable computing. Notable projects include adaptive training frameworks for intermittent power environments and neural-augmented game streaming for mobile platforms. Das's publications often address performance bottlenecks in modern architectures and propose novel solutions for latency and energy efficiency. Recent articles highlight innovations in serverless computing cost optimization, low-bandwidth VR streaming, and FPGA-based bioinformatics tools. Their contributions are characterized by interdisciplinary approaches combining computer architecture with machine learning and embedded systems.
Debjit Palمشاهده پروفایل
پژوهشگر ارشد
- Machine Learning for Electronic Design Automation (EDA)
- System-on-Chip (SoC) Verification
- Hardware Verification
- +۶ مورد دیگر
Debjit Pal is a Post-Doctoral Associate at the School of Electrical and Computer Engineering, Cornell University, and a member of the Computer Systems Laboratory. His research focuses on machine learning techniques for hardware verification, SoC validation, and FPGA optimization. Education: Ph.D. in Computer Engineering (University of Illinois at Urbana-Champaign, 2019) M.S. in Computer Science (IIT Kharagpur, 2012) B.E. in Electronics Engineering (Jadavpur University, 2008) Research Interests: Machine Learning for Electronic Design Automation (EDA) System-on-Chip (SoC) Verification Edge Intelligence as a Service Compiler Optimizations for Reconfigurable and High-Performance Computing Scientific Awards: IEEE CEDA Student Research Award (2016) Best Paper Nomination (ICCAD 2015, DAC 2018, ASP-DAC 2019) E. J. McCluskey Best Doctoral Thesis Competition Semi-Finalist (2020) Travel Grants for ICCAD/DAC/ASPDAC (2018-2019) Professional Roles: Technical Program Committee Member (DAC, VLSID), Reviewer (IEEE TVLSI, DATE, ICCAD). Collaborates with researchers like Zhiru Zhang and Shobha Vasudevan.
Clark Olson is a Professor in the Division of Computing & Software Systems at the University of Washington Bothell, part of the School of Science, Technology, Engineering & Mathematics. He earned his Ph.D. in Computer Science from UC Berkeley (1994), M.S. in Electrical Engineering (1990), and B.S. in Computer Engineering (1989) from the University of Washington, Seattle. Education: Ph.D. in Computer Science (2017) from University of California, Berkeley M.S. in Electrical Engineering (1990) from University of Washington, Seattle B.S. in Computer Engineering (1989) from University of Washington, Seattle His research focuses on computer vision, robot navigation, and clustering algorithms. He has developed techniques for Mars rover terrain mapping, subspace clustering, and geometric feature matching. His work bridges theory and application in autonomous systems and image analysis. Analysis of his publications reveals expertise in computer vision (8 papers), clustering algorithms (4 papers), and robotics (5 papers). Key subtopics include Mars exploration (3 papers), Hough transforms (3 papers), and probabilistic methods (3 papers). Professor Olson teaches courses ranging from introductory programming (CSS 161-162) to advanced topics in computer vision (CSS 487-587) and algorithm design (CSS 549). He also advises on the CSSE Capstone (CSS 497) projects requiring rigorous prerequisites and structured evaluation criteria.
- Very-Large-Scale Integration (VLSI)
- Hardware Accelerators for Artificial Intelligence
- Hardware Security
- +۷ مورد دیگر
Prof. Baker Mohammad serves as Professor and Director of the System on Chip Lab in the Department of Computer and Information Engineering at Khalifa University. With over 15 years of industrial experience at Intel and Qualcomm designing microprocessors and DSP chips, he bridges academic research with real-world engineering challenges in high-performance computing and low-power systems. His educational background includes: Ph.D. in Electrical and Computer Engineering, University of Texas at Austin (2008) M.S. in Electrical and Computer Engineering, Arizona State University B.S. in Electrical Engineering, University of New Mexico Dr. Mohammad's research spans cutting-edge domains where VLSI design converges with AI acceleration and emerging memory technologies . His work pioneers Memristor applications in environmental sensing (radiation, vacuum, glucose) and neuromorphic computing, while advancing energy harvesting systems for wearable electronics. The integration of in-memory computing with security primitives represents a paradigm shift in hardware design, moving beyond traditional CMOS limitations. His publication trajectory reveals accelerating focus on self-powered neuromorphic systems and RRAM-based architectures, with recent work (2021-2023) emphasizing hardware-software co-design for edge AI. Over 75% of his recent publications involve cross-disciplinary collaborations spanning materials science, chemistry, and biomedical engineering. Notable scientific recognition includes: IEEE TVLSI Best Paper Award 2016 IEEE MWSCAS Myrill B. Reed Best Paper Award Qualcomm Qstar Award for Performance Leadership KUSTAR IP Excellence Award Multiple SRC Techon Best Session Papers As a dedicated mentor, he has supervised over 15 graduate students while securing competitive funding from Khalifa University, ADEK, Qualcomm, Tii, and UAE space agencies. His grant portfolio demonstrates exceptional translational impact, converting fundamental research in memristive devices into drone flight computers and medical sensors. Current projects integrate academic rigor with industrial deployment timelines. The System on Chip Lab operates as a multidisciplinary hub where semiconductor physicists collaborate with AI researchers to develop RISC-V-based secure processors and piezoelectric nanogenerator systems. Recent expansions include partnerships with Tii for aerospace applications and medical device startups for glucose monitoring technology.
Prof. Dr. Sebastian Steinhorst is an Associate Professor (W3-level with tenure) at the Technical University of Munich (TUM) within the Embedded Systems and Internet of Things group at the TUM School of Computation, Information and Technology . His research focuses on advancing the security, predictability, reliability, and interoperability of smart connected and autonomous systems, particularly for applications in Internet of Things (IoT) , Industry 4.0 , and automotive systems . PhD in Computer Science (2011) from Goethe University Frankfurt Postdoctoral roles at TUMCREATE Singapore (2011-2016) and Aarhus University (2016) Joined TUM in 2016 as Rudolf Moessbauer Tenure Track Professor His research areas include decentralized embedded systems, hardware/software co-design, modeling and verification of cyber-physical systems, security protocols for automotive networks, and time-sensitive networking (TSN) for industrial applications. Recent work explores blockchain-based data sovereignty, zero-knowledge proofs for vehicle authentication, and resilient architectures for autonomous systems. Key scientific contributions include the 2019 ACM TODAES Best Paper Award and pioneering work on CyberSecDome , LeapChain , and Simutack frameworks. He serves on editorial boards and conference committees, including co-organizing the Autonomous Systems Design initiative at DATE. His teaching portfolio spans lectures on System Design for IoT , Software Architecture for Distributed Systems , and IoT Security across multiple semesters. He also leads advanced seminars on embedded systems and IoT.
Soheil Salehiمشاهده پروفایل
استادیار
Soheil Salehi is a tenure-track Assistant Professor in the Department of Electrical and Computer Engineering at the University of Arizona, with a joint appointment in Systems and Industrial Engineering. He is the Director of the Privacy-preserving, Intelligent, and Secure Computing (PRISM) Lab, established in August 2022. Prior to this, he was an NSF-Sponsored Computing Innovation Fellow and Postdoctoral Research Fellow at the University of California, Davis. Ph.D., Electrical and Computer Engineering, University of Central Florida, 2020 M.S., Electrical and Computer Engineering, University of Central Florida, 2016 B.S., Isfahan University of Technology, Iran, 2014 Dr. Salehi's research focuses on the intersection of hardware, AI, and security. His work spans hardware and AI-enabled security in IoT , Generative AI for hardware design and security , neuromorphic and biologically-inspired AI hardware , emerging spin-based devices , reconfigurable architectures , low-power VLSI circuits , and digital twins and mixed reality for semiconductor workforce development . He also explores the application of Generative AI in personalized education . His recent publications, spanning 2023–2025, reveal a strong trend toward integrating AI and machine learning into hardware security and design. Key themes include automated secure IC design flows , AI-driven hardware obfuscation , firmware and side-channel attack analysis , security in neuromorphic and spiking neural networks , and educational frameworks using digital twins and generative models . His work appears in top venues like DAC, ICCAD, USENIX Security, IEEE TCAS-I, and ISCAS. Outstanding Reviewer Award, IEEE/ACM Design Automation Conference (DAC), 2023 Best Presentation of the Symposium Award, UC Davis Postdoctoral Research Symposium, 2021 UCF Excellence by a Graduate Teaching Assistant (University-Level), 2016 Nominated for 30-under-30 Award, UCF, 2020 Nominated for Postdoctoral Research Excellence Award, UC Davis, 2022 Dr. Salehi has secured significant research funding as PI and Co-PI, including a $300K NSF SaTC EAGER grant on Generative AI-based Personalized Cybersecurity Tutor, a $174,000 University of Arizona PIF Award, and multiple RII grants totaling over $198K. He has also received industry funding from CHEST. He actively mentors students and leads the PRISM Lab, which focuses on privacy-preserving and intelligent secure computing. His service includes roles as Technical Program Committee (TPC) Member and Session Chair at premier conferences such as DAC, ICCAD, CCS, NDSS, and GLSVLSI. The PRISM Lab, under his direction, conducts cutting-edge research in secure and intelligent hardware systems, with applications in IoT, edge computing, and workforce development. The lab emphasizes interdisciplinary collaboration and innovation in both research and education.
Karl Michael Göschka is an Associate Professor at Vienna University of Technology (TU Wien) in the Department of Distributed Systems (E194-02) within the Faculty of Computer Science. His academic title of Privatdozent indicates he has completed habilitation, the highest academic qualification in the German/Austrian system. He maintains an active research and teaching profile with courses scheduled through 2026S, including Bachelor Thesis supervision, Computer Science Projects, and PhD Seminars. His research spans over two decades with consistent publications from 2004 to 2022. Göschka's primary research interests focus on Dependable Distributed Systems, Web Engineering, and the convergence of voice and data technologies. His work demonstrates particular expertise in middleware, service-oriented architecture, wireless sensor networks, and fault tolerance mechanisms. He has supervised numerous master's and diploma theses since 2006, with his most recent doctoral supervision completed in 2022. Göschka's publication record shows a clear evolution from foundational work in distributed systems and replication (2004-2013) to more recent contributions in wireless sensor networks and dependable computing (2020-2022). His research consistently addresses the challenge of balancing dependability, performance, and security in distributed environments, with notable contributions in temporal decoupling techniques and adaptive systems. GIT-Preis des Österreichischen Vereins für Elektrotechnik (1999) Würdigungspreis des Ministeriums für Wissenschaft und Forschung (1998) GIT-Förderpreis des Österreichischen Vereins für Elektrotechnik (1994) Göschka has led and participated in multiple significant research projects including TRADE (2008-2011) on adaptive performance optimization, COMPASS (2005-2007) for automotive software systems, S-Cube (2008-2012), ALL-TIMES (2007-2010), and DeDiSys (2004-2007) on dependable distributed systems. His research has strong practical applications in automotive systems, online auctions, and critical infrastructure monitoring.
Professor Tulika Mitra is the Dean of the School of Computing and Vice Provost (Special Projects) at the National University of Singapore (NUS). She holds the Provost’s Chair Professor in the Department of Computer Science and has been instrumental in shaping academic policies and strategic initiatives at NUS since joining in 2001. PhD in Computer Science, Stony Brook University (2000) M.E. in Computer Science, Indian Institute of Science (1997) B.E. in Computer Science, Jadavpur University (1995) Her research focuses on hardware-software co-design for energy-efficient computing systems, particularly in real-time embedded systems, heterogeneous architectures, and AI accelerators. She leads major research programs such as the NRF Competitive Research Programme on Low-Power Edge Accelerators and the MOE Tier-3 Programme on Green AI , collaborating with industry leaders like ARM, AMD, and Meta. Her recent publications highlight innovations in CGRA optimization , sparse attention mechanisms , photonic-digital hybrid architectures , and low-power ML inference . These works often integrate compiler techniques, architectural design, and real-time constraints for edge computing applications. Scientific Awards : ESWEEK Test-of-Time Award (2022), ACM SIGDA Distinguished Service Award, IEEE CEDA Outstanding Service Recognition Award, Teaching Excellence Award (2006), and multiple best paper recognitions. Education Leadership : Spearheaded the Computer Engineering (CEG) Programme at NUS, a joint initiative between Engineering and Computing. As a mentor , she has supervised over 25 PhD students , many now in prominent academic or industrial roles. Her research group eCO Lab focuses on embedded computing challenges, while her grant collaborations include projects on 5G base stations, reconfigurable architectures, and IoT-optimized SoCs.
Ambuj Varshneyمشاهده پروفایل
استادیار
Ambuj Varshney is an Assistant Professor at the National University of Singapore (NUS) School of Computing , leading the WEISER research group . His work bridges electronics, wireless communication, computer science, and AI with a focus on creating ultra-low-power embedded systems for sustainable IoT deployments. University of California, Berkeley: Postdoctoral Scholar (2020-2022) Uppsala University: PhD in Sustainable Networked Systems NXP Semiconductors: Software Engineer (prior to PhD) Bachelors in Information & Communication Technology Research interests center on overcoming wireless systems' energy asymmetry through tunnel diode oscillators , LiFi-RF hybrid networks , and battery-free communication architectures . His group develops STICORS —sticker-like computers for industrial and medical monitoring. Recent publications demonstrate AudioCast 's FM-band utilization for 130m transmission, TunnelSense 's vital monitoring, and PixelGen 's diffusion model cameras. These works combine IoT sustainability, spectrum efficiency, and hardware innovation . 2024: Google Research Scholar Award 2023: MobiSys Best Demonstration 2021: Berkeley FORM+FUND Fellowship 2019: ABB's $300K Research Award As an educator, he teaches CS4222 Wireless Networking and CS5272 Embedded Software Design . Past students include Wenqing Yan (NUS/UCB PhD), Qiao Yukai , and Kunjun Li . His team collaborates with Prabal Dutta (UCB), Christian Rohner (Uppsala), and Prateek Saxena (NUS).
- Mobile Systems
- Operating Systems
- Security
- +۵ مورد دیگر
Ardalan Amiri Sani is an Associate Professor in the Computer Science Department at the University of California, Irvine (UCI), affiliated with the Donald Bren School of Information & Computer Sciences. He leads the Trustworthy Systems Lab (TrussLab), focusing on secure and reliable mobile systems, operating systems, and virtualization. His research bridges mobile computing, security, and OS design, addressing challenges in I/O devices, kernel hardening, and verifiable provenance. Education: Ph.D. and M.Sc. from Rice University (ECE), B.Sc. from Sharif University of Technology. Awards include the NSF CAREER Award, Google ASPIRE Award, and UCI Dean's Mid-Career Research Award. He has advised numerous graduate and undergraduate students, many of whom now work in academia and industry. Research highlights include Tabellion (secure legal contracts on mobile devices), ProvCam (verifiable video provenance), and work on minimizing smartphone TCBs via hardware isolation. His grants include NSF funding for OS kernel security and NSA support for provenance systems. Education: Ph.D., Electrical and Computer Engineering, Rice University, 2014 B.Sc., Electrical Engineering, Sharif University of Technology Grants: $500K NSF Award (with UCR) for OS kernel security (2020) NSF SaTC Award for GPU security in browsers Google ASPIRE Award for Android system call filtering Labs/Teams: Trustworthy Systems Lab (TrussLab), collaborating with industry partners like Intel and Broadcom.
Amin Sakzadمشاهده پروفایل
دانشیار
Dr. Amin Sakzad is an Associate Professor in the Department of Software Systems & Cybersecurity at Monash University's Faculty of Information Technology. His research focuses on lattice-based cryptography, wireless communications, and post-quantum security protocols. He holds a PhD in Applied Mathematics from Amirkabir University of Technology (2011) and has held academic roles at Carleton University and Monash since 2012. Dr. Sakzad’s expertise spans lattice coding theory, MIMO systems, and privacy-preserving technologies for genomic databases and blockchain applications. He leads multiple ARC-funded projects, including work on secure databases (SRDBMS) and post-quantum cryptographic primitives for FinTech and energy sectors. His research has been recognized through awards such as the FIT Dean’s Award for Teaching Excellence (2021). Key collaborations include projects on blockchain security (CollinStar Lab), genomic data privacy, and energy market cybersecurity. His work addresses UN SDGs through contributions to quality education (SDG 4) and industry innovation (SDG 9). Recent publications highlight advancements in lattice-based cryptography (e.g., CRYSTALS-Kyber variants), privacy-preserving energy trading, and secure blockchain protocols like FPPW watchtower systems. His research bridges theoretical cryptography with practical implementations in embedded systems and 5G telecommunications. Grants: 16 active/completed projects including $1.2M in ARC funding Advising: Supervising PhD projects on lattice applications in post-quantum crypto and blockchain Labs: Core member of Monash’s Software Defined Telecommunications (SDT) Lab and CollinStar Lab
- Robotics
- Multi-Robot Systems
- Micro Aerial Vehicles
- +۶ مورد دیگر
Vijay Kumar is the Nemirovsky Family Dean of Penn Engineering at the University of Pennsylvania, with faculty appointments in the Departments of Mechanical Engineering, Computer and Information Science, and Electrical and Systems Engineering. He is a leading figure in robotics and computer architecture research. Research Interests include robotics, particularly multi-robot systems and micro aerial vehicles (MAVs), as well as computer architecture innovations for machine learning, GPU acceleration, and datacenter efficiency. His work spans theoretical foundations and practical applications in autonomous systems and hardware optimization. Scientific Awards include: 1991 NSF Presidential Young Investigator Award 1996 Lindback Award for Distinguished Teaching 2012 ASME Mechanisms and Robotics Award 2014 Engelberger Robotics Award 2017 IEEE George Saridis Leadership Award Multiple best paper awards at DARS, ICRA, and RSS conferences Editorial Leadership includes serving as Editor of the ASME Journal of Mechanisms and Robotics and Advisory Board Member of AAAS Science Robotics Journal . His GRASP Lab team developed foundational frameworks for micro UAV testbeds and swarm robotics.
Professor Wayne Luk is a Professor of Computer Engineering at the Department of Computing, Faculty of Engineering, Imperial College London. He leads the Programming Languages and Systems Section and the Custom Computing Research Group, and directs the EPSRC Centre for Doctoral Training in High-performance Embedded and Distributed Systems and the Centre for Advanced Financial Engineering. He previously served as a Visiting Professor at Stanford University from 2006 to 2009. His research spans FPGA acceleration, quantum computing, deep learning optimization, and algorithm-hardware co-design, with affiliations to the CRUK Convergence Science Centre and the Engineering Secure Software Systems group. His research interests include computational modeling for particle physics, causal discovery in agent-based systems, and high-throughput digital electronics. Notable contributions include FPGA-accelerated algorithms for neural networks, quantum circuit simulation, and Bayesian optimization frameworks. His work emphasizes practical applications of reconfigurable hardware in fields like medical imaging, high-energy physics, and financial systems. Professor Luk is a Fellow of the Royal Academy of Engineering, IEEE, and BCS. His publications focus on advancing hardware-aware machine learning, FPGA-based acceleration techniques, and scalable design methodologies. His research bridges theoretical computer science with applied engineering, addressing challenges in real-time systems, embedded computing, and next-generation computing architectures. His academic leadership includes directing interdisciplinary centers and training programs, fostering collaboration across computing, engineering, and physics. Current projects explore quantum computing tools, causal inference systems, and high-performance graph neural networks for particle physics applications.