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.
Wolfgang Kunz is a Full Professor (C4, W3) and Chair of Electronic Design Automation at the Technische Universität Kaiserslautern since 2001. His academic career spans multiple prestigious institutions, including Goethe-University Frankfurt/Main and the University of Massachusetts, Amherst. He has held leadership roles such as Dean (2005-2007) and Vice-Dean (2007-2009) at TU Kaiserslautern. Habilitation (Dr. rer. nat. habil.), Computer Science, University of Potsdam (1996) Doctoral degree (Dr.-Ing.), Electrical Engineering, University of Hannover (1992) Dipl.-Ing. degree, Karlsruhe Institute of Technology (1989) His research focuses on hardware verification, security, and optimization, particularly in embedded systems and processors. His work on formal verification methods has been commercialized by companies like Synopsys, Mentor Graphics, and Siemens EDA. His 2016-2021 publications address critical security issues such as Spectre/Meltdown and introduce innovative verification frameworks adopted by industry leaders like Infineon and OneSpin Solutions. Scientific awards include the IEEE Fellow (2006), German IT Society Award (2005), and TU Kaiserslautern Distinguished Teaching Award (2016). He has served on editorial boards of major journals and coordinated the Erasmus Mundus European Master Program in Embedded Computing Systems since 2010. Key students: Jörg Bormann, Raik Brinkmann, Tobias Ludwig Collaborations: Siemens EDA, Infineon, AbsInt, Intel SCAP Spin-offs: LUBIS EDA, OneSpin Solutions
Matthew Lakin is an Associate Professor with tenure in the Department of Computer Science at the University of New Mexico, with a courtesy appointment in the Department of Chemical & Biological Engineering. He is affiliated with the UNM Center for Biomedical Engineering and the School of Engineering, and collaborates extensively with the UNM Health Sciences Center and external institutions. Education: Ph.D., Computer Science, University of Cambridge, 2010 M.A. (Cantab), University of Cambridge, 2009 B.A. (Hons), Computer Science, University of Cambridge, 2005 Dr. Lakin's research focuses on molecular computing, DNA nanotechnology, synthetic biology, and formal verification of biomolecular circuits. He develops computational models and experimental systems for programmable biological devices, especially using heterochiral DNA to enhance stability in living cells. His work spans software tools for biodesign and experimental validation in mammalian systems, with applications in nanomedicine and biosensing. The recent publications highlight a strong trend in engineering robust, intelligent biomolecular systems. His work integrates machine learning concepts into chemical reaction networks, advances geometric modeling of DNA systems, and pioneers L-DNA-based circuits for intracellular applications. The research spans theoretical foundations, software tools, and wet-lab experimentation, emphasizing interdisciplinary innovation. Scientific Awards: Presidential Early Career Award for Scientists and Engineers (PECASE), 2025 NSF CAREER Award, 2021 UNM School of Engineering Junior Faculty Research Excellence Award, 2021 Multiple student awards under his mentorship, including the Outstanding Graduate Student Award and DNA28 Best Student Presentation recognition Dr. Lakin has advised numerous graduate and undergraduate students, including Ph.D. graduates in Biomedical Engineering and Computer Science. He leads major funded projects such as the NSF CAREER grant on heterochiral molecular computing, an EPSCoR Research Fellowship, and a $3M NSF grant on heavy metal biosensing in collaboration with Native American communities. He is also PI on multiple NSF grants related to synthetic cells and nucleic acid technologies. He directs the Lakin Lab for Programmable Biology, which operates within the Department of Computer Science and collaborates with Chemical & Biological Engineering and the Center for Biomedical Engineering. The lab emphasizes both computational modeling and experimental molecular biology, and runs an NSF-funded biotechnology summer camp in partnership with ¡Explora! science museum to strengthen STEM education in New Mexico.
Tianyi Zhang is a Tenure-Track Assistant Professor in the Department of Computer Science at Purdue University, part of the College of Science. He leads the Human-Centered Software Systems Lab, focusing on AI-driven systems that synergize human expertise with machine intelligence to enhance programming productivity and software reliability. Prior to Purdue, he was a Postdoctoral Fellow at Harvard University under Dr. Elena Glassman and earned his Ph.D. from UCLA (2019) and B.Sc. from Huazhong University of Science and Technology (2013). Education: Ph.D. in Computer Science, University of California, Los Angeles (2019) Bachelor's in Computer Science, Huazhong University of Science and Technology (2013) Research Interests: His work spans Software Engineering, Human-Computer Interaction, and AI. Key areas include program synthesis, interactive debugging tools, autonomous driving system testing, and mitigating biases in AI models. He develops systems like Interpretable Program Synthesis and SQLucid to bridge human and machine intelligence. Recent Trends in Publications: Recent work emphasizes human-in-the-loop AI, including mixed-initiative systems for data wrangling (Dango), interactive program repair, and bias analysis in text representations (STILE). He also explores challenges in autonomous driving testing and LLM-based code generation errors. Awards & Grants: NSF Career Award (2024) Amazon Research Award Showalter Trust Research Award for pre-diabetes research $1.5M NSF grant for software supply chain security Best Paper Honorable Mentions at CHI and VAHC Advising & Teams: Supervises 12+ PhD/Master's students and 30+ research interns. Notable advisees include Bonan Kou (API misuse studies) and Yuan Tian (text-to-SQL systems). Collaborates with Harvard Medical School on healthcare data analysis. Labs & Initiatives: Directs Purdue's Human-Centered Software Systems Lab. Co-founded the Societal Impact Fellows program. Active in open-source projects like Examplore for API usage visualization and JShrink for Java debloating.
Andrew Rice is a Professor of Computer Science at the University of Cambridge's Department of Computer Science and Technology, and holds the Hassabis Fellowship in Computer Science. He is also the Director of Studies in Computer Science at Queens' College. His research focuses on programming languages, software engineering, and machine learning applications in software development. He leads projects like Isaac Computer Science and ALTA (Automated Language Teaching and Assessment), advancing adaptive learning technologies. His work includes static analysis tools such as Error Prone at Google, energy efficiency studies in computing infrastructure, and contributions to the Computing for the Future of the Planet initiative. His teaching emphasizes practical skill development through flipped classrooms and video lectures, earning him the 2014 Pilkington Prize for teaching excellence. He has held visiting roles at Google and collaborated on energy consumption research for mobile devices and data centers. His research spans systems, networking, and natural language processing, with a strong focus on applying computational methods to real-world challenges. Key Projects: Isaac Physics/Computer Science, ALTA, Error Prone Static Analysis Research Themes: Programming Languages, Machine Learning, Energy Efficiency Awards: Pilkington Prize (2014)
Prof. Alexander Pretschner is a Professor of Software & Systems Engineering at the Technical University of Munich (TUM) and Founding Director of the Bavarian Research Institute for Digital Transformation (bidt). He also serves as Scientific Director of fortiss, a Bavarian research institute for software-intensive systems. His research focuses on software engineering, testing, information security, and ethical software development. Pretschner holds a PhD from TUM and has held academic positions at Karlsruhe Institute of Technology (KIT) and TU Kaiserslautern. He is a co-editor of several prestigious journals, including IEEE Transactions on Reliability and the Journal of Software Testing, Verification and Reliability. Education: PhD in Computer Science, Technical University of Munich MSc in Computer Science, University of Kansas (on Fulbright Scholarship) Diplom in Computer Science, RWTH Aachen University Research Interests: His work spans testing methodologies, secure software design, and ethical considerations in agile development. Notable contributions include frameworks for metamorphic testing, distributed data usage control, and accountability mechanisms for cyber-physical systems. Awards: IBM Faculty Award (2012, 2013) Google Focused Research Award (2011, 2012) EARTO Innovation Prize (2014) 2nd Platz Supervisory Award (2020) Advising & Grants: Pretschner has supervised numerous PhD and Master’s students, contributing to over 200 publications. He leads projects like EDAP (Ethical Deliberation in Agile Processes) and collaborates with industry partners on cybersecurity and AI ethics initiatives. Labs & Teams: His work is anchored in bidt, fortiss, and TUM’s Chair of Software & Systems Engineering, focusing on societal impacts of digitalization and trustworthy AI systems.
Franz Franchetti is the Kavčić-Moura Professor of Electrical & Computer Engineering at Carnegie Mellon University. He serves as Associate Dean for Research and Director of the Engineering Research Accelerator at CMU. Education: Ph.D. in Computational Mathematics (Vienna University of Technology, 2003) M.Sc. in Technical Mathematics (Vienna University of Technology, 2000) His research interests focus on automatic performance tuning and program generation for emerging parallel computing platforms , including multicore CPUs , GPUs , and 3DIC chip design . He leads the SPIRAL effort to automate highly optimized software libraries and explores domain-specific compiler transformations in HPC applications for smart grids and material sciences . Recent work extends SPIRAL to quantum computing . The scientific awards Franchetti has received include the Gordon Bell Prize (2006) , HPC Challenge Class II Award (2010) , and the CIT Dean's Early Career Fellowship (2013) . He and his students have won multiple Best Paper Awards at HPEC, DAC, and ISPA ACM TODAES Best Paper (2014) Student Research Competition wins (PACT 2024, CGO 2023) Franchetti has advised students like Richard Veras and Thom Popovici . He has secured significant grants from agencies such as DARPA, DOE, NSF, and industry partners (Intel, NVIDIA, Mercury). He co-founded SpiralGen, Inc. and holds leadership roles in organizations like ASciNA Western Pennsylvania and as Honorary Consul of Austria in Pittsburgh.
Cristian Cadar is a Professor in the Department of Computing at Imperial College London, leading the Software Reliability Group . His research focuses on improving software reliability and security through practical techniques in software engineering, computer systems, and program analysis. Education: Ph.D. in Computer Science, Stanford University M.Eng. in Computer Science, MIT B.S. in Computer Science and Mathematics, MIT His research interests center on software engineering and software security , particularly symbolic execution , dynamic symbolic execution (DSE) , and multi-version execution . Current work explores techniques for scalability, constraint solving, and runtime security in software systems. Key trends in his recent articles include optimizing symbolic execution for testing, addressing path explosion in constraint-based test generation, and advancing multi-version execution for dynamic software updates. His publications also cover program analysis , automated testing , and formal methods for software reliability. Awarded prestigious honors such as the Humboldt Research Award (2024) , ERC Consolidator Grant (2018) , and IEEE New Directions Award (2022) . Other accolades include the BCS Roger Needham Award (2019) and SIGOPS Hall of Fame (2018) . Cadar supervises PhD and postdoctoral researchers in software reliability and security. His group has secured grants from the ERC and EPSRC , including a Consolidator Grant (2018) and Early-Career Fellowship (2013) . He actively contributes to conference organizing committees and editorial boards. The Software Reliability Group at Imperial College, led by Cadar, specializes in techniques like KLEE and EXE for automated testing. Their work has been adopted by industry partners such as Fujitsu, IBM, and Microsoft, particularly in runtime security tools like WIT .
David Lie is a Professor at the University of Toronto, jointly appointed in the Edward S. Rogers Department of Electrical and Computer Engineering, Department of Computer Science, and Faculty of Law. He directs the Schwartz Reisman Institute for Technology and Society, co-founded the IT3 Lab, and serves as Associate Director at the Data Sciences Institute. His research focuses on securing computer systems through operating systems, architecture, and formal verification approaches. B.A.Sc (University of Toronto, 1998) M.S. (Stanford, 2001) Ph.D. (Stanford, 2004) His research emphasizes building secure systems for mobile platforms and cloud computing, with significant contributions to trusted execution environments (XOM architecture precursor to Intel SGX/ARM TrustZone) and Android permission mapping (PScout tool). Recent work spans cryptographic side-channels, web tracking detection, and AI safety. Key honors include SOSP 2003 Best Paper, Ontario MRI Early Researcher Award (2008), Connaught Global Challenge Award (2017), and Canada Research Chairs (Tier 2 2013-2018, Tier 1 current). He has secured over $30M in research funding and served as General Chair for CCS 2018. Lie leads the IT3 Lab (Technology and Policy Integration), collaborates with industry leaders (Google, VMware, Telus), and mentors graduate students working on practical security implementations. He co-teaches ECE1724: Privacy Problems with Lisa Austin from the Faculty of Law, reflecting his technology-policy interests.
Mithuna S. Thottethodi is a Professor and Interim Associate Head of Teaching and Learning at the Elmore Family School of Electrical and Computer Engineering at Purdue University. He holds a B.Tech. from the Indian Institute of Technology, Kharagpur (1996), and a Ph.D. in Computer Science from Duke University (2002). His research focuses on computer architecture, interconnection networks, distributed systems, and security, with notable work on sparse tensor accelerators and processing-near-memory architectures. His work has been funded by the NSF, AT&T, and SK Hynix. Research interests include security, interconnection networks in multicores, storage performance optimization, and memory hierarchies. Notable contributions span hardware accelerators for machine learning, secure speculative execution, and datacenter network congestion control. He has advised over 20 graduate students, many of whom have joined top tech firms like Google, Microsoft, and Intel. Awards: NSF CAREER Award (2007) Wilfred Hesselberth Teaching Excellence Award (2021) Multiple Eta Kappa Nu Outstanding Professor Awards Teaching includes undergraduate courses like EE 437 (Computer Design) and graduate courses such as ECE 666 (Advanced Computer Architecture). He also advises VIP and EPICS student teams.
Saumya Debray is a Professor at the Department of Computer Science , University of Arizona , with research interests in Compilers , Program Analysis and Optimization , and Programming Language Implementation . Their work bridges theoretical and applied computer science, focusing on security implications of program transformations and compiler-assisted system optimization. Education: Ph.D., The State University of New York at Stony Brook (1986). Contact: Office: GS 735 | Phone: 520-621-4527 | Email: debray@cs.arizona.edu. Research Themes: Debray’s research spans three decades, with core contributions in: JIT Compiler Analysis: Bug localization, dynamic code generation, and exploitation frameworks. Code Obfuscation & Stylometry: Evading detection through optimization-based obfuscation. Malware Analysis: Deobfuscation techniques, taint analysis, and dynamic defense modeling. Binary Rewriting: Energy optimization, code compaction, and kernel specialization. Their work intersects compiler design , cybersecurity , and system optimization , with applications in executable analysis , malware detection , and undergraduate CS education .
Callie Hao is an Assistant Professor in the Department of Electrical and Computer Engineering at the Georgia Institute of Technology since 2021, holding the ON Semiconductor Junior Professorship. Her research bridges hardware efficiency and algorithmic innovation with significant industry and federal recognition. Education: Ph.D. in Electrical Engineering, Waseda University (2017) M.S. and B.S. in Computer Science and Engineering, Shanghai Jiao Tong University Research Focus: Dr. Hao pioneers software/hardware co-design for edge AI, specializing in hardware-efficient machine learning algorithms, FPGA-based reconfigurable computing, graph neural networks, and electronic design automation (EDA). Her work emphasizes neural architecture search, high-level synthesis optimization, and memory-efficient systems for embedded and IoT applications, driven by the philosophy that "1 + 1 > 2" for transformative efficiency gains. Publication Impact: Her 15 most recent publications (2023-2026) reveal a strategic shift toward machine learning-driven EDA tools, with 60% focused on high-level synthesis frameworks and 40% on graph neural network acceleration. Key trends include simulation speed breakthroughs (LightningSim), automated accelerator generation (GNNBuilder), and cryptographic hardware innovations (Cryptonite), predominantly published in top-tier venues like MICRO, ICCAD, and DAC. Awards & Recognition: NSF CAREER Award (2024) and Intel Rising Star Faculty Award (2023) Best Paper Awards at MLCAD 2024 and GLSVLSI 2021 ON Semiconductor Junior Professorship (2025) and Sutterfield Family Early Career Professorship (2022) DAC-SDC competition championships (2018-2020) Mentorship & Funding: Dr. Hao advises 8+ Ph.D. students in the Sharc Lab, with Rishov Sarkar winning the Oscar P. Cleaver Award and Qualcomm Innovation Fellowship. Her research is funded by DARPA (2021) for ultra-light video intelligence systems and supported by industry awards from Amazon and Sony. She actively serves on program committees for DAC, ICCAD, and DATE conferences. Lab Leadership: As director of the Sharc Lab (Software/Hardware Co-design lab), she cultivates interdisciplinary research at the intersection of FPGA design, machine learning, and EDA, requiring expertise in Verilog/HLS, GNNs, and compiler technologies while maintaining strict focus on real-world hardware implementation.
Jishen Zhao is an Assistant Professor in the Department of Computer Science and Engineering at the University of California, San Diego (Jacobs School of Engineering). His research focuses on computer architecture, non-volatile memory systems, and deep learning acceleration. Dr. Zhao has published extensively in top venues including ISCA, MICRO, ASPLOS, and IEEE Transactions. He collaborates with researchers at UCSD and beyond to advance systems for emerging applications in AI and autonomous vehicles. Dr. Zhao's primary research areas include persistent memory systems, hardware/software co-design for deep learning, and safety-critical computing. He develops techniques for crash consistency, memory disaggregation, and efficient neural network deployment. His work on autonomous vehicles addresses scenario generation and perception-aware system design. Recent projects explore LLM applications for software engineering and hardware verification. Analysis of Dr. Zhao's 2024-2025 publications reveals a strong shift toward AI-integrated systems research. He applies large language models to tasks like RTL verification and software issue localization while continuing to innovate in memory systems for serverless computing. There is growing emphasis on safety-critical systems for autonomous vehicles and energy-efficient neural network training using novel hardware architectures. Information about Dr. Zhao's scientific awards, advising activities, grants, and laboratory facilities was not available in the provided documentation.
Cyrille Artho is an Associate Professor in the Division of Theoretical Computer Science at KTH Royal Institute of Technology, actively contributing to research in formal methods, software testing, and cybersecurity. His work spans model checking, smart contract security, and concurrent systems verification, with significant contributions to tools like Java Pathfinder and Modbat. PhD from ETH Zurich (2005) with dissertation on multi-threading fault detection Teaches Software Safety and Security, Software Engineering Fundamentals, and supervises degree projects His research focuses on developing formal techniques for safety-critical systems, particularly in blockchain security and distributed applications. Recent work emphasizes smart contract verification, anomaly detection in microservices, and trusted execution environments for secure cloud analytics. The 15 most recent publications reveal a strong trend toward blockchain security (6 articles), formal verification of distributed systems (5), and novel testing methodologies (4), with increasing integration of machine learning for vulnerability detection. As chair of the FTSCS workshop series and contributor to major conferences like ASE and ICST, Artho has significantly shaped the formal methods community. His leadership in organizing workshops demonstrates commitment to advancing safety-critical systems research. Principal investigator for C3.ai DTI Cyber Safety Cage for Networks project Develops Modbat framework for model-based API testing Active in Digital Futures research initiative at KTH
Arthur Gervais is a Professor of Information Security at University College London's Department of Computer Science. His work focuses on blockchain systems, smart contract security, and decentralized finance (DeFi) risk analysis. He has published extensively on topics ranging from privacy technologies to systemic vulnerabilities in financial cryptography. Research Interests: Gervais investigates security challenges in blockchain ecosystems, including censorship mechanisms, zero-knowledge proofs, and DeFi liquidation risks. His interdisciplinary approach bridges computer science, cryptography, and financial systems. Publications Trends: Recent articles emphasize empirical studies of DeFi attacks, hybrid fuzzing for smart contract verification, and privacy trade-offs in blockchain mixers. His work spans conferences like ACM SIGMETRICS, IEEE Security & Privacy, and World Wide Web Conference.
