Máté Szabó is an Assistant Professor at the University of Debrecen , affiliated with the Faculty of Informatics and the Department of Information Technology . His email contact is szabo.mate@inf.unideb.hu . He works in areas such as Machine Learning , Smart Cities , and Mobile Computing . His research spans topics like microservice architecture for ensemble models, Markov modeling of traffic flows, and distributed machine learning on mobile platforms. He has explored neural models for conversational AI and gamification in programming education through Minecraft-based challenges. His work also addresses edge computing and data parallelism in mobile environments. His publications (2016–2024) reflect trends in machine learning deployment on Android platforms smart city traffic analytics gamified educational tools cognitive modeling of numerical understanding microservice-based model integration .
Paulo Blikstein serves as Associate Professor of Communications, Media and Learning Technology Design at Columbia University. Previously, he was Assistant Professor of Education and (by courtesy) Computer Science at Stanford University and co-founded the Lemann Center for Brazilian Education (2008-2018). Education: Ph.D. in Learning Sciences, Northwestern University (2009) M.A. in Media Arts & Sciences, MIT Media Lab (2002) M.Eng. in Electronic Engineering, University of São Paulo (2000) B.S. in Metallurgical Engineering, University of São Paulo (1998) His research pioneers constructionist learning environments through digital fabrication, educational robotics, and tangible interfaces—focusing on equitable access for underserved communities. Inspired by Paulo Freire and Seymour Papert, he develops open-source tools like the GoGo Board robotics platform and leads the global FabLab@School initiative establishing fabrication labs in schools across four continents. Current work emphasizes multimodal learning analytics to study student interactions in maker-centered classrooms. Publications reveal strong focus on democratizing invention through maker education, with recurring themes in constructionist theory application, multimodal assessment, and context-specific technology adaptation. Brazilian education reform and low-cost computational solutions form significant threads, particularly in 2016-2017 publications. Scientific Awards: Two Google Faculty Awards National Science Foundation Early Career Award (highest U.S. government honor for early-career scientists) Blikstein directs the Transformative Learning Technologies Lab (TLTL) and co-founded Stanford's Center for Educational Entrepreneurship and Innovation in Brazil. His FabLearn conference established the first academic forum on Maker Movement applications in education. While specific grant details aren't listed, the NSF CAREER Award signifies major federal research funding. He spearheads the FabLab@School project deploying advanced fabrication labs in K-12 institutions worldwide and founded the FabLearn conference series. His work integrates teams of engineers, educators, and designers to create scalable solutions for resource-constrained learning environments.
Fred B. Schneider is the Samuel B. Eckert Professor of Computer Science at Cornell University , where he has been a faculty member since 1978. His career spans foundational work in trustworthy systems , fault-tolerant distributed systems , and system security . He served as department chair from 2014–2018 and previously earned a B.S. in Engineering from Cornell (1975) and a Ph.D. in Computer Science from Stony Brook University (1978).
Daniel A. Spielman is a Sterling Professor of Computer Science, Statistics & Data Science, and Mathematics at Yale University. He serves as the inaugural James A. Attwood Director of the Institute for Foundations of Data Science (FDS) and was previously co-Director of the Yale Institute for Network Science (YINS). He is also a member of TILOS, the NSF Institute for Learning-Enabled Optimization at Scale. His research interests span Spectral Graph Theory, Algebraic Graph Theory, Laplacian Matrices, Expander Graphs, and Random Walks on Graphs. Spielman has made fundamental contributions to understanding the mathematical foundations of data science, including work on smoothed analysis of algorithms, spectral sparsification, and solutions to the Kadison-Singer problem. Spielman's publications demonstrate a consistent focus on developing efficient algorithms with strong theoretical foundations. His work bridges pure mathematics, theoretical computer science, and practical applications in network analysis and machine learning. His research has evolved from foundational work on smoothed analysis to recent contributions in experimental design using discrepancy theory. His scientific honors include: Nevanlinna Prize for contributions to mathematical aspects of computer science Two Gödel Prizes (2008 and 2015) for outstanding papers in theoretical computer science MacArthur Fellowship ('Genius Grant') Simons Investigator award Membership in the National Academy of Sciences and American Academy of Arts and Sciences Spielman has advised numerous PhD students who have gone on to prominent positions in academia and industry. His teaching includes advanced courses in Spectral Graph Theory and Computation and Optimization. He has developed important software packages like Laplacians.jl for solving Laplacian linear equations and related problems.
Jonathan M. Baker is an Assistant Professor in the Department of Electrical and Computer Engineering at The University of Texas at Austin, holding the Advanced Micro Devices Chair in Computer Engineering. His research centers on quantum computer architecture with emphasis on practical quantum error correction implementation across the quantum computing stack. His educational background includes a Ph.D. in Computer Science from the University of Chicago (advised by Fred Chong) and dual B.S. degrees in Mathematics and Chemistry and Computer Science from the University of Notre Dame. Baker's research spans quantum compilation, logic synthesis, multi-radix architectures, and error mitigation for both near-term and fault-tolerant quantum systems. His work addresses critical challenges in quantum hardware-software co-design, with particular focus on optimizing quantum circuits for real-world hardware constraints and noise characteristics. Current projects emphasize qudit-based computing, neutral atom architectures, and efficient error correction implementations. His publication record shows strong focus on quantum architecture innovations, with recent work exploring qudit advantages, modular chiplet designs, and dynamic noise adaptation. Key trends include hardware-aware compilation techniques, communication optimization across quantum systems, and practical approaches to fault tolerance. Best Paper Award Runner Up, MICRO 2020 IEEE Micro Top Pick, 2020 (Virtualized Logical Qubits) IEEE Micro Top Pick, 2020 (Extending Frontier with Qutrits) IEEE Micro Top Pick, 2021 (Emerging Technologies) Best Poster Award, MICRO 2018 Baker actively mentors graduate students in quantum computing architecture research and serves on conference review committees including MICRO and ASPLOS. His teaching includes specialized quantum systems courses at UT Austin and online EdX modules covering quantum computation fundamentals and architecture. He collaborates with the Duke Quantum Center and maintains strong industry connections through the AMD Chair position, focusing on bridging academic research with practical quantum computing implementations.
Prof. Dr. Barbara Kraus is the Chair of Quantum Algorithms and Applications at the Technical University of Munich (TUM), affiliated with the TUM School of Natural Sciences. She previously held academic positions at the University of Innsbruck, where she founded her research group in 2010. Education : Physics and Mathematics at the University of Innsbruck; Post-doctoral work at MPI for Quantum Optics and University of Geneva. Her research focuses on foundational problems in quantum information theory, particularly entanglement in multipartite systems, quantum simulation, and verification of quantum processors. She develops theoretical tools for quantum many-body systems and explores applications in quantum computing, emphasizing error characterization and experimental validation. Recent publications highlight advancements in Hamiltonian learning, symmetry-resolved entanglement detection, and multipartite state transformations. Her work bridges theoretical quantum physics with practical implementations, including Rydberg platforms and quantum metrology. Key Awards : START Prize (2010), Ignaz L. Lieben Award (2013), Boltzmann Prize (2011), Südtiroler Sparkasse Research Prize (2019). She supervises doctoral students and postdocs in quantum information theory, with a focus on stabilizer states, quantum networks, and entanglement measures. Her courses at TUM include Quantum Information , Quantum Algorithms , and workshops on entanglement manipulation.
Aaron D. Ames is the Bren Professor of Mechanical and Civil Engineering, Control and Dynamical Systems, and Aerospace at the California Institute of Technology (Caltech). He serves as the Booth-Kresa Leadership Chair and Director of the Center for Autonomous Systems and Technologies since 2025. His academic journey includes a BS in Mechanical Engineering and BA in Mathematics from the University of St. Thomas (2001), followed by an MA in Mathematics and a PhD in Electrical Engineering and Computer Sciences from UC Berkeley (2006). Research Interests span theoretical and experimental work in hybrid systems, nonlinear control, and bipedal robotic locomotion. Specific focus areas include: Control Barrier Functions (CBFs) for safety-critical systems Powered prostheses and robotic assistive devices Legged locomotion for bipedal and quadrupedal robots Cyber-physical systems and autonomous control Model predictive control and real-time optimization Humanoid robotics and geometric safety filters Recent publications emphasize risk-aware control, safety verification, and locomotion on constrained environments, with applications to drones, exoskeletons, and quadrupedal robots. His work often integrates theoretical advancements with practical validation through the AMBER Lab. Scientific Awards & Honors : NSF CAREER Award (2010) Donald P. Eckman Award (2015) Leon O. Chua Award (2005) Bernard Friedman Prize (2006) Teaching includes graduate courses on nonlinear control, hybrid systems, and robotics at Caltech, alongside prior roles at Georgia Tech and Texas A&M. He leads the AMBER Lab (Bipedal Robotics) and has secured major grants from the National Science Foundation, NASA, and industry partners like Miso Robotics and SRI International.
Prof. Dr. Halis Aydemir is a Professor at the Department of Basic Islamic Sciences in Dumlupınar University's Faculty of Theology. He holds concurrent administrative roles including Vice Rector (2015–2019), Dean of the Faculty of Islamic Sciences (2015–2020), and Head of the Hadith Department. His academic journey includes a BSc in Electrical Engineering (Istanbul Technical University, 1995) and a PhD in Basic Islamic Sciences (Uludağ University, 2004). His research focuses on applying probability theory to Hadith transmission systems, developing mathematical models for inheritance calculations in Islamic law, and Arabic language education. Notable projects include the 'Al-Musnad al-Sahih' manuscript verification (2002–2012) and multiple inheritance calculation software projects. He has authored over 80 publications including critical editions of Hadith collections and theoretical works on Hadith reliability. Awards: No scientific awards explicitly mentioned. Administrative roles include leadership in religious affairs projects and educational software initiatives. Research highlights include probabilistic analysis of narrator reliability, isnad model evaluation, and digital tools for Islamic legal calculations. His work bridges traditional Islamic scholarship with modern quantitative methods.
Clark Olson is a Professor in the Division of Computing & Software Systems at the University of Washington Bothell, part of the School of Science, Technology, Engineering & Mathematics. He earned his Ph.D. in Computer Science from UC Berkeley (1994), M.S. in Electrical Engineering (1990), and B.S. in Computer Engineering (1989) from the University of Washington, Seattle. Education: Ph.D. in Computer Science (2017) from University of California, Berkeley M.S. in Electrical Engineering (1990) from University of Washington, Seattle B.S. in Computer Engineering (1989) from University of Washington, Seattle His research focuses on computer vision, robot navigation, and clustering algorithms. He has developed techniques for Mars rover terrain mapping, subspace clustering, and geometric feature matching. His work bridges theory and application in autonomous systems and image analysis. Analysis of his publications reveals expertise in computer vision (8 papers), clustering algorithms (4 papers), and robotics (5 papers). Key subtopics include Mars exploration (3 papers), Hough transforms (3 papers), and probabilistic methods (3 papers). Professor Olson teaches courses ranging from introductory programming (CSS 161-162) to advanced topics in computer vision (CSS 487-587) and algorithm design (CSS 549). He also advises on the CSSE Capstone (CSS 497) projects requiring rigorous prerequisites and structured evaluation criteria.
Supratik Chakraborty serves as the Bajaj Group Chair Professor in the Department of Computer Science and Engineering at Indian Institute of Technology Bombay. He maintains dual affiliations with the Centre for Formal Design and Verification of Software and the Centre for Liberal Education at IIT Bombay, demonstrating his cross-disciplinary engagement. Professor Chakraborty's research spans formal methods with focus on formal verification, rigorous analysis of system models, and automated synthesis of systems from specifications. His work bridges theoretical foundations with practical applications, particularly in developing mathematically provable guarantees for increasingly complex hardware, software, and intelligent systems. Current research interests include constrained counting and sampling, scalable formal verification of software and hardware systems, automated synthesis of programs and circuits, and applications of automata, logic and finite model theory to practical verification challenges. His publication trajectory shows a significant evolution from traditional hardware and software verification toward addressing verification challenges in machine learning and AI systems. Recent work increasingly focuses on interpretability of black-box models, verification of neural networks, and synthesis techniques applicable to intelligent systems. The research demonstrates strong interdisciplinary connections between formal methods, programming languages, and artificial intelligence. IIT Bombay Excellence in Thesis (CSE) Award 2011 (for Bhargav Gulavani's thesis) IIT Bombay Excellence in Thesis (CSE) Award 2017 (for Abhisekh Sankaran's thesis) Best Paper in Algorithms and Architecture track at IEEE International Conference on Computer Design: VLSI in Computers and Processors, 1998 Professor Chakraborty has successfully supervised 11 doctoral students, with research spanning formal verification techniques, Boolean functional synthesis, constrained counting, and applications to hardware and software systems. His students have gone on to positions at major institutions including Microsoft Research, TCS Research, Georgia Tech, and BARC, reflecting the strong industry and academic impact of his mentorship. Current research directions show increasing emphasis on verification challenges posed by machine learning systems and AI. His research group at IIT Bombay, while not explicitly named in the materials, appears to focus on formal methods with strong connections to the Centre for Formal Design and Verification of Software. The group maintains active collaborations with international researchers including Moshe Y. Vardi at Rice University, and has made significant contributions to verification tools like VeriAbs that bridge theoretical advances with practical applications.
Karoline Faust is an Associate Professor at KU Leuven, affiliated with the Laboratory of Molecular Bacteriology (Rega Institute) and the Faculty of Medicine . She contributes to the iSi Health and Leuven One Health institutes, and serves on senior academic councils. Her research spans microbial systems biology, focusing on community dynamics and network analysis. Education: PhD in bioinformatics (2010, KU Leuven) Affiliations: KU Leuven, ISME Journal editorial board, Belgian Society for Microbiology Her research investigates microbial community dynamics , systems biology approaches to microbiomes, and bioinformatics tool development . She specializes in modeling human gut microbiota , synthetic microbial communities , and environmental microbiomes (e.g., microplastic impacts on Daphnia microbiomes). Her work integrates metabolic modeling , network analysis , and experimental systems to understand microbial interactions. Recent publications highlight her contributions to microbial network inference , 16S rRNA sequencing protocols , microfluidics , and ecological modeling of microbiomes. She develops tools like manta , miaSim , and CoNet to analyze community structures. Teaching: Karoline co-teaches courses in microbiology, bioinformatics, and network analysis at KU Leuven, and has contributed to international workshops on microbial network inference. Scientific Engagement: She serves as Senior Editor at ISME Journal and Secretary of the Belgian Society for Microbiology .
Andrew D. White is an Associate Professor of Chemical Engineering at the Hajim School of Engineering & Applied Sciences, University of Rochester. He holds a PhD from the University of Washington (2013). His research focuses on automating scientific discovery through AI, particularly leveraging large language models (LLMs) and deep learning techniques in chemistry. His lab develops agents that integrate literature analysis, hypothesis generation, and experimental design to advance fields like molecular dynamics and drug discovery. Education: PhD in Chemical Engineering, University of Washington, 2013 BS/MS (not explicitly stated in text, inferred from career timeline) Research Interests: Large language models for scientific automation Deep learning applications in chemistry and materials science Molecular dynamics simulations Scientific agents and autonomous systems Publications: His work includes groundbreaking studies on closed-loop AI systems for chemistry, federated learning in molecular property prediction, and multi-agent systems for drug discovery. Recent highlights include the Robin system and ChemCrow tools. Awards: Recipient of the NSF Career Award (2018), NIH Outstanding Investigator Award (2020), and the Curtis Teaching Award (2019). He also advises biotech companies and serves on the National Academy of Sciences' Chemical Sciences Roundtable. Grants & Funding: Supported by DOE, NSF (multiple grants including CBET-1751471), NIH (R35GM137966), and LLNL projects. Collaborates with institutions like Argonne National Lab and Qubit Pharmaceuticals. Labs & Teams: Leads the White Lab at Rochester and co-founded FutureHouse, a nonprofit advancing AI-driven scientific discovery. Supervises a multidisciplinary team of PhD students and postdocs in computational chemistry, AI, and biophysics.
Sridhar R. Tayur is the Ford Distinguished Research Chair and University Professor of Operations Management at Carnegie Mellon University’s Tepper School of Business. He holds a Ph.D. in Operations Research from Cornell University and a B.Tech. in Mechanical Engineering from IIT Madras. His research focuses on quantum computing applications in operations research, healthcare systems optimization, and supply chain management. He has held visiting roles at MIT, Stanford, and Cornell, and founded companies like SmartOps and OrganJet. His recent work spans quantum-inspired optimization algorithms, healthcare decision support systems, and fair resource allocation policies. He has contributed to over 110 publications, including high-impact papers in Management Science , Operations Research , and IEEE Transactions . Awards include INFORMS Fellow and NAE membership. He teaches courses in quantum integer programming, healthcare operations, and service management at the Tepper School. Education: Ph.D. (Cornell), B.Tech. (IIT Madras) Research Labs: Quantum Technology Group, OrganJet Key Awards: INFORMS Fellow, NAE Member, MSOM Distinguished Fellow Teaching: MBA Operations Management, PhD Quantum Optimization, Healthcare Systems His interdisciplinary work bridges quantum computing, healthcare policy, and logistics, supported by collaborations with industry and government institutions.
Casey Reas is a Professor of Design Media Arts at the University of California, Los Angeles (UCLA), within the UCLA School of the Arts and Architecture. Previously, he served as an Associate Professor at Interaction Design Institute Ivrea (2001–2003). His academic background includes a BSc in Design from the University of Cincinnati (1996) and an MSc in Media Arts and Sciences from MIT (2001). Reas co-created the open-source programming language Processing with Ben Fry, revolutionizing visual arts and education globally. He is renowned for blending art and technology, creating generative works exhibited in institutions like the Centre Georges Pompidou and the Whitney Museum of American Art. His research focuses on computational aesthetics, algorithmic art, and digital media's intersection with music and design. Education: Bachelor of Science in Design, University of Cincinnati, 1996 Master of Science in Media Arts and Sciences, MIT, 2001 Research Interests: Reas explores the synergy between code and creativity, emphasizing generative systems, real-time visualization, and interactive installations. His work often addresses themes of randomness, pattern formation, and human-computer interaction. Notable projects include Processing language development, music video collaborations with The National, and immersive installations like Sketch Machine and Warm Up . Recent Collaborations: Music videos for The National’s Sleep Well Beast (2017), blending algorithmic visuals with Grammy-winning music. Interactive installations such as Impure Functions (2017) and Warm Up (2017), co-created with UCLA’s Conditional Studio. Public commissions like Sketch Machine (2018), an open-source drawing tool for GIPHY. Awards: Contributor to The National’s Grammy Award for Best Alternative Music Album ( Sleep Well Beast , 2018). Labs/Teams: Reas leads the Reas Studio and collaborates with UCLA’s Arts Conditional Studio, focusing on experimental software, generative art, and interdisciplinary projects.
Peter Benner is a Professor and Director at the Max Planck Institute for Dynamics of Complex Technical Systems in Magdeburg, where he leads the Computational Methods in Systems and Control Theory group. He also holds an Honorarprofessor position for Mathematics at Otto-von-Guericke Universität Magdeburg since 2011. Benner has previously served as Managing Director of the Max Planck Institute during multiple periods (2013-2014, 2021-2022, and 2025-2026), demonstrating his leadership in the field. Benner's research focuses on Scientific Machine Learning, Numerical Linear and Multilinear Algebra, Model Order Reduction and Reduced-order Modeling, Numerical Methods in Systems and Control Theory, PDE Constrained Optimization, High-performance and Power-aware Computing, and Mathematical Software development. His work bridges theoretical mathematics with practical engineering applications, particularly addressing challenges in large-scale dynamical systems. Analysis of his recent publications reveals a strong emphasis on developing efficient computational methods for complex systems. Benner has pioneered approaches combining model order reduction with tensor methods to tackle high-dimensional problems in uncertainty quantification and PDE-constrained optimization. His work shows a consistent trend toward integrating data-driven techniques with traditional model-based approaches, particularly for nonlinear and parametric systems. Throughout his career, Benner has actively mentored students and collaborated with researchers worldwide, delivering numerous invited talks at prestigious institutions and conferences across Europe, North America, and Asia. His research has received significant funding, supporting the development of mathematical software and computational methods for industrial applications. Benner leads the Computational Methods in Systems and Control Theory department at the Max Planck Institute, which focuses on developing and implementing advanced numerical methods for large-scale dynamical systems. The group maintains strong connections with both theoretical mathematics and practical engineering applications, particularly in fluid dynamics, energy systems, and control theory.
