Chen Wei Wayne is an Assistant Professor in the Department of Mechanical Engineering at Texas A&M University. His research focuses on generative design AI, machine learning, uncertainty quantification, and advanced manufacturing. He leads the DIGIT Lab, which develops AI methods for design innovation, automation, and manufacturing integration. Education: Ph.D., Mechanical Engineering, University of Maryland, College Park (2019) M.S., Mechanical Engineering, Chongqing University, China (2015) B.S., Mechanical Engineering, Chongqing University, China (2012) Research Interests: Generative adversarial networks (GANs) for design synthesis Data-driven metamaterials and multiscale systems Uncertainty quantification in engineering design AI-driven design automation Awards & Honors: ASME Journal of Mechanical Design Reviewer of the Year Award (2023) ASME DAC Best Paper Award (2022) Journal of Mechanical Design Editors’ Choice Honorable Mention (2021) Lab Activities: Recent lab milestones include successful completion of TAMUQ Summer Research Programs (2024) Hosts undergraduate researchers like Wisam Gadam and Eddie Guerrero
Xianyang Zhang is a Professor in the Department of Statistics at Texas A&M University, affiliated with the College of Arts & Sciences. He holds a Ph.D. from the University of Illinois at Urbana-Champaign (2013) and a B.S. from the University of Science & Technology of China (2008). His research focuses on high-dimensional statistics, functional data analysis, kernel methods, and genomics, supported by grants from NIH, NSF, and Texas A&M. Education: Ph.D., Statistics, University of Illinois at Urbana-Champaign, 2013 B.S., Statistics, University of Science & Technology of China, 2008 Research Interests: Xianyang Zhang develops statistical theories and methodologies for complex data structures, including high-dimensional inference, kernel-based testing, change-point detection, and microbiome analysis. His work bridges computational and theoretical statistics, addressing challenges in genomics, omics-wide studies, and spatial statistics. Key Contributions: Developed KDist , a package for kernel and distance-based statistical inference Authored fastcpd for efficient change-point detection Advanced covariate-adaptive FDR control methods for omics studies Contributed to microbiome analysis tools like MicrobiomeStat and LinDA Advising & Grants: Advises multiple Ph.D. students in statistics and interdisciplinary projects Recipient of NIH and NSF grants for high-dimensional statistical research Collaborates with institutions like Mayo Clinic and Chinese University of Hong Kong Labs/Teams: Leads research groups focused on statistical methodology development, software implementation, and applications in computational biology and genomics.
Jonathan Pakianathan is a Professor of Mathematics at the University of Rochester's School of Arts & Sciences, Department of Mathematics. He holds a PhD from Princeton University (1997) and a BS in Mathematics and Physics from Caltech (1992). His research focuses on algebraic topology, cohomology of groups and Lie algebras, geometric combinatorics, and finite fields. He has held leadership roles, including Director of Graduate Studies (2014–2020) and Director of Undergraduate Studies (2003–2010). Notable awards include the Goergen Award for Excellence in Teaching (2014) and the Sloan Foundation Doctoral Dissertation Fellowship (1996). His research explores applications of topology and algebra in discrete geometry, often collaborating with Alex Iosevich and students. Recent work addresses topics like Fuglede's conjecture over finite fields, geometric configurations, and probabilistic methods in combinatorics. His articles frequently intersect harmonic analysis, group theory, and number theory, reflecting interdisciplinary strengths. Education : PhD, Princeton University, 1997 BS in Mathematics and Physics, Caltech, 1992 Awards : Goergen Award for Excellence in Undergraduate Teaching, 2014 Sloan Foundation Doctoral Dissertation Fellowship, 1996 H. J. Ryser Scholarship, 1991 Grants include an NSA Mathematical Sciences Grant (2016–2017, $110,000 total) with A. Iosevich. He advises numerous PhD students, many of whom now hold academic or research positions. His teaching spans undergraduate to graduate courses, including algebra, topology, and financial mathematics. Research groups and collaborations extend to geometric combinatorics, algebraic topology, and applications in physics and data science. Ongoing projects explore topological methods in discrete geometry and probabilistic structures over finite fields.
Professor Tobias Nipkow is a leading researcher in formal methods and interactive theorem proving at the Technical University of Munich (TUM), affiliated with the School of Computation, Information and Technology and the Department of Computer Science. He is a core developer of the Isabelle proof assistant and leads the Theorem Proving Group. His work has profoundly influenced program verification, semantics, and formalized mathematics. University: Technical University of Munich School: School of Computation, Information and Technology Department: Department of Computer Science Research Group: Theorem Proving Group Key Projects: Isabelle, Archive of Formal Proofs, Concrete Semantics His research focuses on formal verification, higher-order logic, semantics of programming languages, and verified algorithms. He has pioneered the formalization of textbook algorithms, data structures like B+-trees and quadtrees, and logical systems. His work bridges theoretical foundations with practical tools for software correctness. The most recent publications show a strong trend in verifying classical algorithms (e.g., Gale-Shapley, Earley parser), data structures (B+-trees, deques), and decision procedures, primarily using Isabelle/HOL. His contributions span foundational logic, program analysis, and educational approaches to formal methods. Best Paper Award at CADE 28 (2021) Tobias Nipkow has made extensive contributions to advising and collaborative research, co-authoring with numerous researchers and students. He has secured support for large-scale formalization efforts and contributed to major projects like the Flyspeck proof of the Kepler conjecture. His work is supported by ongoing development of the Isabelle framework and the Archive of Formal Proofs. He leads the Theorem Proving Group at TUM, which is central to the development and application of Isabelle. The group fosters international collaboration, contributes to the Archive of Formal Proofs, and advances research in automated reasoning, semantics, and verified systems.
Rocco Servedio is a Professor in the Department of Computer Science at Columbia University, where he leads research in theoretical computer science with a focus on computational complexity theory, learning theory, and the role of randomness in computation. He previously served as Chair of the Computer Science Department from 2018 to 2021. He holds a Ph.D., MS, and AB in Mathematics from Harvard University. His research interests include property testing, computational learning theory, and algorithmic lower bounds. He has contributed to foundational work in areas like junta testing, trace reconstruction, and convexity testing. Servedio has held leadership roles in major conferences such as STOC, CCC, and COLT, and has mentored students through courses like Unconditional Lower Bounds and Derandomization . Education: Ph.D. in Computer Science, Harvard University MS in Computer Science, Harvard University AB in Mathematics, Harvard University His research bridges theoretical computer science and applied mathematics, with recent work exploring the intersection of Gaussian processes, convex geometry, and algorithmic efficiency. Servedio's contributions to the field are exemplified through his involvement in high-impact conferences and his leadership in advancing fundamental computational theories.
Chris Rogers is a Professor of Statistical Science within the Department of Pure Mathematics and Mathematical Statistics (DPMMS) at the University of Cambridge, actively contributing to research at the intersection of probability theory, stochastic analysis, and financial applications. His academic profile reflects deep engagement with mathematical finance and theoretical probability through publications and departmental affiliations. His research spans financial mathematics, probability theory, stochastic analysis, statistics, and mathematical economics, with emphasis on rigorous mathematical frameworks for financial markets. Key themes include option pricing mechanisms, stochastic process modeling, and geometric probability applications, often addressing real-world financial instruments like Asian options and S&P500 index behaviors through advanced probabilistic techniques. Analysis of his 15 most recent publications (2016-2018) reveals consistent focus on stochastic calculus applications in finance, particularly Lévy processes, diffusion models, and optimal stopping problems. His work bridges theoretical probability with quantitative finance, demonstrating expertise in translating complex stochastic phenomena into financial modeling solutions across asset pricing, risk assessment, and market analysis domains. No scientific awards were documented in the provided source material. Information regarding PhD/Master's student supervision, research grants, or collaborative teams was not specified in the available texts, indicating absence of such details in the source documentation.
Jia-Jie Zhu is a machine learner and applied mathematician currently serving as head of an independent research group at the Weierstrass Institute for Applied Analysis and Stochastics in Berlin, with an upcoming appointment as tenured associate professor at KTH Royal Institute of Technology in Stockholm. Previously, he conducted postdoctoral research in machine learning at the Max Planck Institute for Intelligent Systems in Tübingen, Germany, following doctoral studies in optimization and numerical analysis at the University of Florida. His research focuses on the mathematical foundations of machine learning and optimization, particularly at the intersection of computational algorithms, dynamical systems, and probability theory. Key areas include: Robust probabilistic machine learning algorithms Kernel methods for distribution manipulation Variational methods for optimization over probability distributions Gradient flows and optimal transport theory Wasserstein and Fisher-Rao geometry Applications in generative modeling and causal inference Dr. Zhu's recent work reveals deep connections between partial differential equations, kernel methods, and machine learning, resulting in theoretically grounded algorithms for handling distribution shifts. His publications demonstrate a consistent trajectory from foundational optimization theory to cutting-edge applications in robust learning and generative modeling, with increasing emphasis on the mathematical structures underlying modern ML systems. He has secured significant research funding, including a DFG Project on 'Optimal Transport and Measure Optimization Foundation for Robust and Causal Machine Learning' within the Priority Program 'Theoretical Foundations of Deep Learning' (SPP 2298), and actively organizes academic events such as the Workshop on Optimal Transport from Theory to Applications (OT-DOM) and upcoming sessions at ICSP 2025 and SwissMAP. As an educator, Dr. Zhu teaches nonparametric statistics at Humboldt University of Berlin and serves as area chair for major conferences including AISTATS 2025. He maintains an active research group with opportunities for master's students, PhD candidates, and postdoctoral researchers interested in the mathematical frontiers of machine learning.
Rodrigo González is an Assistant Professor at the Department of Mechanical Engineering, Eindhoven University of Technology, since 2022. His research focuses on data-driven modeling, estimation, and control methods for high-tech precision systems, with applications in motion control and continuous-time system identification. Education: Ph.D. in Electrical Engineering (KTH Royal Institute of Technology, 2022) M.Sc. in Electronic Engineering (Universidad Técnica Federico Santa María, 2016) His work emphasizes continuous-time system identification, state-space modeling, and Bayesian estimation techniques. Key research themes include motion control tuning, multivariable systems, and noise/disturbance modeling in precision engineering applications. Rodrigo has received the Best Electronic Engineering Student Award (2016) and Best Thesis Award from Universidad Técnica Federico Santa María. He has active collaborations with institutions like Universidad Técnica Federico Santa María through visiting researcher appointments. Scientific awards include: Best Electronic Engineering Student Award (2016) Best Thesis Award (Universidad Técnica Federico Santa María)
Frank NIELSEN is a Professor at École Polytechnique with expertise in information geometry, data science, and machine learning. He holds a PhD (1996) and HDR (2006) in computer science and has established himself as a leading researcher in geometric approaches to information science. His educational background includes a PhD in computer science (1996) followed by a Habilitation à Diriger des Recherches (HDR) in 2006, the highest academic qualification in France that qualifies one to supervise doctoral candidates. Dr. NIELSEN's research focuses on the Geometric Science of Information , where he develops theoretical frameworks for understanding data through geometric and information-theoretic lenses. His work bridges Computational information geometry Statistical manifold theory Bregman divergences and their applications Machine learning with geometric foundations High-dimensional data analysis He aims to address the challenge of inappropriate data representation in current Data Science by building a theory of Computational Information Geometry to enable Intrinsic Data Science with principled distances. His extensive publication record shows a clear trend toward developing geometric frameworks for understanding statistical divergences, with recent work focusing on Bregman geometry, Fisher-Rao metrics, and their applications in machine learning. His research spans theoretical developments in information geometry to practical implementations like the pyBregMan Python library, demonstrating both theoretical depth and practical relevance. Dr. NIELSEN has made significant contributions through his teaching and publications. He has taught courses at École Polytechnique including INF442, INF517, and INF591. His authored textbooks include Introduction to HPC with MPI for Data Science (2016), A Concise and Practical Introduction to Programming Algorithms in Java (2009), and Visual Computing: Geometry, Graphics, and Vision (2005). He has also edited influential volumes such as Computational Information Geometry for Image and Signal Processing (2016) and Geometric Theory of Information (2014). He actively organizes and participates in academic events, serving on program committees for major conferences including GSI (Geometric Science of Information), CVPR, and ICCV. His work has established him as a key figure in the growing field of geometric approaches to information science.
Seongjin Choi is an Assistant Professor in the Department of Civil, Environmental, and Geo-Engineering at the University of Minnesota, Twin Cities , where he began his role in January 2024. His research bridges Urban Mobility Data Analytics , Spatiotemporal Modeling , and Deep Learning to advance transportation systems. Affiliated with the Center for Transportation Studies , Minnesota Robotics Institute , and Data Science Initiative , he leads the Choi Research Group . Education: Ph.D., Civil and Environmental Engineering, Korea Advanced Institute of Science and Technology (KAIST), 2021 M.S., Civil and Environmental Engineering, KAIST, 2017 B.S., Civil and Environmental Engineering, KAIST, 2015 His research focuses on Urban Mobility Data Analytics and Deep Learning to optimize transportation systems. Key areas include: Spatiotemporal Data Modeling for forecasting and imputation Generative AI applications in transportation data Reinforcement Learning for Connected Automated Vehicles (CAV) Cooperative Intelligent Transport Systems (C-ITS) Recent publications in Transportation Science and Transportation Research Part C highlight his work on probabilistic traffic forecasting , deep generative models , and vision-language-action frameworks for autonomous systems. His methodologies often combine AI-driven analytics with real-time mobility optimization . Dr. Choi serves as: Associate Editor of The Journal of the Korean Society of Transportation (JKST) , 2023–Present Guest Editor for Journal of Advanced Transportation special issue on "Advanced Data Intelligence Theory and Practice in Transport 2023", 2023–2024 He actively seeks PhD students/postdocs for 2025 cohorts focused on machine learning for transportation challenges. Current projects include AI-enhanced traffic forecasting, CAV control, and urban air mobility (UAM) integration studies.
James H. Anderson is the Kenan Distinguished Professor and Department Chair in the Department of Computer Science at the University of North Carolina at Chapel Hill, where he has been a faculty member since 1993. A leading researcher in real-time systems and distributed computing, he previously served at the University of Maryland (1990-1993). His educational background includes: B.S. in Computer Science from Michigan State University (1982) M.S. in Computer Science from Purdue University (1983) Ph.D. in Computer Sciences from the University of Texas at Austin (1990) Anderson's research focuses on real-time systems, distributed and concurrent algorithms, multicore computing, and operating systems. His work addresses fundamental challenges in scheduling, resource management, and reliability in time-critical environments, with recent emphasis on GPU acceleration for AI workloads and heterogeneous platforms. He investigates novel approaches to budget enforcement, processing graph scheduling, and timing predictability in complex systems. Analysis of his recent publications reveals a strong trend toward applying real-time scheduling principles to GPU and heterogeneous computing architectures. Key research thrusts include enabling predictable AI acceleration, managing timing uncertainties in autonomous systems, and developing composable resource partitioning techniques for safety-critical applications. His distinguished honors include: U.S. Army Research Office Young Investigator Award (1995) Alfred P. Sloan Research Fellowship (1996) Seven Computer Science Student Association Teaching Awards (1995-2019) Fellowships from IEEE (2012), ACM (2013), AAAS (2020), and AAIA (2022) IEEE TCRTS Outstanding Technical Achievement and Leadership Award (2018) Anderson actively mentors through the TOPICS Club, a reading group for undergraduate students that he co-leads with Cynthia Sturton and Danielle Szafir. His professional leadership includes chairing IEEE TCRTS (2016-2017) and ACM SIGBED (2019-2021), plus service as program/general chair for major conferences including RTSS, PODC, ECRTS, and RTAS. He directs ongoing research initiatives in real-time systems through collaborative projects and the TOPICS Club, which provides undergraduates with hands-on research experience in cutting-edge computer science topics.
Dr. Shuangshuang Jin is an Associate Professor in the School of Computing with a joint appointment in the Department of Electrical and Computer Engineering at Clemson University's College of Engineering, Computing and Applied Sciences. Previously, she served as a Senior Research Scientist at Pacific Northwest National Laboratory. Her educational background includes a Ph.D. in Computer Science (2007), M.S. in Computer Science (2003) from Washington State University, and a B.S. in Computer Science (2001) from Wuhan University. Ph.D., 2007 - Washington State University, Computer Science M.S., 2003 - Washington State University, Computer Science B.S., 2001 - Wuhan University, Computer Science Dr. Jin specializes in high-performance computing (HPC), distributed and parallel computing, general-purpose computation on graphical processing units (GPGPU), and HPC-based big data analysis, machine learning, scientific computation, and visualization. Her research focuses on applying these technologies to electrical engineering (power and energy systems, power electronics), automotive engineering, systems biology, and computer graphics. She leads the High-Performance Computing Enabled Science and Engineering (HPCeSE) Lab, where she supervises six PhD students working on HPC implementations for power system dynamic simulation, GridPACK application development, data-driven model-based smart control of power electronics converters, and other cutting-edge projects. Her recent publications demonstrate expertise in accelerating power system simulations, PV inverter reliability assessment, edge computing for power systems, and virtual prototyping of vehicle powertrain systems. The research trends show increasing focus on GPU acceleration, real-time simulation capabilities, and integration of HPC with emerging power system challenges. Junior Faculty Excellence in Teaching award (2021) Churchill Carter Fellowship (2022-2023) Zucker Graduate Education Center PhD Grant (2023) Doctoral Dissertation Completion Award (2023-2024) Outstanding Masters Student in Computer Science award (2022) Dr. Jin has successfully secured multiple grants from DOE, DOD, and other agencies for projects including 'Vehicle Propulsion Digital Twins', 'GridPACK-Wind', and 'Tool for Reliability Assessment of Critical Electronics in PV (TRACE-PV)'. She has advised numerous PhD and Master's students who have gone on to positions at national laboratories and industry. Her HPCeSE Lab maintains strong connections with Pacific Northwest National Laboratory, Fermi National Accelerator Laboratory, and other research institutions, providing students with valuable internship opportunities. Dr. Jin leads the High-Performance Computing Enabled Science and Engineering (HPCeSE) Lab at Clemson University, which focuses on developing optimized HPC-based parallel programming algorithms and architectures to solve complex scientific and engineering domain problems. The lab works on smart grid modeling and simulation, power electronics reliability assessment, ground vehicle systems prototyping, and advanced grid analytics, utilizing OpenMP, MPI, Pthreads, and CUDA/OpenCL on various computing platforms.
Corina Pasareanu is an ACM Fellow and IEEE ASE Fellow serving as a Principal Scientist at Carnegie Mellon University's CyLab Security and Privacy Institute and Technical Professional Leader for Data Science at NASA Ames Research Center through KBR. Her work bridges formal methods, software verification, and artificial intelligence to ensure the safety and security of complex systems, particularly autonomous systems and machine learning applications. Dr. Pasareanu received her academic training at: Ph.D. in Computer Science, Kansas State University (2001) M.S. in Computer Science, University Politehcnica of Bucharest (1995) B.S. in Computer Science, University Politehcnica of Bucharest (1994) Her research focuses on developing formal verification techniques that can provide mathematical guarantees about the behavior of complex software systems. She specializes in applying model checking, symbolic execution, and compositional verification methods to challenges in autonomy, security, and AI safety. Her recent work addresses the verification of systems incorporating machine learning components, particularly neural networks used in safety-critical applications like autonomous vehicles. She investigates how to ensure these systems behave correctly even when their perception components have uncertainties or are subject to adversarial attacks. Analysis of her recent publications shows a strong trend toward verifying AI and machine learning systems, particularly focusing on neural networks in autonomous systems. Her work increasingly addresses the challenges of Large Language Models, examining both their vulnerabilities to attacks and methods to defend against them. She also continues to advance traditional software verification techniques while adapting them to modern programming languages and paradigms. Dr. Pasareanu has received numerous prestigious awards recognizing her contributions to the field: ACM Fellow IEEE ASE Fellow ETAPS Test of Time Award (2021) ASE Most Influential Paper Award (2018) ESEC/FSE Test of Time Award (2018) ISSTA Retrospective Impact Paper Award (2018) ACM Impact Paper Award (2010) ICSE 2010 Most Influential Paper Award (2010) As an advisor, Dr. Pasareanu mentors several PhD students and postdoctoral researchers, often in collaboration with other faculty members at CMU. Her students focus on cutting-edge research at the intersection of formal methods and AI safety. Her research is supported by substantial funding from diverse sources including NSF, DARPA, NASA, AWS, and industry partnerships. She leads multiple projects focused on AI security, formal verification of neural networks, and software analysis techniques. Dr. Pasareanu also plays a significant role in the broader research community, serving as Program/General Chair for major conferences including ICSE 2025, and as an associate editor for IEEE TSE and STTT. Dr. Pasareanu leads research teams working on projects like "Trinity: Neurosymbolic Learning and Reasoning" (DARPA) and "HUGS: Human-Guided Software Testing and Analysis" (NSF). Her work often involves interdisciplinary collaboration between computer scientists, formal methods experts, and domain specialists to address complex safety challenges in autonomous systems.
John G. Kerns is a Professor in the Department of Psychology at the University of Missouri, leading the Cognitive and Emotional Control Lab. His research integrates clinical psychology and neuroscience to understand psychotic disorders, with a focus on striatal functioning and aberrant salience. His primary research interests include: Translational clinical neuroscience of psychotic disorders Cognitive and emotional control mechanisms Striatal functioning and feedback-related learning Aberrant salience and positive schizotypy Openness to experience in psychopathology Analysis of Dr. Kerns' recent publications shows a strong emphasis on neuroimaging and behavioral studies of psychosis risk, particularly examining corticostriatal pathways and their relationship to cognitive deficits. His work consistently bridges personality factors with neural mechanisms. No scientific awards are mentioned in the provided text. Dr. Kerns mentors a vibrant team of graduate and undergraduate students. Current graduate students include Megan Liew and Tyler Rogers, and his alumni have secured prestigious positions in academia and clinical practice. He is accepting applications for graduate students starting in Fall 2026. The Cognitive and Emotional Control Lab provides a collaborative environment for research on psychotic disorders, utilizing behavioral, clinical, and neuroimaging methods to advance understanding and treatment.
Peter W. Glynn is the Thomas Ford Professor in the Department of Management Science and Engineering (MS&E) at Stanford University's School of Engineering, and also holds a courtesy appointment in the Department of Electrical Engineering. Additionally, he serves as a Senior Fellow of the Hong Kong Institute for Advanced Study at City University of Hong Kong. His distinguished career spans over four decades, with significant contributions to the fields of simulation, computational probability, and stochastic modeling. Professor Glynn received his Ph.D. in Operations Research from Stanford University in 1982 and his B.S. with Honors in Mathematics from Carleton University in 1978. His academic journey began at the University of Wisconsin at Madison (1982-1987) before returning to Stanford, where he has held various leadership positions including Deputy Chair of MS&E (1999-2005), Director of Stanford's Institute for Computational and Mathematical Engineering (2006-2010), and Chair of MS&E (2011-2015). His research interests focus on simulation , computational probability , queueing theory , statistical inference for stochastic processes , and stochastic modeling . Professor Glynn's work has developed algorithms widely used across the field of Monte Carlo simulation, with applications in financial risk management, service systems engineering, logistics, and retail operations. His recent publications demonstrate continued innovation in areas such as numerical methods for stochastic systems, rare-event simulation, and analysis of queueing systems under various traffic conditions, showing a strong trajectory of advancing both theoretical foundations and practical applications. Professor Glynn's scholarly contributions have been recognized with numerous prestigious awards, including: Fellow of INFORMS (2007) Fellow of the Institute of Mathematical Statistics (1998) John von Neumann Theory Prize from INFORMS (2010) Member of the US National Academy of Engineering (2012) Lifetime Professional Achievement Award, INFORMS Simulation Society (2021) Philip McCord Morse Lecturer, INFORMS (2020) Throughout his career, Professor Glynn has mentored numerous doctoral students whose research has made significant contributions to operations research and related fields. His editorial service has been extensive, including founding Editor-in-Chief of Stochastic Systems and service on the editorial boards of leading journals in operations research, probability, and statistics. His professional service extends to numerous advisory boards and committees at national and international levels, reflecting his standing as a leader in his field.
