Sharad Malik is the George Van Ness Lothrop Professor of Engineering at Princeton University's Department of Electrical and Computer Engineering. His research focuses on designing functionally correct and secure computing systems, combining system design with mathematical modeling for verification. He pioneered the Instruction-Level Abstraction (ILA) model for SoC verification and has contributed extensively to Boolean satisfiability (SAT) solvers. Education: PhD (1990), M.S. (1987) in Computer Science from UC Berkeley; B.Tech. (1985) in Electrical Engineering from IIT Delhi. Research Interests: Formal Verification of Digital Systems Hardware Security and Trust Boolean Satisfiability Solvers System-on-Chip (SoC) Design Accelerator-rich Platform Architectures Notable Achievements: IEEE CEDA A. Richard Newton Technical Impact Award (2017) 2013 IEEE/ACM DAC Most Cited Paper Award Princeton President’s Distinguished Teaching Award (2009) Advising & Labs: Leads the Malik Group, advising over 50 graduate students and postdocs. Active in postdoc recruitment and mentorship programs.
Kwantae Kim is an Assistant Professor at the Department of Electronics and Nanoengineering within Aalto University's School of Electrical Engineering . He leads the Tiny Systems and Circuits (TSirc) Group , focusing on power-efficient analog/mixed-signal ICs for biomedical and neuromorphic sensor systems. IEEE Senior Member (2025) Collaborates with institutions across Europe, Asia, and America Specializes in ultra-low-power AI-embedded IoT platforms His research emphasizes Tiny, Sensory, Intelligent, and Wireless IoT systems through: Development of energy-efficient IC architectures Democratizing access to advanced chip design Hardware-software co-design for edge computing Recent publications highlight innovations in: Spoken-language-understanding SoCs Temporal-sparsity-aware keyword spotting Open-source silicon frameworks Awards include: 2025 IEEE Senior Member 2023 Best Poster Award (AICAS) 2019 Samsung HumanTech Silver Award Research partnerships span: Prof. Tobi Delbruck (UZH/ETH Zurich) Prof. Hoi-Jun Yoo (KAIST) Prof. Shih-Chii Liu (UZH) Prof. Sohmyung Ha (NYU Abu Dhabi)
Luca Carloni is a Professor of Computer Science and Department Chair at Columbia University's Columbia Engineering. He leads the System-Level Design Group, focusing on heterogeneous system-on-chip (SoC) architectures, networks-on-chip (NoC), and embedded systems. Carloni holds a Laurea Summa Cum Laude in Electronics Engineering from the University of Bologna and a PhD in Electrical Engineering and Computer Sciences from UC Berkeley. His work emphasizes specialized hardware design, energy-efficient computing, and FPGA-based prototyping. Research interests include system-level design methodologies for SoCs, embedded accelerators, and quantum computing hardware. He has pioneered frameworks like Embedded Scalable Platforms (ESP) and tools like MosaicSim for rapid SoC prototyping. Carloni has received numerous awards, including the NSF CAREER Award (2006), IEEE Fellow (2017), and multiple best paper awards at DATE and CloudCom conferences. He has served on editorial boards of IEEE Transactions on CAD and ACM Transactions on Embedded Computing , and chaired key conferences like EMSOFT and ESWeek. His research addresses challenges in heterogeneous architectures, power management, and the intersection of machine learning with embedded systems. Current projects explore quantum control systems, brain-computer interfaces, and energy-efficient datacenter computing.
Laura Devendorf is an Associate Professor at the ATLAS Institute and Department of Information Science at the University of Colorado Boulder. As director of the Unstable Design Lab, she bridges human-computer interaction (HCI), computational design, and craft practices through smart textiles and collaborative innovation. BFA in Studio Art and BS in Computer Science from University of California Santa Barbara PhD in Information Science from UC Berkeley Research Interests focus on smart textiles as a medium to challenge human-machine relationships, with projects exploring: Computational design tools for weaving Gendered labor in technology Biodegradable materials for wearables Interdisciplinary collaboration with craftspeople Speculative design practices Human-fungi relationships Recent Research Trends demonstrate her leadership in: AdaCAD software for parametric weaving Desktop biofiber spinning systems Interactive hygromorphic textiles Material-led HCI frameworks Scientific Recognition : Best Pictorial Award (TEI '23) Best Paper Honorable Mention (DIS ’22) Honorable Mention (CHI EA ’20) Best Pictorial Honorable Mention (DIS ’22) Collaborations & Grants : NSF CAREER Grant (2020) for smart textiles innovation Extensive partnerships with Mirela Alistar, Kristina Andersen, and others Advancing open-source tools like AdaCAD and Desktop Bio-spinning
Arrvindh Shriraman is an Associate Professor and Program Director of Software Systems at Simon Fraser University's School of Computing Science in Surrey. His research focuses on energy-efficient software, multicore memory systems, and optimizing hardware/software interfaces for parallel programming. He holds a Ph.D. (2010) and M.S. (2006) in Computer Science from the University of Rochester, and a B.Eng. (2004) from the University of Madras. He teaches courses on parallel programming and energy-conscious software design. His research interests include synchronization mechanisms for domain-specific architectures, cache optimization, and FPGA-based acceleration. He has contributed to frameworks like Mu-grind for HLS-generated RTL instrumentation and TAPAS for parallel accelerator generation. Notable projects include RANGE-BLOCKS for synchronization in domain-specific systems and TapeFlow for gradient computation in neural networks. His work emphasizes real-time verification of autonomous systems and safety-critical trajectory planning for underwater vehicles. Shriraman collaborates closely with the Tangent Lab, exploring cutting-edge solutions in hardware-software co-design and embedded systems. His teaching and research bridge theoretical computer science with applied engineering challenges, addressing scalability, efficiency, and safety in modern computing systems.
Danfeng Zhang is a faculty member at Duke University whose research sits at the intersection of programming languages and security. Active across the premier PL conferences since 2015, Zhang has served on more than two-dozen program committees and currently co-chairs the POPL Student Research Competition. Education & Affiliation: Home page: users.cs.duke.edu/~dz132 Affiliation: Duke University, United States Research Interests: Zhang’s work spans programming-language design, static and dynamic analysis, formal verification, and security. A recurring theme is developing language-based techniques that guarantee strong security and privacy properties—ranging from side-channel resistance and constant-time execution to differential-privacy proofs—while preserving performance and usability. His recent projects combine type systems, program logics, and automated reasoning to build practical verification tools for concurrent, speculative, and approximate software. Publication Trends: Across nine representative papers (2015-2024) Zhang has advanced static detection of cache side channels, automated proofs of differential privacy, and relaxed concurrency models. The trajectory shows deepening integration of security concerns into language infrastructure, with tool-building (CtChecker, SpecSafe, LightDP) that bridge formal guarantees and real-world systems. Service & Leadership: 2024 POPL Student Research Competition Co-Chair 2025 POPL Program Committee member Repeated reviewer/PC member: PLDI, SPLASH/OOPSLA, ISSTA, ECOOP, APLAS, PriSC, PASS Zhang regularly mentors student researchers through SRC sessions and workshop panels, fostering diversity and early-career participation in the programming-languages community.
Russell Tessier is a Professor and Department Head of Electrical and Computer Engineering at the University of Massachusetts Amherst, affiliated with the Manning College of Information and Computer Sciences. His research focuses on reconfigurable computing, FPGA architectures, and hardware security, with notable contributions in CAD algorithms for FPGAs, embedded systems, and multi-tenant FPGA vulnerability analysis. Education: B.S.C.S.E., Rensselaer Polytechnic Institute (1989) M.S. and Ph.D., Massachusetts Institute of Technology (1992 and 1999) Research Interests: Dr. Tessier's work spans FPGA security (e.g., side-channel attacks, power distribution vulnerabilities), reconfigurable cloud computing, and hardware acceleration for applications like SAR imaging and machine learning. His lab, the Reconfigurable Computing Group, develops open-source FPGA cores (e.g., FlexGrip GPGPU, DE4 NetFPGA) and explores cutting-edge security countermeasures. Awards and Honors: Chancellor's Leadership Fellow (2015-2016) NSF Information Technology Research Grant Lilly Teaching Fellow (2002-2003) Multiple College of Engineering Excellence Awards Grants and Projects: Active funding includes NSF SaTC grants on reconfigurable cloud security and NASA support for snowpack measurement systems. His research also addresses FPGA-based solutions for cybersecurity, such as intrusion detection and power-side channel mitigation. Labs and Teams: Leads the UMass Reconfigurable Computing Group, which collaborates on open-source FPGA tools, security frameworks, and embedded system designs. The group maintains platforms like the DE4 NetFPGA and FlexGrip architecture.
Renjie Zhao is an Assistant Professor in the Department of Computer Science at Johns Hopkins University and a member of the Data Science and AI Institute. His research focuses on wireless networking and mobile computing, with significant contributions to millimeter-wave communications, software-defined radio, and IoT systems. Dr. Zhao received his B.E. in Electric Power Engineering and Automation from Shanghai Jiao Tong University in 2018, followed by an M.S. (2020) and Ph.D. (2023) in Electrical and Computer Engineering from the University of California San Diego, where he was advised by Professor Xinyu Zhang. His research centers around three main areas: next-generation wireless network architectures (5G millimeter wave, 6G joint communication and sensing, Internet of Things), novel radio hardware and software design (software-defined radio, wireless brain interfaces, low-power ultra-wide-band), and ubiquitous communication and sensing systems (smart homes, virtual/augmented reality, localization, ultra-reliable RFID for supply chains). His work bridges theoretical innovation with practical implementation, often resulting in open-source hardware and software platforms that advance the field. Dr. Zhao's research has been published in top conferences including ACM SIGCOMM, MobiCom, and NSDI. His work demonstrates a clear progression from foundational wireless communication systems to increasingly sophisticated sensing and localization applications, with consistent focus on practical deployment challenges and solutions. Scientific Awards: Best Paper Award at ACM MobiCom 2020 for work on massive MIMO millimeter-wave software radio Best Paper Award at ACM SenSys 2023 for NeuroRadar paper Hopkins AITC funding for AI technologies promoting healthy aging Dr. Zhao actively serves the research community as TPC member for major conferences including MobiCom'25, NSDI'25, and MobiSys'25, and as a reviewer for leading journals. He is involved in multiple NSF-funded projects, including an NSF CIRC project developing the next-stage M-Cube platform. His lab, focused on wireless systems, maintains strong industry connections with companies like Qualcomm and Samsung. Dr. Zhao leads the M-Cube project, an open-source millimeter-wave massive MIMO software radio platform that has been adopted by numerous research institutions worldwide. His team continues to develop innovative wireless technologies with practical applications in supply chain management, healthcare, and smart environments.
Dr. Janis Nötzel is a senior researcher at the Chair of Theoretical Information Technology (Technische Universität München) and leads his independent Emmy Noether research group. Previously, he held a postdoctoral position at Universitat Autónoma de Barcelona and contributed to 5G practical implementations at TU Dresden's 5G Lab. His research spans quantum information theory, physical layer security, and machine learning applications. Key focuses include Quantum channel capacities under adversarial conditions Entanglement-assisted communication Quantum software frameworks (QuNetSim, QuReed) Interplay between classical and quantum communication Security analysis for 6G networks Resource optimization in quantum systems Recent publications (2023-2025) showcase innovations in Quantum satellite communication architectures Hybrid quantum-classical clustering algorithms Photonic processor instability modeling Covert capacity of compound channels Quantum key distribution resilience Free-space Bessel beam communication He actively collaborates with 6G-life research hub and contributes to quantum network simulation tools. Grants include funding from DFG (Leibniz Program), BMBF (6G-life, Q.Link.X), and StMWi (6G Zukunftslabor Bayern).
Jeffrey L. Krichmar is a Professor in the Department of Cognitive Sciences and Department of Computer Science at the University of California, Irvine. His academic journey includes a B.S. in Computer Science from the University of Massachusetts Amherst (1983), an M.S. in Computer Science from The George Washington University (1991), and a Ph.D. in Computational Sciences and Informatics from George Mason University (1997). Prior to UCI, he served as Assistant Professor at George Mason University (1997-1999) and Senior Fellow at The Neurosciences Institute (1999-2007). University of California, Irvine (2007-present) George Mason University (1997-1999) The Neurosciences Institute (1999-2007) His research focuses on neurorobotics , exploring how embodied cognition and biologically plausible neural models can enhance robotic systems. Key areas include spiking neural networks , neuromodulation , path planning , and interactive tactile robots for therapeutic applications. His work bridges neuroscience , robotics , and cognitive science , with applications in autonomous vehicles , neuroprosthetics , and AI explainability . Recent publications emphasize spiking neural networks for navigation , neuromodulated attention , and neuromorphic hardware integration. The development of CARLsim, a GPU-accelerated spiking neural network simulator now in version 6.0, represents a major technical contribution. His team's work on socially assistive robots like CARL-SJR targets therapeutic applications for autism and ADHD. Scientific Awards IJCNN 2020 Best Paper Award Finalist for Best Student Paper at IJCNN 2018 Best Paper Award at IEEE IJCNN 2009 Grants include National Science Foundation funding for neural models of decision-making (2009). His lab (Cognitive Anteater Robotics Laboratory) develops systems that use large-scale brain simulations for autonomous behavior , with applications in adaptive robotics , sensorimotor learning , and neuroethology . Current projects explore neuromodulatory influences on attention systems and cognitive flexibility .
Xiaoming Li is an Associate Professor in the Department of Electrical and Computer Engineering at the University of Delaware , focusing on compiler optimization, GPU computing, and hardware-software interaction. His work bridges machine learning with code generation to enhance program efficiency. B.S. and M.E. from Nanjing University (1998, 2001) Ph.D. in Computer Science from University of Illinois at Urbana-Champaign (2006) Research interests include: Compiler optimizations for static and dynamic code transformation Machine learning-driven code generation techniques FFT algorithms for sparse and hybrid systems Non-traditional compilers for SAT solvers and virtual machines GPU acceleration for large-scale computational problems His publications span 15 years , emphasizing: FFT optimization across GPU/CPU architectures Compiler techniques for heterogeneous systems Adaptive scheduling and error resilience Integration of empirical and model-driven approaches Notable awards: NSF CAREER Award (2008) Best Paper Award at ADAPT Workshop (2013) Advising highlights: Current students: Ryan Taylor, Sha Li, Shuo Chen, Yuanfang Chen, Chao Yang, Chaoyu Chen Graduates: Liang Gu (FFT Libraries), Jakob Siegel (GPGPU Frameworks), Murat Bolat (Context-Aware Compilation)
Stefan Krastanov is an Assistant Professor at the University of Massachusetts Amherst, focusing on quantum hardware design, control, and optimization across multiple layers of quantum computing and networking technologies. His work bridges physical hardware descriptions with logical circuit compilation, emphasizing resilience in noisy quantum systems. Research Interests include Quantum Hardware Design, Entanglement-Based Networking, Quantum Error Correction, and Modeling Software for Quantum Systems. His primary lab is the Quantum Information Lab , with affiliations to the Advanced Classical and Quantum Information Research Lab. Recent work trends highlight advancements in quantum repeater networks, error-corrected compilation, and photonic neural networks. His publications span topics like non-Markovian dynamics simulation, NP-hard optimization in quantum dot arrays, and scalable spin quantum memory control. Labs and Teams: Quantum Information Lab (leading experimental/theoretical work) and collaborations through the Advanced Classical and Quantum Information Research Lab.
Felix Xiaozhu Lin serves as Associate Professor and William Wulf Faculty Fellow in the Department of Computer Science at the University of Virginia's School of Engineering and Applied Science, where he directs the Computer Science Ph.D. Program and MCS/MS Program. Previously a tenured Associate Professor at Purdue University's School of Electrical and Computer Engineering, Lin joined UVA Engineering in August 2020 after completing his doctoral research at Rice University. His educational credentials include: Ph.D. in Computer Science, Rice University (2014) M.S. in Computer Science, Tsinghua University (2008) B.S. in Automation, Tsinghua University (2006) Lin's research centers on systems software at the intersection of operating systems, compilers, and computer architecture, with emphasis on accelerating and safeguarding software systems. His current projects target on-device large language models and speech processing for low-cost hardware ( Analysis of his recent publications reveals a strong trajectory in edge computing and efficient AI systems. His research demonstrates increasing focus on hardware-software co-design for autonomous devices, with significant contributions in video analytics for energy-constrained cameras, kernel virtualization for heterogeneous architectures, and stream processing frameworks leveraging emerging memory technologies. The work consistently addresses real-world constraints like power limitations and network intermittency while maintaining rigorous academic standards. His scientific recognition includes: National Science Foundation CAREER Award (2019) Google Faculty Research Award (2016) NSF CISE Research Initiation Initiative Award (2015) ACM ASPLOS Best Paper Award (2014) Lin leads the XSEL research group mentoring graduate and undergraduate students in systems software development. His educational initiatives include CS4414/CS6456, a modern operating systems course featuring Arm64 baremetal kernel development, multicore systems, trusted execution environments, and filesystem forensics. The course's experiential approach has received strong student feedback for its modern content and practical relevance. His group actively recruits for projects spanning on-device AI, hardware-accelerated speech processing, and next-generation OS development. Based in Charlottesville, Virginia, Lin's research benefits from UVA's proximity to Shenandoah National Park and collaborative opportunities within the university's vibrant computing ecosystem, including the 2024 LLM Workshop he co-organized with Professor Yangfeng Ji.
Habeeb Olufowobi is an Assistant Professor in the Department of Computer Science and Engineering at the University of Texas at Arlington (UTA), where he leads the Cyber-Physical System Security Lab. He holds a PhD in Computer Science from Howard University (2019) and previously served as a Lecturer at Howard before joining UTA in 2020. His research is centered on the security and trustworthiness of embedded and distributed systems, particularly in the domains of autonomous vehicles, IoT, and healthcare AI. He investigates cybersecurity challenges at the hardware-software interface in real-time systems and develops AI/ML models that are transparent, explainable, and equitable. His interdisciplinary work integrates principles from cybersecurity, real-time systems, and machine learning. The recent publications reflect a strong trend in securing cyber-physical systems using advanced AI techniques, with emphasis on intrusion detection, secure communication (e.g., named data networking), and robustness of autonomous systems. His work frequently appears in top-tier venues such as IEEE Transactions, VehicleSec, and ICMLA. Project Management Professional (PMP), PMI (2012–Present) Member, Institute of Electrical and Electronics Engineers (IEEE) (2020–Present) Habeeb has secured significant research funding, including an NIH grant on ethical AI for Chagas disease prediction and an AIM-AHEAD grant focused on health equity. He mentors several graduate students, including Paul Agbaje and Afia Anjum, who have received awards and internships at prestigious institutions like Los Alamos National Laboratory. He teaches courses in cloud computing, embedded systems, and information security, and serves as a faculty advisor for the National Society of Black Engineers (NSBE) at UTA. His lab, the Cyber-Physical System Security Lab, focuses on developing scalable and reliable security solutions for critical infrastructure, with growing emphasis on healthcare applications and fairness in algorithmic decision-making.
Dr.-Ing. Thomas Wild serves as an Academic Director at the Technical University of Munich (TUM), working within the TUM School of Computation, Information and Technology at the Chair of Integrated Systems. He maintains an active research and teaching role at the institution, with his office located in Building N1 (Theresienstr. 90), Room N2136 in Munich, Germany. Dr. Wild's research focuses on advanced computing architectures, with particular emphasis on manycore system on chip (SoC) architectures, network processor (NPU) architectures, on-chip communication architectures including networks on chip (NoC), and system level design methodologies. His work bridges theoretical research with practical implementation, often exploring design space exploration techniques to optimize system performance. The evolution of his research over two decades demonstrates a consistent focus on improving communication architectures and system-level design for embedded and high-performance computing platforms. His recent publications (2023-2025) reveal a growing integration of machine learning techniques with traditional hardware design, particularly in optimizing power-performance tradeoffs in embedded systems. There's a clear trend toward hardware-software co-design approaches, with significant work on SmartNICs, Linux system optimization, and network processing acceleration. His research shows strong interdisciplinary connections between computer architecture, networking, and machine learning. EUROPRACTICE representative for TUM city campus, facilitating access to commercial EDA tools for academic purposes Active collaborator with Professor Andreas Herkersdorf and other researchers at TUM Focus on practical implementations with FPGA-based prototyping and real system modifications Dr. Wild teaches several hardware design courses including VHDL Lab, SystemC Lab, and HW/SW Codesign, contributing to the education of next-generation computer engineers. His teaching directly complements his research in system design and hardware acceleration, providing students with hands-on experience in cutting-edge technologies.
