Michael Carbin is the Jamieson Career Development Assistant Professor of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology (MIT) and leads the MIT Programming Systems Group. His research focuses on programming systems that address system uncertainty to enhance performance, energy efficiency, and resilience, particularly in environments involving neural networks , approximate computing , and unreliable hardware . His work spans probabilistic programming , quantum computing , and machine learning systems . Articles highlight contributions in pruning neural networks , quantum data structures , and compiler optimization , reflecting trends in deep learning , formal verification , and language-driven systems . Scientific Awards : MIT Frank E. Perkins Award (2020) Sloan Research Fellowship (2020) Facebook Research Award (2019) NSF CAREER Award (2018) Best Paper Awards at OOPSLA (2013, 2014) He has advised numerous graduate students and postdocs including Eric Atkinson, Cambridge Yang, and Charles Yuan, and served on program committees for conferences like POPL, OOPSLA, and ICLR. His group collaborates with institutions such as MIT CSAIL and explores applications in quantum algorithms and probabilistic inference .
Andy Pavlo is an Associate Professor with Indefinite Tenure in the Computer Science Department at Carnegie Mellon University's School of Computer Science. He is an active member of the CMU Database Group and the Parallel Data Laboratory, where he leads research in database management systems with a focus on self-driving architectures, transaction processing, and large-scale analytics. His work bridges academic research and industry applications through projects like NoisePage, OtterTune (which he co-founded and served as CEO before it ceased operations), and Peloton. Dr. Pavlo's research interests span database management systems with particular emphasis on autonomous database architectures that can self-tune and optimize without human intervention. His work explores transaction processing systems that can handle high-throughput workloads while maintaining consistency, and large-scale data analytics techniques that efficiently process massive datasets. He has made significant contributions to query optimization, database extensibility, and automatic database tuning using machine learning techniques. His recent work on database extensibility revealed critical issues in PostgreSQL's extension ecosystem, showing that approximately 16% of extensions are incompatible with at least one other extension due to API violations and memory errors. His research output demonstrates a consistent focus on practical database systems challenges, with recent publications examining database extensibility, user-defined function optimization, and the cyclical nature of database research. The articles show a strong trend toward making database systems more autonomous, with increasing integration of machine learning techniques for automatic tuning and optimization. His work often combines deep theoretical analysis with practical implementation in open-source systems. Dijkstra Award 2024 for contributions to database systems research Dr. Pavlo actively mentors graduate students, with current advisees including Wan Shen Lim, William Zhang, and Sam Arch (co-advised with Todd Mowry). His former students have gone on to successful careers in both industry and academia. He has secured significant research funding through CMU's affiliate program with major database companies including ClickHouse, DataStax, dbt, Firebolt, MotherDuck, RelationalAI, SingleStore, Spiral, PingCAP/TiDB, Yellowbrick, and Yugabyte. His research is supported by these industry partnerships and likely includes NSF funding given his active participation in the database research community. At CMU, Dr. Pavlo leads the Database Group and organizes several seminar series including "SQL or Death," "Database Building Blocks," and "ML⇄DB Technical Talks." These seminars bring together researchers and practitioners to discuss cutting-edge developments in database systems. He also runs a summer research internship program that has attracted students for multiple consecutive years, indicating a strong research group with ongoing projects and funding.
Sishuai Gong is an Assistant Professor in the Department of Computer Science at the University of North Carolina at Chapel Hill, focusing on system reliability and security. His research bridges machine learning, software engineering, and computer architecture to address challenges in large-scale software systems. Education : Ph.D. in Computer Science from Purdue University (2025), B.S. in Computer Science from the University of Science and Technology of China (2019). Research Interests : System reliability and security, kernel concurrency testing, verified security modules, and machine learning for systems. He develops interdisciplinary techniques to identify and mitigate functional interference bugs in OS virtualization and latency-sensitive applications. Scientific Awards : Jay Lepreau Best Paper Award at OSDI (2024) Google Cloud Research Innovator (2024) Bilsland Dissertation Fellowship at Purdue (2024) Teaching : Offering COMP 790: Reliable and Secure Systems (Fall 2025) with a focus on empirical studies, static/dynamic analysis, and machine learning for systems. Course grading includes paper presentations (30%), class participation (30%), and research projects (40%).
Marco Platzner is a Professor for Computer Engineering at Paderborn University , Germany. He serves as the Dean of Research for the Faculty of Computer Science, Electrical Engineering and Mathematics and heads the Department of Computer Science. Previously, he held research positions at ETH Zurich, Stanford University, GMD (now Fraunhofer IAIS), and Graz University of Technology. Education: Diploma and PhD in Telematics (Graz University of Technology, 1991 and 1996), Habilitation in Hardware-Software Co-Design (ETH Zurich, 2002) Research Interests focus on reconfigurable computing, approximate computing, self-* computing, and embedded systems. His work addresses hardware security, FPGA design, and sustainable AI in data centers. Current projects include energy-efficient AI through deep neural network approximation for FPGAs (EKI-App) and lifecycle sustainability of socio-technical systems (SAIL). Publication Trends show expertise in FPGA security, approximate circuit synthesis, robotics, and hardware acceleration. Collaborations span robotics (ROS 2 integration), AI (transformer optimization), and cybersecurity (Trojan detection). Scientific Awards: ACM SIGDA Hall of Fame (2020) Significant Paper Award (FPL 2015) Best Paper Awards at IEEE ISVLSI (2024), ARC (2018), IEEE ReConFig (2015), and others Weierstraß Prize for Teaching (2008) Leadership Roles include membership in the board of Paderborn Center for Parallel Computing (PC2) and the Jenny Aloni Centre for Early Career Researchers. He has contributed to EU FP7 FET project EPiCS and German priority programs on embedded systems and organic computing.
Todd Millstein is a Professor in the Computer Science Department at the University of California, Los Angeles (UCLA), and served as Department Chair from 2022–2025. He is also an Amazon Scholar and a co-founder and former Chief Scientist of Intentionet (now at AWS). His research focuses on making software systems more reliable, particularly through network verification and programming language techniques. He pioneered the Batfish network configuration analyzer, which is used by AWS, Oracle Cloud, and dozens of companies, and received the ACM SIGCOMM Networking Systems Award (2025) for this work. His recent publications span probabilistic programming, network reliability, and interactive program verification, including papers at PLDI 2024 (on bit blasting probabilistic programs), NSDI 2024 (on behavioral testing of BGP), and HotNets 2024 (on network layering). Todd has received prestigious awards such as an NSF CAREER Award , a Microsoft Research Outstanding Collaborator Award , and multiple best paper awards at PLDI, OOPSLA, and SIGCOMM. He has advised Ph.D. students like Ana Brendel and Poorva Garg , and teaches courses such as CS30 (Principles of Computing), CS231 (Types and Programming Languages), and CS239 (Current Topics in PL and Systems). His professional roles include Program Chair for OOPSLA 2014 and ECOOP 2018, and committee member for numerous conferences including PLDI , SPLASH , and LAFI .
Gang (Gary) Tan is a Professor at the Pennsylvania State University's College of Engineering, specializing in computer security, formal methods, and programming languages. He co-directs the Institute for Networking and Security Research (INSR) and leads the Security of Software (SOS) Group, focusing on compiler, programming language, and formal method techniques to enhance computer security. Education: B.E. in Computer Science from Tsinghua University Ph.D. in Computer Science from Princeton University His research integrates formal verification with practical security applications, particularly emphasizing: Compiler-based security enforcement Side-channel mitigation in speculative execution Fairness analysis in machine learning systems Formal grammar approaches for software reliability Key article trends show: Security-focused formal methods (15% of publications) ML fairness verification (20% of recent work) Compiler-based security solutions (30% of output) Side-channel defense mechanisms (25% of research) Parser design and formal grammar synthesis (10% of contributions) Scientific achievements include: NSF CAREER Award Google Research Awards (2x) PLDI 2024 Best Paper James F. Will Career Development Professorship Outstanding Research Award at Penn State Ruth and Joel Spira Excellence in Teaching Award Dr. Tan actively contributes to academic communities through: DARPA ISAT study group membership Program committee roles (CGO 2024, ECOOP 2018, etc) Leadership in security research initiatives
Andrew Pavlo is a Professor in the Computer Science Department at Carnegie Mellon University's School of Computer Science. His research focuses on database management systems, particularly in the areas of transaction processing, in-memory databases, and self-driving database systems. He leads a productive research group that has published extensively in top database venues including VLDB, SIGMOD, and CIDR. Pavlo's research interests span database management systems, transaction processing, in-memory databases, non-volatile memory databases, and self-driving database systems. His work often bridges theoretical database concepts with practical system implementation, focusing on performance optimization, query processing, and system architecture. Recent work has explored machine learning applications for database tuning, novel storage techniques, and innovative approaches to transaction processing. An analysis of his recent publications reveals a strong focus on self-driving database systems, with significant work on the Database Gym framework for training machine learning models to optimize database performance. His research also examines columnar storage formats, transaction scheduling, and novel approaches to user-defined function optimization. The work demonstrates a consistent trajectory toward making database systems more autonomous and efficient through a combination of systems techniques and machine learning. Pavlo has been instrumental in mentoring numerous PhD students who have become active contributors to the database research community. His research has been supported by significant grants that have enabled the development of innovative database technologies and frameworks. His research group operates within CMU's vibrant database ecosystem, collaborating with other researchers on projects related to database systems, storage engines, and query processing frameworks. The group maintains close connections with industry partners to ensure practical relevance of their research contributions.
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.
Yonghwi Kwon is a Visiting Assistant Professor in the Department of Computer Science at the University of Virginia. His research focuses on software systems security, cyber forensics, and software engineering. He received the CAREER Award for developing dynamic defenses against cyber threats. His work emphasizes securing software from cyber attacks, recovering forensic evidence, and improving software testing and reverse engineering techniques. Key research areas include memory safety mechanisms, automated vulnerability detection in web applications and mobile systems, and forensic analysis of phishing campaigns. He has pioneered frameworks like CMASan for memory allocator-aware sanitization and Racedb for detecting race conditions in database-backed systems. His contributions span cloud security automation, kernel exploitation analysis, and embedded system fuzzing. Notable achievements include the 2025 CAREER Award supporting his dynamic defense research, and impactful publications in areas like Android information leakage detection (DryJIN), Bluetooth protocol fuzzing (BTFuzzer), and autonomous driving bug discovery (Drivefuzz). His work bridges theoretical computer science with practical cybersecurity solutions.
Darko Marinov is a Professor at the Siebel School of Computing and Data Science and a member of the Information Trust Institute at the University of Illinois at Urbana-Champaign. His research focuses on software testing methodologies, particularly regression testing, flaky tests, and software reliability engineering. He has contributed to frameworks like Ekstazi for regression test selection and DeFlaker for identifying flaky tests. Marinov holds an NSF CAREER Award (2008) for his work in this domain. His research interests span testing techniques for modern software systems, including configuration testing, test prioritization, and fault localization. He has pioneered studies on the characteristics of flaky tests in large-scale projects and developed tools to improve software quality assurance processes. Marinov collaborates across academic and industrial settings, addressing challenges in continuous integration, reproducibility of computational experiments, and hardware-software co-design for resilience. His work bridges theory and practice, with applications in cloud computing, AI workloads, and cybersecurity. Awards: NSF CAREER Award (2008) Key Contributions: Ekstazi, DeFlaker, FastFlip, and Ctest4J frameworks Labs/Teams: Active member of the Information Trust Institute and leads software testing research groups at UIUC
Todd Millstein is a Professor in the Computer Science Department at the University of California, Los Angeles (UCLA). He served as the Computer Science Department Chair from 2022-2025 and is also an Amazon Scholar. His research focuses on making software systems more reliable through programming languages techniques, with significant contributions to network verification and probabilistic programming. Millstein received his Ph.D. from the University of Washington Department of Computer Science, where he was a member of the Cecil group led by Craig Chambers. Prior to that, he completed his undergraduate studies at Brown University under the guidance of Paris Kanellakis and Pascal Van Hentenryck. Millstein's research spans several areas of programming languages and systems with a focus on reliability. He has made significant contributions to network verification, developing the Batfish network configuration analyzer which is now managed by Amazon Web Services and forms the basis of Oracle Cloud's Network Path Analyzer. His work has been recognized with the ACM SIGCOMM Networking Systems Award in 2025. He also works on interactive program verification through lemma synthesis and scalable reasoning methods for probabilistic programming languages. His research bridges programming languages theory with practical systems challenges, as highlighted in his SPLASH/OOPSLA 2024 keynote "Everything is a Program (even if it's not)". Millstein's recent publications demonstrate a consistent focus on verification and reliability across multiple domains. His work shows a progression from foundational programming language techniques to practical applications in networking and probabilistic systems. Key themes include data-driven approaches to program analysis, synthesis of verification artifacts, and applying programming languages techniques to non-traditional domains like network configuration. Millstein's scientific achievements have been recognized with numerous prestigious awards including an NSF CAREER Award, an ACM SIGPLAN Most Influential PLDI Paper Award, an ACM SIGCOMM Networking Systems Award, IEEE Micro Top Picks selection, best-paper awards from PLDI, OOPSLA, and SIGCOMM, a Microsoft Research Outstanding Collaborator Award, an Okawa Foundation Research Grant, an IBM Faculty Award, and a Facebook Research Award. He has also received both the Northrop Grumman Excellence in Teaching Award (for junior faculty) and the Eon Instrumentation Inc. Excellence in Teaching Award (for senior faculty) from UCLA Engineering. Millstein advises several Ph.D. students including Ana Brendel, Poorva Garg (co-advised with Guy Van den Broeck), Rajdeep Mondal (co-advised with George Varghese), and Rathin Singha (co-advised with George Varghese). His research has been supported by various grants including an NSF CAREER Award, Okawa Foundation Research Grant, IBM Faculty Award, and Facebook Research Award. He has also been a Co-Founder and Chief Scientist of Intentionet, which was later acquired by Amazon Web Services. Millstein is actively involved in the Batfish project, an open-source network configuration analyzer that has had significant practical impact. Batfish is now managed by AWS, powers Oracle Cloud's Network Path Analyzer, and is used by dozens of companies. His research group continues to work on network reliability, developing techniques for scalable BGP policy verification and behavioral testing of protocol implementations.
He Zhu is an Assistant Professor at Rutgers, The State University of New Jersey, affiliated with the Department of Computer Science. His research focuses on programming languages, compilers, wireless communications, IoT systems, and 5G network protocols. He received the PLDI 2019 Distinguished Paper Award for his contributions to formal methods in programming systems. His work addresses challenges in vehicle-to-everything (V2X) communication, resource allocation in sidelink networks, network security, and dynamic authorization frameworks for IoT devices. Key research interests include optimizing 5G NR (New Radio) protocols for vehicular environments, developing efficient data aggregation techniques for user equipment, and enhancing service layer mechanisms for IoT systems. He leads projects funded by the NSF, such as 'Formal Symbolic Reasoning of Deep Reinforcement Learning Systems,' and has contributed to advancements in beam management, RACH protocols, and energy-efficient DRX configurations in wireless networks. His office is located in Core 315. Notable Awards: PLDI 2019 Distinguished Paper Award Grants: NSF Grant: Formal Symbolic Reasoning of Deep Reinforcement Learning Systems His research group explores intersections between compiler design, distributed systems, and network architecture, with applications in smart mobility, edge computing, and secure IoT communication. He actively contributes to standards development for 5G and future generations of wireless networks.
Jürgen Cito is an Associate Professor with tenure at Vienna University of Technology (TU Wien), specializing in software engineering, explainable AI, and performance engineering. He leads research at the IPA Lab (as indicated by his personal website) and maintains a visiting researcher position at Google. His academic journey began with joining TU Wien as an Assistant Professor in Spring 2020, with promotion to Associate Professor announced in April 2024. His research interests span multiple critical areas of modern software development, with particular focus on developer experience, program comprehension, and the intersection of AI with software engineering practices. His work bridges theoretical foundations with practical industrial applications, as evidenced by collaborations with major technology companies. Analysis of his recent publications reveals a strong emphasis on practical tools and methodologies that enhance software quality, performance, and security. His research trajectory shows increasing focus on explainable AI techniques applied to software engineering problems, performance prediction from source code, and automated security testing approaches that leverage large language models. best teaching award for distance learning for Web Engineering (2020) Cito actively contributes to the software engineering community through numerous conference committee roles, including program committee positions at ASE, ICSE, ESEC/FSE, and other major venues. His lab appears to focus on developer tools, program analysis, and AI-assisted software engineering, with connections to both academic and industrial research environments.
David Atienza is a Professor in the Department of Electrical Engineering at the School of Engineering, Swiss Federal Institute of Technology in Lausanne (EPFL), renowned for pioneering embedded systems education and research in ultra-low power computing. His innovative teaching methods, including using Nintendo DS consoles and smartphones to teach embedded systems, earned him the 2015 EPFL Teaching Award in Electrical Engineering. His research focuses on Embedded Systems , Edge AI , and Wearable Healthcare , with breakthroughs in energy-efficient hardware-software co-design for biomedical applications. Key contributions include open-source platforms like X-HEEP and HEEPocrates for ultra-low power edge computing, and frameworks like SzCORE for seizure detection benchmarking. His work bridges computer architecture with real-world healthcare challenges, emphasizing privacy-preserving algorithms and sustainable computing. Recent publications (2023-2025) reveal a dominant trend toward biomedical edge AI and sustainable computing , with 70% of articles targeting healthcare wearables (seizure detection, cough monitoring) and 30% addressing energy efficiency in data centers and edge devices. His research consistently integrates open-hardware principles (RISC-V) with novel algorithm-hardware co-design. Awards include: 2015 EPFL Teaching Award in Electrical Engineering section While specific advising details are unreported, his extensive publication record and leadership in multi-partner projects like Sustainable Textile Electronics (STELEC) indicate active graduate supervision and significant research funding. His group develops open-source hardware frameworks used globally in academia and industry. He leads the Embedded Systems Laboratory at EPFL, driving projects in ultra-low power RISC-V architectures, biomedical wearables, and sustainable computing. Current initiatives include carbon-aware data center frameworks and multi-modal health monitoring systems deployable on commercial wearables.
Harutyun Ishkhanovich Avetisyan is a Professor and Head of the Basic Department "System Programming" at the Faculty of Computer Science of the National Research University Higher School of Economics (HSE). He began his tenure at HSE in 2017 and brings 30 years of scientific and teaching experience to his role. Additionally, he serves as the Director of the Institute for System Programming of the Russian Academy of Sciences (ISP RAS), a position he has held since 2015. Avetisyan holds numerous prestigious academic distinctions, including being elected as an Academician of the Russian Academy of Sciences in 2019 and as a Corresponding Member in 2016. He earned his Doctor of Physical and Mathematical Sciences degree in 2012 and was awarded the academic title of Associate Professor in 2009. His educational background includes a specialty in "Applied Mathematics" from Yerevan State University (1993). His research focuses on three main areas: analysis and transformation of programs, software security, and parallel and distributed computing technologies. These interests are reflected in his extensive publication record and leadership in major research initiatives. His work bridges theoretical computer science with practical applications in cloud computing, secure data storage, and high-performance computing systems. Avetisyan's scholarly contributions demonstrate a consistent focus on system programming challenges, particularly in the areas of code analysis, optimization, and security. His recent publications indicate a growing interest in cloud computing paradigms, smart city infrastructure, and energy-efficient computing solutions. His research has significant implications for both academic theory and industrial applications in software development. Among his notable recognitions, Avetisyan was awarded the medal of the Order "For Merit to the Fatherland" 2nd degree in 2021 for his significant contributions to science and dedicated service. He also serves on the editorial boards of several prestigious journals including "Programming" (since 2015) and "Proceedings of the Institute for System Programming of the RAS" (since 2010). Throughout his career, Avetisyan has led and participated in numerous research grants funded by the Ministry of Education and the Russian Foundation for Basic Research. His professional trajectory shows steady progression from postgraduate studies (1997-2000) to research fellow (2000-2002), deputy director of ISP RAS (2002-2015), and ultimately director of the institute (2015-present). At HSE, Avetisyan teaches courses in parallel programming and mentor seminars for master's students in Software Engineering. His teaching philosophy emphasizes the integration of cutting-edge research with practical software development skills, preparing students for careers at the forefront of computer science.
