جست‌وجوی استاد و پژوهشگر

Davi De Castro Silvaمشاهده پروفایل

پژوهشگر

• Theoretical Computer Science
• Quantum Computing
• Combinatorics
• +۵ مورد دیگر

Davi De Castro Silva is a Researcher at the University of Cambridge, affiliated with the Department of Computer Science and Technology and the Centre for Quantum Information and Foundations. His current work is advised by Tom Gur and Sergii Strelchuk. Previously, he was a postdoc at CWI (Amsterdam) in QuSoft, advised by Jop Briët, and completed his PhD in Applied Mathematics at the University of Cologne under Frank Vallentin and Fernando de Oliveira Filho. He holds a Master's from IMPA (Brazil) under Roberto Imbuzeiro Oliveira and a BSc/MSc from École Polytechnique (France). His research focuses on theoretical computer science, quantum computing, and combinatorics, with recent emphasis on quantum speedups' structural foundations, such as symmetry's role. Key areas include additive combinatorics (e.g., higher-order Fourier analysis), computational complexity (lower bounds), combinatorial optimization (semidefinite programming), and quantum information theory. Notable contributions include studies on quasirandomness in additive groups, quantum algorithms' limitations, and tensor analysis. His work bridges combinatorial methods with quantum computing, exploring algorithmic efficiency and structural properties. He has published in journals like Discrete Analysis , Combinatorica , and Forum of Mathematics, Sigma , with preprints addressing quantum computation symmetry, Goldreich-Levin algorithms, and hypergraph quasirandomness. His research highlights interdisciplinary approaches to foundational questions in computing and mathematics.

Julia Wolfمشاهده پروفایل

استاد

• Arithmetic Combinatorics
• Harmonic Analysis
• Analytic Number Theory
• +۳ مورد دیگر

