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
William Sulis is an Associate Clinical Professor in the Department of Psychiatry and an Associate Member of the Department of Psychology at McMaster University, where he also directs the Collective Intelligence Lab (CILab). With a unique interdisciplinary background spanning mathematics, physics, and psychiatry, Dr. Sulis bridges the gap between theoretical science and clinical practice. His educational journey is exceptionally diverse: B.Sc. (Hon) in Mathematics with minor in Theoretical Physics, Carleton University (1976) M.D., University of Western Ontario (1980) M.A. in Mathematics, University of Western Ontario (1984) Ph.D. in Mathematics, University of Western Ontario (1989) FRCPC in Psychiatry (1984) Ph.D. in Theoretical Physics, University of Waterloo (2014) CRCPC in Geriatric Psychiatry (2015) Dr. Sulis's research explores the intersection of complex systems theory with psychological and psychiatric phenomena. His work on Collective Intelligence investigates how group dynamics emerge from individual interactions, while his research on Temperament and Psychobiology examines the continuum between normal personality variations and mental illness. He has made significant contributions to understanding Synchronization in Complex Systems and developed the concept of Transient Induced Global Response Synchronization (TIGoRS) , which has implications for neural coding and information processing. His theoretical work extends to Quantum Foundations and Process Algebra Theory , where he proposes novel approaches to quantum mechanics. Analysis of his recent publications reveals a consistent thread connecting complex systems theory with psychological and psychiatric applications. His work increasingly focuses on bridging the gap between temperament theory and clinical psychiatry, using mathematical and computational approaches to understand mental illness. Simultaneously, he continues to develop theoretical frameworks in quantum physics through process algebra models, demonstrating remarkable interdisciplinary range. Dr. Sulis has received several prestigious awards including The Governor General's Medal for having the highest overall grade point average in his graduating class, the Henry Marshall Tory Scholarship, and multiple Harry Stevenson Southam Scholarships. Throughout his career, Dr. Sulis has mentored numerous students across disciplines, supervising research projects spanning collective intelligence, semantic space modeling, network dynamics, and temperament studies. His Collective Intelligence Lab has served as a hub for interdisciplinary research connecting computer science, psychology, and psychiatry. Dr. Sulis has also been actively involved in professional organizations, serving as President of The Society for Chaos Theory in Psychology and the Life Sciences (1996-1998) and holding editorial positions for several journals including "Dynamical Psychology" and "Nonlinear Dynamics in Psychology and the Life Sciences." As Director of the Collective Intelligence Lab at McMaster University, Dr. Sulis fosters research exploring how complex adaptive systems can model cognitive and social phenomena. The lab serves as an intellectual nexus where mathematics, computer science, psychology, and psychiatry converge to address fundamental questions about intelligence, both individual and collective.
Dr. Gabriel Wainer is a Professor in the Department of Systems and Computer Engineering at Carleton University's Faculty of Engineering and Design. He leads the Advanced Real-Time Simulation Lab and specializes in modeling and simulation methodologies, particularly focusing on discrete event systems, real-time modeling, cellular automata, and DEVS formalism. Research Interests: Discrete event systems, DEVS formalism, cellular automata, real-time simulation, IoT applications, and parallel/distributed simulation Affiliation: Carleton University Recent publications highlight his work in advanced simulation frameworks, energy-efficient 5G systems using deep reinforcement learning, and pandemic modeling with cellular automata. His lab develops tools like PROMETHEUS and Devsmap for standardized DEVS model representation, while also exploring applications in wireless communication, building energy systems, and behavioral epidemiology.
Lev Levitin is a Distinguished Professor in the Department of Electrical & Computer Engineering and Division of Systems Engineering at Boston University, with office PHO 332 and contact email levitin@bu.edu. His primary academic focus spans information theory, quantum communication, and computer network architecture. Education: PhD, USSR Academy of Sciences, Gorky University, 1969 Levitin's research integrates fundamental physics with information systems, emphasizing quantum measurement theory, bioinformatics, and the physical limits of computation. His work explores critical phenomena in network dynamics, virtual cut-through routing algorithms, and thermodynamic constraints in information processing. This interdisciplinary approach bridges theoretical physics, computer engineering, and complex systems analysis to address foundational questions in reliable computing. Analysis of his 15 most recent publications reveals two dominant research threads: (1) rigorous modeling of interconnection networks with emphasis on latency, saturation, and phase transitions in multidimensional topologies, and (2) quantum information theory investigations into physical limits of communication, energy requirements, and measurement constraints. The network studies consistently employ virtual cut-through routing as a core methodology, while quantum works establish fundamental bounds on information retrieval and computational speed. Scientific Awards: Life Fellow, IEEE Member, International Academy of Informatization Levitin leads the Reliable Computing Laboratory at Boston University, teaching foundational and advanced courses including Introduction to Engineering, Logic Design, Probability Theory, and specialized graduate courses in Information Theory and Discrete Mathematics. His educational contributions span undergraduate instruction through doctoral supervision, though specific student names and current grant funding details are not documented in the provided materials.
Loris D'Antoni is an Associate Professor in the Department of Computer Science and Engineering at the University of California at San Diego (UCSD) . He is also a Visiting Academic at Amazon Web Services (AWS) . His research focuses on helping people write trustworthy software through techniques in program synthesis, formal verification, and machine learning robustness. Bachelor and Master in Computer Science from University of Torino (2008, 2010) PhD in Computer Science from University of Pennsylvania (2015) His research integrates programming languages , automata theory , and formal methods to ensure software reliability. Recent work explores semantics-guided synthesis and specification-aligned LLMs , with applications in network security, machine learning fairness, and automated code repair. Key trends in his publications include program synthesis , formal verification , and trustworthy AI systems . He has contributed to tools like AutomataTutor and SemGuS , a framework for customizable synthesis problems using constrained Horn clauses. Phillip R. Certain-Gary D. Sandefur Distinguished Faculty Award NSF CAREER Award Microsoft Research Faculty Fellowship Google and Facebook Faculty Awards Best Paper Award at ICDCN 2023 Distinguished Paper Award at SBES 2021 D'Antoni actively contributes to academic community service as a committee member in PLDI , OOPSLA , POPL , and CAV . He leads the Programming Systems Group at UCSD and collaborates with SemGuS research team on synthesis frameworks.
Dr. Gábor Pintér holds dual academic appointments as Assistant Professor at Károli Gáspár Reformed University's Faculty of Humanities and Social Sciences (Department of Japanology) and as Associate Professor at Kobe University's School of Languages and Communication. Born in Hungary in 1977, he earned his MA (2005) and PhD (2008) in Linguistics from Kobe University, Japan, with a dissertation on asymmetrical segment distributions in Japanese. His research focuses on three interconnected domains: phonological theory (especially Japanese phonology), experimental phonetics, and applications of automatic speech recognition in language education. Specific interests include vowel devoicing patterns, prosodic perception in L2 learners, phonotactic constraints, and diachronic sound changes in Japanese. Pintér actively contributes to international research collaborations, including the JSPS-funded project 'Stochastic & theoretical phonological research' and serves as chair of the Phonology Association in Kansai (PAIK). His 15 most recent publications demonstrate methodological diversity, combining theoretical linguistics with computational approaches and experimental studies, primarily focused on Japanese phonetics and speech technology applications. Professional memberships include board positions in The Phonological Society of Japan and memberships in the International Speech Communication Association and Association for Laboratory Phonology.
Lionel Levine is a Professor in the Department of Mathematics at Cornell University, affiliated with the College of Arts and Sciences. His academic research focuses on abelian networks, interacting particle systems, and the emergence of complex patterns from simple rules. He has held prestigious fellowships, including the Simons Fellowship and Sloan Research Fellowship, and has been honored with an endowed professorship. Levine's work bridges probability theory, combinatorics, and statistical physics, with notable contributions to the study of sandpile models and internal diffusion-limited aggregation (IDLA). Education: Ph.D. in Mathematics (2007), University of California, Berkeley. Research Interests: Applied Mathematics, Combinatorics, Probability, Abelian Networks, Sandpile Models, and their intersections with computer science and statistical physics. His research explores how local rules generate large-scale structures, such as in abelian networks and sandpile models. Awards and Honors: Simons Fellowship, Sloan Research Fellowship, Endowed Professorship in the College of Arts and Sciences. Teaching: Courses include Probability Theory (MATH 6710/6720), Topics in Probability: Math for AI Safety (MATH 7710), and undergraduate mathematics courses like Strategy, Cooperation, and Conflict (MATH 1340). Grants and Funding: Supported by the National Science Foundation (NSF), Simons Foundation, Sloan Foundation, and Institute for Advanced Study. Collaborations: Collaborates with prominent researchers such as Yuval Peres, Cris Moore, and Jim Propp. His work has been published in leading journals like the Annals of Probability and Duke Mathematical Journal. Future Work: Continues investigating AI safety, causal models, and multi-agent learning, including research on mathematical frameworks for transformer circuits and hidden incentives in AI systems.
Stefano Gogioso is a Departmental Lecturer at the University of Oxford , specializing in quantum theory and quantum software. He holds a DPhil in Computer Science from Oxford (2013–2017) and advanced degrees from Cambridge (MASt, BA) and the University of Genova (MSc, BSc). As a Fellow at Kellogg College and co-founder of Hashberg Ltd , he develops quantum programming tools and focuses on quantum causal structures, quantum field theory, and natural language processing applications. His research bridges foundational quantum theory with practical applications, including near-term quantum computing and educational outreach through visual methods like Quantum in Pictures . Research Interests: Quantum foundations, quantum software, categorical quantum mechanics, quantum field theory, and quantum causality. His work emphasizes pictorial formalisms and compositional methods, with contributions to indefinite causality, quantum cellular automata, and quantum natural language processing (QNLP). Key Contributions: Published over 25 papers, including works on causal polytopes, categorical Feynman diagrams, and QNLP pipelines. Co-developed Hashberg 's quantum programming tools and serves as a mentor for AI initiatives at CDL-Oxford. His thesis introduced dynamics in categorical quantum mechanics, addressing symmetry and quantum clocks. Teaching: Teaches quantum computing courses for MSc/MFoCS students, professionals, and continued education. Courses include Quantum Software , Quantum Computing for Software Engineers , and bespoke corporate training. Labs/Teams: Part of the Oxford Quantum Group and involved in collaborative projects with industry and academia. Advising: Supervised students like Nicola Pinzani (causal orders) and Maria Stasinou (quantum field theory). Grants/Awards: Not explicitly listed, but recognized for contributions to quantum foundations and education.
Dr. Steven Manson is a Professor in the Department of Geography, Environment, and Society at the University of Minnesota's College of Liberal Arts, where he also served as Associate Dean for Research and Graduate Programs. He directs the Human-Environment Geographic Information Science (HEGIS) laboratory and leads major data science initiatives like the National Historical Geographic Information System (NHGIS) and IPUMS Terra. PhD in Geography, Clark University (2002) BA Honours in Geography, University of Victoria (1995) His research focuses on geographic information science and human-environment systems , using agent-based modeling and big data to analyze land use change, urban dynamics, and sustainability challenges. Recent work explores spatiotemporal data harmonization and geospatial cyberinfrastructure . The articles reveal trends in GIScience methodology , urbanization analysis , and data-intensive sustainability research . Key contributions include self-organizing map applications for health data and hybrid statistical-GIS techniques for environmental policy. Scientific accolades include: Ecological Society of America Sustainability Science Award NASA Earth System Science Fellow McKnight Land Grant Professorship As Principal Investigator for NHGIS and IPUMS Terra, he secured over $40M in NSF, NIH, and DOJ grants for spatiotemporal data infrastructure. Outreach initiatives include developing open geospatial textbooks adopted globally and collaborating with Twin Cities K-12 programs.
Keisuke Ishihara is an Assistant Professor in the Department of Computational and Systems Biology at the University of Pittsburgh School of Medicine. His research focuses on engineering human brain and cardiac organoids using genetic, chemical, and computational approaches to uncover novel regulatory mechanisms and physical principles underlying tissue development. His lab is located at Biomedical Science Tower 3, with an office in room 10020A. Dr. Ishihara holds a PhD in Systems Biology from Harvard University. His work bridges synthetic biology, developmental biology, and biophysics to address fundamental questions in organogenesis and cellular morphogenesis. Recent research highlights include studies on BMP-mediated neural tube patterning in organoids and the biophysical dynamics of microtubule assemblies in large cells. Publications from his lab emphasize interdisciplinary approaches to understand cell size scaling, mitotic spindle dynamics, and self-organization in synthetic tissues. His team has contributed to advancements in organoid technology, uncovering dormant genetic programs and physical principles governing tissue architecture. Laboratory activities are centered at the University of Pittsburgh, collaborating with the School of Medicine's computational and systems biology initiatives. For more details, visit his lab website linked below.
Adjunct Professor Evgeny Osipov is affiliated with La Trobe University's Business Analytics department. His research spans artificial intelligence, hyperdimensional computing, and neural network architectures. Academic Rank: Adjunct Professor Department: Business Analytics Email: E.Osipov@latrobe.edu.au Research interests include: Hyperdimensional computing and vector symbolic architectures Spiking neural networks and reservoir computing Hardware-efficient AI implementations Causal reasoning in large language models Self-organizing maps and spatiotemporal sequence learning Applications in smart cities and robotic navigation Recent research outputs demonstrate expertise in: Developing unsupervised learning frameworks using hypervectors Optimizing reservoir computing with cellular automata Creating memory-efficient neural network models Advancing hyperdimensional classification techniques Exploring causal graph integration in language models
Prof. Harald Sternberg is a distinguished academic at HafenCity University Hamburg, holding the position of University Professor for Hydrography and Geodesy. His affiliations include the Department of Geodesy and Geoinformatics, where he leads research in hydrographic education and advanced geomatics technologies. He previously served as Vice President for Teaching and Studies (2009-2022) and Acting President (2010) of HCU. Education: Ph.D. in Geodesy from University of the Bundeswehr Munich (1999), specializing in trajectory determination of land vehicles using hybrid systems. Early career included roles as scientist at Bundeswehr University (1991-2001) and academic leadership at HAW Hamburg (2005-2009). Research focuses on underwater mapping, navigation systems, and sensor integration. Key projects include: Level 5 Indoor Navigation (5G-based positioning), hydrothermal vent exploration using deep-towed multibeam systems, and low-cost mobile mapping solutions. He also investigates smartphone-based inertial navigation and autonomous underwater vehicles for infrastructure monitoring. Publications span underwater vision systems, satellite-derived bathymetry, and 3D point cloud analysis. Over 200 peer-reviewed articles and book chapters reflect expertise in geomatics applications. Current research emphasizes 5G-enabled indoor navigation and environmental sensor networks. Grants include BMWK-funded autonomous deep-sea monitoring and BGR exploration projects in the Indian Ocean. His lab develops innovative tools like the HOMESIDE sled for seafloor surveys. Supervises Ph.D. research on hydrothermal vent analysis and data-driven inertial localization.
Stuart Kurtz is a Professor in Computer Science and the College at the University of Chicago, and serves as Master of the Physical Sciences Collegiate Division. He holds the endowed position of George and Elizabeth Yovovich Professor. His research focuses on theoretical computer science, including computational complexity theory, randomness in computation, type theory, and formal logic. He has contributed to foundational areas such as the Berman-Hartmanis Isomorphism Conjecture and the computational properties of random sets. Kurtz is affiliated with the Theoretical Computer Science and Programming Languages Groups at the University of Chicago. He has been recognized with the 2009 Quantrell Award for teaching excellence. His service roles include Director of Undergraduate Studies and Department Chair in Computer Science. He actively mentors Ph.D. students and has advised multiple graduates in complexity theory and related fields. His academic background includes a Mathematics Ph.D. from the University of Illinois, supervised by Carl Jockusch. He approaches type theory as an intersection of formal logic and functional programming. Research interests span measure-theoretic randomness, computational logic, and complexity class separations. His recent work explores connections between theoretical computer science and interdisciplinary fields like physics and statistics. In teaching, Kurtz has instructed courses such as Formal Language Theory, Discrete Mathematics, and Honors Intro Programming. His service contributions include roles in the Computation Institute and Toyota Technological Institute at Chicago. His lab affiliations and collaborative work reflect a strong commitment to advancing theoretical foundations in computer science.
Jean-Luc Thiffeault is a Professor of Applied Mathematics at the University of Wisconsin-Madison, serving as Chair of the Department of Mathematics. His research spans applied mathematics, fluid dynamics, and topological chaos, with a focus on mixing mechanisms in viscous flows, biogenic mixing by microorganisms, and computational modeling. Key research themes include: Topology-driven fluid mixing via braid theory; Chaotic advection in low-Reynolds environments; Microswimmer interactions with boundaries and waves; Development of numerical tools for dynamical systems analysis. He has authored significant software packages like braidlab (braid analysis), rodent (ODE integration), and jlt lib (utility functions for scientific computing). Collaborative projects include studies on hagfish slime unraveling, burger flipping dynamics, and Brownian particle winding around vortices. His work is supported by NSF grants DMS-0806821 and CMMI-1233935, emphasizing interdisciplinary approaches combining mathematics, physics, and computational methods.
Mauro Maggioni is a Professor in the Departments of Mathematics and Applied Mathematics and Statistics at Johns Hopkins University. His research focuses on the mathematical foundations of Data Science, with applications in molecular dynamics, hyperspectral imaging, and reinforcement learning. He employs techniques from Harmonic Analysis, Approximation Theory, and Probability to develop scalable algorithms, particularly multiscale methods for analyzing high-dimensional data. Maggioni’s work bridges theoretical mathematics and practical applications, including cardiac electrophysiology modeling, unsupervised segmentation of hyperspectral images, and reduced-order modeling of complex systems. Education: B.S. in Mathematics from Università degli Studi in Milan, Italy; Ph.D. in Mathematics from Washington University in St. Louis. He held a Gibbs Assistant Professorship at Yale before moving to Duke University and later becoming a Bloomberg Distinguished Professor at JHU. Research Interests: Mathematical foundations of Data Science, Machine Learning, Partial Differential Equations, and their applications in physical and biological systems. Notable contributions include diffusion wavelets, interaction kernel learning, and multiscale geometric analysis of molecular dynamics data. Scientific Awards: Popov Prize in Approximation Theory (2007), NSF CAREER Award and Sloan Fellowship (2008), Fellow of the American Mathematical Society (2013), Simons Fellowship (2020). Advising & Grants: Maggioni mentors postdocs and students in areas like stochastic systems and signal processing. His group’s work is supported by Simons Foundation grants, NSF funding, and collaborations with institutions like MINDS and CIS at JHU. Labs/Teams: Leads a research group focused on data-driven discovery in mathematics and applied sciences, emphasizing interdisciplinary collaboration across computational methods, statistics, and domain-specific applications.
