Yan Huang is an Associate Professor in the Department of Computer Science at Indiana University Bloomington, focusing on security and cryptography. His work bridges theoretical foundations with practical systems, emphasizing cryptographic protocols with strong security guarantees for generic computation. University: Indiana University Bloomington School: College of Arts and Sciences Department: Computer Science Academic Rank: Associate Professor His research combines theoretical computer science , program analysis , artificial intelligence , and software engineering to address real-world security problems. Key areas include secure computation , zero-knowledge proofs , and privacy-preserving technologies . Recent publications, such as Phecda (SP'25) and Dubhe (USENIX Security'23), highlight advancements in post-quantum cryptography , AES verification , and privacy-preserving deep packet inspection , reflecting his focus on scalable and practical cryptographic solutions. He has advised notable students including Changchang Ding (PhD, Computer Science) and Ruiyu Zhu (PhD, now at Facebook), and served on program committees for top conferences like ACM CCS and CRYPTO .
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 .
Michał Pilipczuk is an Associate Professor at the Institute of Informatics, Faculty of Mathematics, Informatics and Mechanics of the University of Warsaw. His research focuses on theoretical computer science, particularly algorithms on discrete structures, parameterized algorithms, structural graph theory, and logic in computer science. He leads the ERC-funded project "BOBR: Decomposition Method for Discrete Problems" and previously led a grant on optimality in parameterized complexity funded by the Polish National Science Center. His research interests include parameterized algorithms , structural graph theory , graph algorithms , and computational complexity . He has made significant contributions to the understanding of problems such as Independent Set in restricted graph classes, graph editing problems, and structural decompositions. The recent publications highlight a strong focus on structural graph theory and exact algorithms . Key themes include quasi-polynomial time algorithms for Independent Set in claw-free graphs, diameter computation in bounded genus graphs, and kernelization in trivially perfect graphs. His work often bridges combinatorial insights with algorithmic applications, particularly in the context of parameterized complexity. Principal Investigator, ERC Grant BOBR: Decomposition Method for Discrete Problems (2021–2026) Principal Investigator, Polish National Science Center Grant on Optimality in Parameterized Complexity (2014–2017) He has advised or collaborated with several researchers, including Marcin Wrochna and Marcin Pilipczuk. His work is published in top venues such as STOC, SODA, ESA, and ICALP.
Dr. Srinivas Peeta is the Frederick R. Dickerson Chair and Professor in Transportation Systems Engineering at the Georgia Institute of Technology’s School of Civil and Environmental Engineering. He previously held the Jack and Kay Hockema Professorship at Purdue University, where he served for 24 years. He is also the Associate Director of the USDOT Center for Connected and Automated Transportation. Education: B. Tech. from IIT Madras, M.S. from Caltech, and Ph.D. from UT Austin, all in Civil Engineering. His research focuses on large-scale transportation systems, infrastructure interdependencies, and connected/automated vehicles. He has authored over 345 publications and secured over $48M in research funding. Research Interests: Dynamic traffic networks and driver behavior modeling Information-based navigation in vehicular systems Systems perspectives for complex adaptive infrastructure Autonomous vehicle integration and human-vehicle interactions Key Achievements: Developed DYNASMART software for traffic operations Recipient of NSF CAREER Award (1997) and ASCE Walter Huber Prize (2009) Directed NEXTRANS UTC and pioneered USDOT’s real-time route guidance systems Grants & Outreach: Secured funding from USDOT, NSF, FHWA, and international agencies Initiated NEXTRANS internship programs and K-12 outreach Labs/Teams: Active in Georgia Tech’s ACT Lab, focusing on autonomous transportation systems and human-vehicle-environment interactions.
Mehmet Esat Belviranli is an Assistant Professor in the Computer Science Department at the Colorado School of Mines, where he directs the High Performance Systems and Software Lab (HyperSys). His research focuses on increasing resource utilization in heterogeneous architectures through runtime systems, scheduling algorithms, and performance modeling, with publications in top venues including MICRO, PPoPP, and SC. Education: Ph.D. in Computer Science, University of California, Riverside (2016) M.S. in Computer Science, Bilkent University (2009) B.S. in Computer Science, Bilkent University (2006) Belviranli's research spans heterogeneous architectures, runtime systems, performance modeling, parallel programming, autonomous computing, deep learning acceleration, cyber-physical systems, and edge-cloud platforms. His work develops analytical models and programming abstractions to address resource management, scheduling, and security challenges in diversely heterogeneous systems, with applications in edge computing, autonomous systems, and machine learning acceleration. Recent projects emphasize real-world constraints and security implications. His publication trends reveal increasing focus on edge-cloud resource management (e.g., HARNESS), security vulnerabilities in heterogeneous systems (e.g., MC3), and deep learning acceleration under resource constraints. Key themes include memory contention modeling, scheduling for cyber-physical systems, and concurrent DNN execution, reflecting a shift toward practical deployment in security-sensitive edge environments. Scientific Awards: U.S. Air Force Research Lab Summer Faculty Fellowship Award (2022) U.S. Air Force Research Lab Summer Faculty Fellowship Award (2021) Oak Ridge National Laboratory Significant Event Award (2019) Best Paper Finalist, IEEE HPEC 2018 Outstanding Paper Award, DATE 2024 Belviranli mentors Ph.D. students Ismet Dagli (MLCommons Rising Star 2024, CGO'24 SRC finalist) and Justin Davis (DATE'24 Outstanding Paper Award winner). He has secured $2M+ in funding from NSF, DoE, and SRC, including an NSF-SaTC grant on mobile security (2024), a DoE grant on superconductive systems (2023), and an NSF FuSe grant on graphene nanoribbons (2023), often leading multi-institutional teams from Rochester, Virginia, Arizona, and Minnesota. The HyperSys Lab develops ecosystems for high-performance heterogeneous systems, with recent projects including HARNESS for edge-cloud resource management and MC3 for mobile SoC security. The lab has received equipment donations from Google Coral.ai and Xilinx, and collaborates with national labs on security challenges and next-generation semiconductor technologies.
Dr. Christina Leslie is a Research Professor and Member of the Computational & Systems Biology Program at Memorial Sloan Kettering Cancer Center (MSK). She leads an active research laboratory focused on developing computational approaches to understand complex biological systems. Dr. Leslie earned her PhD from the University of California, Berkeley and has established herself as a leading computational biologist in cancer research and immunology. Computational & Systems Biology Program, Memorial Sloan Kettering Cancer Center Gerstner Sloan Kettering Graduate School of Biomedical Sciences Dr. Leslie's research focuses on developing novel computational methods to study cellular biological systems from a global and data-driven perspective. Her lab exploits diverse high-throughput functional and genomic data to understand molecular networks underlying fundamental cellular processes, including transcription regulation, pre-mRNA processing, signaling, and post-transcriptional gene silencing. Her algorithmic methods draw heavily on machine learning to build accurate predictive models from noisy and high-dimensional biological data. Key areas of interest include modeling cell-type specific transcriptional programs and dissecting co- and post-transcriptional regulation, particularly microRNA-mediated gene regulation. Analysis of Dr. Leslie's publication record over the last five years reveals a strong focus on computational approaches to cancer genomics, immunology, and epigenetics. Her work bridges multiple disciplines, with a particular emphasis on developing machine learning methods to interpret complex biological data. The publications demonstrate increasing sophistication in integrating multiple data types (genomic, transcriptomic, epigenomic) to understand cancer biology and immune responses. Recent work shows a growing emphasis on single-cell technologies and spatial analysis of tumor microenvironments. Introduction of string kernel methodology for SVM classification of biological sequences Development of algorithms for predictive modeling of gene regulation First systems-level analyses of competition between microRNAs and between target transcripts Dr. Leslie actively mentors numerous graduate students and research associates, with current lab members including Vianne Gao, Alireza Karbalaghareh, Erik Ladewig, and several others. Her lab has received significant research funding to support their work on computational approaches to cancer biology and immunology. The Leslie Lab maintains close collaborations with multiple experimental groups at MSK, facilitating the translation of computational insights into biological understanding. The Leslie Lab operates within the Computational & Systems Biology Program at MSK, with strong ties to both the research and clinical missions of the institution. The lab maintains state-of-the-art computational infrastructure for analyzing large-scale genomic and proteomic datasets and collaborates extensively with wet-lab researchers to validate computational predictions experimentally.
Laurens Lootens is a Researcher in the Department of Applied Mathematics and Theoretical Physics (DAMTP) at the University of Cambridge. His work focuses on theoretical physics, particularly in quantum lattice models, topological phases of matter, and mathematical structures underlying quantum systems. He is affiliated with the High Energy Physics research group within DAMTP. His research interests include dualities in quantum systems, matrix product operator symmetries, conformal field theories, and tensor network methods. Lootens explores topics such as entanglement in many-body systems, symmetry-protected topological phases, and the interplay between algebraic structures and physical phenomena. Publications highlight his contributions to understanding lattice representations of dualities, topological sectors in quantum models, and critical lattice models for conformal field theories. His work bridges theoretical frameworks with computational methods, advancing both fundamental physics and quantum information science.
Hans-Bert Rademacher is a Professor of Differential Geometry at the University of Leipzig's Faculty of Mathematics and Computer Science, where he has held the chair since 1995. He completed his Habilitation in 1991 and earned his PhD (Dr.rer.nat., summa cum laude) in 1986 from Universität Bonn, following a Diploma in Mathematics (1983) from the same institution. Research Interests: His work focuses on differential geometry, including pseudo-Riemannian geometry, Finsler geometry, conformal geometry, Dirac operators and twistor spinors, Morse theory and closed geodesics, topology of free loop spaces, and discrete curve shortening. His research bridges geometric analysis and topology, particularly in the study of geodesic systems and curvature properties. Publication Trends: Recent articles center on closed geodesics in various geometric settings (spheres, Finsler manifolds, 3-manifolds), solitons in geometric flows, homology of loop spaces, and conformal geometry. His work frequently applies Morse theory to solve problems in global analysis and topology. Awards and Honors: University Medal (2021) Full Member, Saxon Academy of Sciences and Humanities (since 2010) Heisenberg Fellowship (1992-1995) Felix Hausdorff Memorial Prize (1985) National Mathematics Competition Winner (1978) Academic Service: He has supervised 12 PhD students and served as Dean (2011-2014) and Vice-Dean (2005-2008) of his faculty. He coordinated the Research Training Group "Analysis, Geometry and their interaction with the sciences" (2000-2010) and serves on editorial boards for several mathematics journals.
Bruce Allen is the Director of the Max Planck Institute for Gravitational Physics (Albert Einstein Institute) in Hannover, Germany, where he also heads the Observational Relativity and Cosmology department. He holds dual academic appointments as Honorary Professor of Physics at Leibniz Universität Hannover and Adjunct Professor of Physics at the University of Wisconsin-Milwaukee, USA. His career spans over three decades in gravitational physics research, with a leadership role in the LIGO Scientific Collaboration from 1997 to 2018. Dr. Allen's research focuses on gravitational wave detection and data analysis, early universe cosmology, de Sitter space, curved-space quantum field theory, cosmic strings, inflationary models of the early universe, and gravitational radiation emission by cosmic strings. His work extends to large-scale cluster computing and public distributed computing projects like Einstein@Home, which has led to significant discoveries in gravitational wave astronomy. His recent publications demonstrate expertise in pulsar timing arrays, Hellings-Downs correlation analysis, and optimization of computational methods for gravitational wave detection. Allen's scientific contributions have been recognized with numerous prestigious awards including the Richard A. Isaacson Award (2020), the Bruno Rossi Prize (2017), the Princess of Asturias Award (2017), and the Special Breakthrough Prize (2016), all shared with the LIGO team for groundbreaking gravitational wave discoveries. He is also an Elected Fellow of both the American Physical Society and the Institute of Physics, UK. As a research leader, Allen has secured approximately $10 million in research funding from the National Science Foundation (1987-2018) and has mentored numerous students and researchers in gravitational physics. His work on Einstein@Home has engaged the public in scientific discovery through distributed computing, leading to several important astrophysical findings including gamma-ray pulsar discoveries.
David Simmons-Duffin is a Professor of Theoretical Physics at the California Institute of Technology (Caltech), where he has held positions since 2016. He is part of the Division of Physics, Mathematics and Astronomy, contributing to the Physics Department. His career progression includes roles as Visiting Associate (2016–17), Assistant Professor (2017–20), and Associate Professor (2020–21) before becoming full Professor in 2021. Education: A.B. and A.M. from Harvard University (2006), CASM from the University of Cambridge (2007), and Ph.D. from Harvard University (2012). His research focuses on conformal field theory (CFT), bootstrap methods, quantum field theory, and AdS/CFT correspondence. Key areas include precision computations in strongly coupled systems, critical phenomena, and applications to holography and quantum gravity. Research highlights include advancing the conformal bootstrap program, analyzing CFT data in 3D Ising models, and exploring connections between CFTs and gravitational theories. His work often bridges theoretical frameworks with numerical methods, yielding insights into operator product expansions (OPE), spectral gaps, and causality constraints. Affiliations include the Institute for Quantum Information and Matter (IQIM) and other Caltech research centers. His contributions have shaped modern approaches to understanding universality in critical systems and the geometric aspects of quantum field theories. Notable collaborations involve high-precision calculations, bootstrap island techniques, and studies of thermal QFT and light-ray operators. His work emphasizes interdisciplinary methods, combining analytic tools with computational advancements to tackle complex theoretical problems.
Yang Kaidi is an Assistant Professor in the Department of Civil and Environmental Engineering at the National University of Singapore (NUS), affiliated with the Institute of Operations Research and Analytics (IORA) within NUS’s Smart Nation Research Cluster. Their research focuses on intelligent transportation systems, traffic control, shared mobility, and machine learning applications in mobility. Key interests include connected and automated vehicles, privacy-preserving data sharing, and reinforcement learning for traffic optimization. Research highlights include developing parameter privacy-preserving strategies for mixed-autonomy platoons, enhancing safety in autonomous driving via transformer-based trajectory prediction, and optimizing traffic signal timing using connected vehicle data. Their work bridges theoretical control systems with practical urban mobility challenges, addressing issues like ridesourcing-public transit integration, modular transit service operations, and weaving section management in mixed traffic environments. Recent publications emphasize real-time control frameworks, cooperative safety mechanisms, and data-driven solutions for urban and highway systems. Yang’s interdisciplinary approach integrates robotics, optimization, and cybersecurity to advance smart transportation infrastructure. Their contributions are particularly notable in privacy-preserving techniques for traffic state estimation and federated learning applications. While no specific awards or grants are listed, their research aligns with Singapore’s Smart Nation initiatives through IORA’s strategic focus areas. Yang’s work has implications for future traffic management systems, autonomous vehicle coordination, and sustainable urban mobility solutions.
Giansalvatore (Gianni) Mecca is a full professor at the Department of Mathematics, Computer Science and Economics at the University of Basilicata. Born in Potenza, he earned his Computer Engineering degree and PhD from Sapienza University of Rome under Prof. Paolo Atzeni. He joined the University of Basilicata in 1995, initially as a research associate and later as an associate professor. He has held visiting positions at the University of Toronto, Qatar Computing Research Institute, Arizona State University, and Roma Tre University. His research focuses on data quality, analytics, integration, and information extraction, alongside cooperative database systems. He teaches courses in computer programming, databases, and web development for Computer Science and Engineering programs. Key initiatives include the Diogene project, which innovates teaching methodologies in procedural programming and database systems, emphasizing layered instruction and dual-language (C++/FORTRAN) approaches. Diogene’s framework tools like pinco (Web MVC) and PdD (questionnaire generator) reflect his contributions to educational software. His work integrates practical coding examples with layered theoretical explanations, emphasizing algorithmic clarity and cross-language comparisons. Publications include methodological papers on educational systems and teaching practices, such as the 2006 Diogene Working Report on certification frameworks. His teaching materials span procedural programming, XML, and object-oriented design, distributed under Creative Commons licenses.
Can Firtina is a Lecturer at ETH Zurich's Department of Information Technology and Electrical Engineering and a Senior Researcher in the SAFARI Research Group. His research focuses on accelerating genome analysis through algorithm-architecture co-design, particularly leveraging hardware-software integration for bioinformatics workloads. He holds a PhD in Electrical and Computer Engineering from ETH Zurich and degrees from Bilkent University. As of Fall 2025, he will join the University of Maryland, College Park (UMD) as an Assistant Professor of Computer Science. Education: PhD in Electrical and Computer Engineering (D-ITET), ETH Zurich MSc in Computer Engineering, Bilkent University BSc in Computer Engineering, Bilkent University Research Interests: His work bridges bioinformatics and computer architecture, emphasizing real-time, accurate, and energy-efficient genome analysis. Key areas include raw nanopore signal processing (e.g., RawHash, Rawsamble), hardware-software co-design for bioinformatics, and scalable metagenomic analysis. His algorithms address noise mitigation and accelerate applications like assembly polishing (Apollo) and alignment remapping (AirLift). Labs & Collaborations: He leads research within the SAFARI Group, collaborating with institutions like NVIDIA, AMD, and Huawei. His contributions span tools like GenASM (approximate string matching) and BLEND (fuzzy seed matching). He also organizes workshops on bioinformatics acceleration and serves on review boards for venues like ISMB and RECOMB. Future Directions: Future work includes end-to-end raw signal analysis without basecalling, reference-free genome assembly, and leveraging emerging hardware for real-time field applications. He will expand these efforts at UMD, hiring students in Fall 2025.
Michael Stonebraker is a renowned computer scientist and Adjunct Professor of Computer Science at MIT's CSAIL. He is a pioneer in database technology, having developed foundational systems like INGRES and POSTGRES at UC Berkeley. His work spans database management, distributed systems, and data integration. He has founded multiple startups to commercialize his research and holds numerous awards, including the ACM Turing Award (2014) and IEEE John von Neumann Medal (2005). He earned his Ph.D. from the University of Michigan and undergraduate degrees from Princeton and Michigan. His research focuses on advancing database systems, operating systems, and big data analytics. Recent work includes contributions to video data management, cloud computing optimization, and data discovery systems. Education: Ph.D., Computer, Information and Control Engineering, University of Michigan (1971) M.S.E., Electrical Engineering, University of Michigan (1966) B.S.E., Electrical Engineering, Princeton University (1965) Research Interests: Database Technology, Distributed Systems, Data Integration, and Big Data Analytics. His work bridges theory and practice, emphasizing scalable architectures and real-world applications. Awards & Recognition: ACM Turing Award (2014) ACM SIGMOD Systems Award (2015) MIT Tech Review TR7 (2016) C&C Prize (2020) Grants & Labs: His research is supported by grants from NSF, DARPA, and industry collaborations. He leads MIT's efforts in database systems and is affiliated with CSAIL labs focused on data management and high-performance computing.
AnHai Doan is the Vilas Distinguished Achievement Professor and Gurindar S. Sohi Professor in the Department of Computer Science at the University of Wisconsin-Madison. His research focuses on data integration, entity matching, and data science, with particular emphasis on building end-to-end systems that leverage machine learning, scalable data management, and human-data interaction. He leads the Magellan project, which develops open-source tools for entity matching as part of the Python data ecosystem. Dr. Doan's research interests include: Data cleaning and integration: Building end-to-end data integration systems as parts of the Python ecosystem of open-source data tools Data science: Developing an agenda that integrates research, system building, education, and outreach, with focus on data quality Crowdsourcing: Pioneering work on using crowdsourcing for data management and integration Knowledge bases: Building community-centric knowledge bases His recent work shows a strong trend toward developing practical systems for data integration that combine machine learning with traditional database techniques. The Magellan project represents a comprehensive effort to build an end-to-end entity matching system, with numerous publications spanning entity matching algorithms, debugging tools, and cloud-based matching services. His research increasingly focuses on the intersection of data science and data management, particularly on data quality issues. Selected scientific awards: Gurindar S. Sohi Professorship (2020) Vilas Distinguished Achievement Professorship (2018) SIGMOD Research Highlight Award (2017) Vilas Associate, UW-Madison (2016) Alfred P. Sloan Research Fellowship (2007) NSF CAREER Award (2004) ACM Doctoral Dissertation Award (2003) Dr. Doan has been actively involved in service to the data management community, including serving on the SIGMOD Advisory Board, as associate editor for VLDB, and co-chairing the industrial program for VLDB. He has also played a key role in strategic initiatives at UW-Madison, including helping to establish the School of Computer, Data, and Information Sciences. He has mentored numerous students and researchers through his work on the Magellan project and related research efforts. Additionally, he co-founded GreenBay Technologies to commercialize Magellan, which was later acquired by Informatica. He leads the Database Group at UW-Madison and has been instrumental in developing data science educational programs at both undergraduate and graduate levels. His work bridges research, education, and practical applications in the rapidly evolving field of data management and data science.