Julia Wolf is a Professor of Pure Mathematics at the University of Cambridge, affiliated with the Department of Pure Mathematics and Mathematical Statistics (DPMMS) and Trinity College. Her research focuses on arithmetic combinatorics, harmonic analysis, and analytic number theory, with interdisciplinary connections to model theory, discrete geometry, and theoretical computer science. She holds an EPSRC Open Fellowship and has organized events like the Warwick-Oxbridge-Manchester-Bristol-London (WOMBL) meetings. Wolf teaches advanced courses such as 'Higher-Order Uniformity' and 'Analytic Number Theory,' emphasizing structure and applications. Her work bridges combinatorial, analytic, and algebraic techniques, addressing problems like polynomial configurations in primes, extremal hypergraph theory, and Ramsey multiplicity. Recent research includes structural stability in finite abelian groups and applications of model theory to additive combinatorics. Wolf actively promotes open-access publishing and has mentored numerous postdoctoral researchers and students through initiatives like the Philippa Fawcett Internship Programme. She also contributes to academic equity efforts, such as gender-inclusive hiring in mathematics. Professional activities include editorial roles, conference organization (e.g., the Simons Institute's Pseudorandomness program), and leadership in collaborative projects like the 'Combinatorics Meets Model Theory' workshop. Her grants and fellowships underscore her contributions to advancing discrete mathematics and fostering international academic networks.

• Switched and hybrid systems
• Nonlinear control theory
• Control with limited information
• +۳ مورد دیگر

Daniel Liberzon , the Richard T. Cheng Professor in the Department of Electrical and Computer Engineering at the University of Illinois Urbana-Champaign , is a leading expert in theoretical and applied control systems. He also serves as a professor at the Coordinated Science Laboratory and an affiliate professor in the Department of Mathematics . Ph.D. in Mathematics, Brandeis University (1998) Undergraduate, Mathematics, Moscow State University (1989-1993) His research spans foundational and applied aspects of nonlinear control theory , switched/hybrid systems , and control under limited information . Applications include networked control, power systems synchronization, and robotic coordination. Recent work focuses on topological entropy, almost Lyapunov functions, and robust observer design. Key article trends include: Entropy analysis for interconnected nonlinear systems Stability criteria under switching and disturbances Observer robustness via ISS and qDES frameworks Model reduction techniques for power systems Scientific awards include: 2019 ACM SIGBED HSCC Best Paper Award 2016 IFAC Fellow 2013 IEEE Fellow 2007 AACC Donald P. Eckman Award 2007 UIUC CoE Xerox Award 2002 IFAC Young Author Prize 2002 NSF CAREER Award Liberzon has supervised numerous sponsored projects funded by NSF and AFOSR. He teaches advanced courses in nonlinear control, optimal control, and hybrid systems, appearing on the UIUC List of Teachers Ranked as Excellent multiple times.

M. Burak Erdoğanمشاهده پروفایل

استاد

• Harmonic Analysis
• Dispersive PDE
• Partial Differential Equations
• +۳ مورد دیگر

M. Burak Erdoğan is a Professor and J. L. Doob Scholar in the Department of Mathematics at the University of Illinois, Urbana-Champaign. He holds a PhD from the California Institute of Technology (2001) and has held academic positions including Visiting Assistant Professor at UC Berkeley (2002-2004) and postdoctoral research at IAS, Princeton (2001-2002). His primary research interests are in Harmonic Analysis and Dispersive Partial Differential Equations, with a focus on wave operators, Schrödinger equations, and fractal solutions. Erdoğan has advised numerous PhD students, including William Green, Faruk Temur, and Ebru Toprak (recipient of the 2019 AWM Dissertation Prize). His grants include NSF awards (DMS-2154031, DMS-1501041) and a Simons Collaboration Grant (634269). His work spans theoretical and applied mathematics, with contributions to dispersive estimates, nonlinear wave dynamics, and geometric analysis. Key recent research includes studies on higher-order Schrödinger operators, Dirac equations, and fractal measures. He maintains active involvement in academic service, including organizing the Harmonic Analysis and Differential Equations Seminar at UIUC.

Kristina Backerمشاهده پروفایل

استادیار

• Cognitive Neuroscience
• Auditory Processing
• Bilingualism and Cognition
• +۳ مورد دیگر

Kristina Backer is an Assistant Professor in the Department of Cognitive and Information Sciences at the University of California, Merced. Her research focuses on cognitive neuroscience, auditory processing, and the intersection of sensory systems with higher-order cognition. She employs methods such as EEG, fMRI, and behavioral experiments to investigate topics like bilingualism effects, neuroplasticity in aging, and multisensory integration mechanisms. Her work explores how auditory and visual systems interact, particularly in phenomena such as the McGurk illusion and the continuity illusion in musicians. She also examines how auditory cues influence motor timing and the neural mechanisms underlying attentional modulation in short-term memory. Backer’s studies often involve clinical populations, such as children with cochlear implants and older adults with hearing loss, to understand the cognitive and neurophysiological impacts of sensory deficits. Key research themes include the temporal dynamics of sensory processing, the neural basis of cross-modal perception, and individual differences in cognitive abilities linked to language experience and aging. Her experimental methods emphasize electrophysiological techniques combined with computational modeling to dissect neural correlates of perception and cognition. Backer’s publications highlight advancements in understanding auditory-motor integration, neuroplasticity in bilingualism, and the development of rapid diagnostic tools for sensory pathway assessment. Her research bridges fundamental neuroscience with clinical applications, aiming to improve rehabilitation strategies for auditory and cognitive impairments.

Robert Cartwrightمشاهده پروفایل

استاد

• Programming Languages
• Parallel Programming
• Software Engineering
• +۳ مورد دیگر

Robert 'Corky' Cartwright is a Professor of Computer Science at Rice University, specializing in programming languages and software engineering. His research focuses on parallel programming extensions for Java/Scala/Swift, smart programming environments for error-free code, pedagogic tools like DrJava, and intent-driven programming in the FAST language. He has contributed to cyber-physical systems modeling through frameworks like Acumen and DrHJ. Education: PhD (Computer Science, Stanford University, 1976), BA (Applied Mathematics, Harvard College, 1971). Awards include ACM Fellow (1998). Teaching emphasizes principles of programming languages and program design. His work bridges theoretical foundations (domain theory, formal semantics) with practical tools for education and industry.

Stephen Laneمشاهده پروفایل

استاد آموزشی

• Computer Graphics
• Computer Animation
• Virtual Reality
• +۵ مورد دیگر

Stephen H. Lane is a Teaching Professor at the University of Pennsylvania's School of Engineering and Applied Science, Department of Computer and Information Science. He serves as Director of the Computer Graphics and Game Technology (CGGT) Master's Program and teaches courses such as Computer Animation (CIS462/562), Advanced Topics in Computer Graphics and Animation (CIS660), and Game Design and Development (CIS564). He also supervises the Game Design Practicum (CIS568) capstone course. Education: B.S. in Mechanical and Aerospace Engineering from Cornell University (1980) M.S. in Systems Engineering from UCLA (1982) Ph.D. in Mechanical and Aerospace Engineering from Princeton University (1988) Dr. Lane's research focuses on the intersection of robotics, physically-based character animation, embodied intelligent agents, and virtual reality user interfaces. His work integrates control theory, artificial intelligence, and computer animation techniques to develop advanced simulation and training systems. His publications since 1987 cover topics such as inverse kinematics, neural networks for motion control, B-spline receptive fields, robotic skill acquisition, and gesture recognition systems. His recent work (2010-2011) emphasizes sensor fusion for gesture recognition and immersive training interfaces. Scientific Awards: Co-inventor of four US patents related to robotic animation and motion control systems Contributions to hybrid controller hierarchies and neural network training methods As founder of soVoz, Inc., Dr. Lane commercializes behavioral animation technology for virtual environments. His academic-industry collaboration includes contracts with Microsoft, Disney, and the US Army. He has developed tools like ProScena™ to integrate interactive 3D simulation capabilities into gaming and training applications.

• Theorem Proving
• Automated Reasoning
• Formal Methods
• +۱۴ مورد دیگر

Jasmin Blanchette is a Professor of Theoretical Computer Science and Theorem Proving at the Institute for Informatics, Ludwig-Maximilians-Universität München (LMU), where he also serves as Dean of Studies for Computer Science since January 2024. He is additionally affiliated as a guest researcher with the VeriDis group at Loria in Nancy, France. His research lies at the intersection of automated and interactive theorem proving, with a focus on higher-order logic and proof automation. Key projects include the development of tools like Sledgehammer, Nitpick, and Zipperposition, and foundational work on (co)datatypes and higher-order superposition. His recent publications reflect a strong trend in formalizing and verifying automated reasoning techniques, especially in higher-order logic, with applications in proof automation, SMT solving, and logical verification. Articles frequently appear in top venues such as CADE, ITP, and the Journal of Automated Reasoning. CADE 2023 Best Paper Award for 'Verified given clause procedures' FroCoS 2023 Best Paper Award (with Visa Nummelin and Sander Dahmen) IPA Dissertation Award (awarded to his student Petar Vukmirović) Dutch 'cum laude' distinction (awarded to his student Anne Baanen) Dutch Prize for ICT Research 2022 Blanchette has advised numerous PhD and postdoctoral researchers, many of whom are now active contributors to the formal methods community. He has received significant research grants through projects like Matryoshka and Nekoka. He is also the editor-in-chief of the Journal of Automated Reasoning and plays a central role in organizing key conferences such as ITP, CADE, and CPP. He leads an active research group at LMU, consisting of postdocs and PhD students working on topics such as higher-order superposition, formalization of voting systems, categorical logic, and proof search heuristics. The team collaborates closely with international groups, including those at Inria and TU Wien.

Frank Van Overwalleمشاهده پروفایل

استاد

• Social Neuroscience
• Cerebellum Research
• Social Cognition
• +۳ مورد دیگر

Frank Van Overwalle is a Professor of Psychology at Brussels University, affiliated with the Consultation Center Brain, Body and Cognition. His research focuses on Social Connectionism and Social Neuroscience, particularly the neural mechanisms underlying social cognition, mentalizing, and cerebellar contributions to social and cognitive processes. He has led over 40 research projects and published 214 peer-reviewed articles, including works on cerebellar sequencing, mentalizing, and neuroimaging techniques. His research highlights the cerebellum's role in social action prediction, implicit learning, and emotional processing. Notable projects include investigations into cerebellar tDCS effects on social cognition and collaborations on the neural basis of group stereotypes and Theory of Mind. Van Overwalle received the Tobie Jonckheere Award in 1989 for his doctoral work on educational psychology. He has participated in numerous conferences and serves on the boards of the Cognitive Neuroscience Society and Organization for Human Brain Mapping. His work bridges cognitive models with empirical neuroimaging data, emphasizing cerebellar contributions to higher-order social functions.

• Geometry and Topology
• Singularity Theory
• Differential Geometry
• +۷ مورد دیگر

Raul Adrian Oset Sinha is an Associate Professor in the Department of Mathematics at the Faculty of Mathematics, University of Valencia, Spain. His research is centered on singularity theory, differential geometry, and topology, particularly focusing on stable maps, geometric invariants, and the geometry of singular surfaces. His work lies at the intersection of Geometry and Topology , Singularity Theory , and Global Analysis . He investigates the geometric structure of mappings from manifolds, especially in low dimensions, analyzing projections, curvature properties, and topological invariants of singular images. The trends in his publications reveal a consistent focus on stable mappings , projections of surfaces , and classification of singularities . His recent work explores axial curvature, frontal surfaces, and augmentations, contributing to the understanding of geometric behavior in higher codimensions and corank-one settings. He is a member of the research group GEOSING: Singularities, Generic Geometry and Applications , collaborating with leading experts such as M. A. S. Ruas, F. Tari, and K. Saji. His publications appear in journals like Mathematische Annalen , Advances in Geometry , and Journal of Singularities . Oset Sinha earned his PhD from the University of Valencia in 2009 under the supervision of Dr. Maria del Carmen Romero Fuster. His thesis, Topological invariants of stable maps from 3-manifolds to three-space , laid the foundation for his ongoing research in singularity theory. He has advised students and supervised research, though specific names are not listed. He actively collaborates internationally and contributes to the academic community through peer reviewing and editorial work.

• Eukaryotic RNA processing
• Post-transcriptional gene regulation
• Spliceosome structure and mechanism
• +۶ مورد دیگر

Melissa J. Moore, PhD, is Professor at the University of Massachusetts Chan Medical School, where she holds the Eleanor Eustis Farrington Chair of Cancer Research and serves in the RNA Therapeutics Institute. She also holds appointments in the T. H. Chan School of Medicine (Department of Chemical Biology) and the Morningside Graduate School of Biomedical Sciences (Departments of Biochemistry & Molecular Biotechnology, Interdisciplinary Graduate Program, and Translational Science). Additional affiliations include campus-wide programs in Bioinformatics & Integrative Biology and Chemical Biology. Education: BS in Chemistry/Biology, College of William and Mary PhD in Biological Chemistry, Massachusetts Institute of Technology Research Focus: Melissa Moore’s laboratory investigates post-transcriptional gene regulation in eukaryotes, with emphasis on three interconnected themes: (1) spliceosome structure and catalytic mechanism, (2) nuclear-to-cytoplasmic control of mRNA metabolism, and (3) quality control and clearance of defective ribosomal and messenger RNAs. The group combines biochemistry, single-molecule biophysics, RNA structural biology, and cell biology to dissect these processes at molecular and systems levels. Scientific Awards & Honors: Eleanor Eustis Farrington Chair of Cancer Research Funding & Collaborations: Work is supported by grants from the National Institutes of Health and involves ongoing collaborations with investigators at Brandeis University, MIT, University of Rochester, and other institutions. Rotation projects for graduate students are available in all active research areas. Laboratory & Team: The Moore laboratory is located in the RNA Therapeutics Institute at UMass Chan Medical School, 364 Plantation Street, Worcester, MA. The team employs state-of-the-art single-molecule imaging, mass spectrometry, and high-throughput sequencing to advance understanding of RNA biology and to translate insights into therapeutic RNA technologies.

• Scanning Transmission Electron Microscopy (4D-STEM)
• Open Source Scientific Software Development
• Big Data Processing in Electron Microscopy
• +۴ مورد دیگر

Magnus Nord is an Associate Professor in the Department of Physics, Faculty of Natural Sciences at Norwegian University of Science and Technology (NTNU). His research focuses on advanced electron microscopy techniques and computational tools for materials characterization. Research Interests : Scanning Transmission Electron Microscopy (4D-STEM), Open Source Scientific Software Development (Python), Big Data Processing, Magnetic/Electric Field Imaging, Structural Characterization using Higher Order Laue Zones. Publications span cutting-edge applications in functional materials, nanomagnets, and perovskite thin films, with emphasis on machine learning and precession-enhanced imaging. Key keywords include Materials Science , Electron Microscopy , and Computational Imaging . Software Development : Lead developer of Atomap and pyxem , contributing to HyperSpy and merlin_interface for electron microscopy data analysis. Current Research Funding : InCoMa (Research Council of Norway) IMPRESS (Horizon EU Program)

Marie-Christine Dükerمشاهده پروفایل

استادیار

• high-dimensional statistics
• time series analysis
• functional data analysis
• +۱۱ مورد دیگر

Marie-Christine Düker is an Assistant Professor in the Department of Statistics and Data Science at Friedrich-Alexander University (Germany). Her research focuses on high-dimensional statistics, time series analysis, functional data analysis, and extreme value theory with applications in economics, psychology, chemistry, and ecology. Previously, she was a postdoctoral associate at Cornell University's Department of Statistics and Data Science under David Matteson. She earned her PhD in Mathematics from Ruhr-University Bochum under Herold Dehling and spent part of her doctoral studies at the University of North Carolina at Chapel Hill with Vladas Pipiras. Current Position: Assistant Professor, Department of Statistics and Data Science, Friedrich-Alexander University Previous Academic Affiliation: Postdoctoral Associate, Cornell University Education: PhD in Mathematics, Ruhr-University Bochum; Part-time research at University of North Carolina Research Interests: Her work spans high-dimensional time series under long-range dependence and nonstationarity, discrete data modeling, nonlinear dynamics, dimension reduction, and change-point analysis. Applications include econometrics, neuroscience, chemical data analysis, and ecological forecasting. Recent Publications: Her 2025-2024 work covers Hilbert space-valued linear processes, kernel estimation for nonlinear dynamics, confidence interval approximations, and latent Gaussian count time series. Earlier papers address simultaneous diagonalization, long-run variance matrices, and transition rate estimation challenges. Contact: marie.dueker@fau.de

Alban Moorمشاهده پروفایل

پژوهشگر

• Statistics
• Econometrics
• Time Series Analysis
• +۳ مورد دیگر

Alban Moor is a Researcher at the Research Institute for Statistics and Information Science at the University of Geneva. He holds a Ph.D. from the University of Geneva and specializes in statistical methodology with a focus on time series analysis and econometrics. Education: Ph.D., University of Geneva Research Interests: Moor’s work centers on advancing statistical inference techniques, particularly through the application of cumulant generating functions and bootstrap methods. His research addresses challenges in time series analysis and dependent data, with applications in computational statistics and econometric modeling. He emphasizes methodological innovation to improve accuracy and efficiency in data-driven analyses. Teaching: Moor contributes to executive education through courses on Mixed Linear Models, bridging theoretical statistical foundations with practical applications. Labs/Teams: Affiliated with the Research Institute for Statistics and Information Science, where he collaborates on interdisciplinary projects involving statistical computation and econometric methodologies.

• Game Theory
• Economic Theory
• Bayesian Analysis
• +۶ مورد دیگر

Dr. Ronald Stauber is an Associate Professor in the Research School of Economics at The Australian National University. His research focuses on game theory, economic theory, and decision-making under ambiguity. He has contributed to understanding Nash equilibria, Bayesian analysis in strategic settings, and correlated equilibrium dynamics. His work frequently explores how ambiguity and irrationality influence strategic interactions in extensive and normal-form games. Key research areas include ambiguity-averse player behavior, robustness of equilibria to higher-order beliefs, and applications of game theory to public insurance systems and dynamic agent models. Stauber's publications span journals like Games and Economic Behavior and Journal of Mathematical Economics , with notable contributions on strategic delegation, belief function products, and computational methods for solving dynamic public insurance games. His research has addressed topics such as Kuhn’s theorem extensions for ambiguity-averse players, trembles in extensive form games, and worker heterogeneity in limited-commitment frameworks. Stauber’s work often combines theoretical rigor with practical insights into economic policy and institutional design.