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

Anand Natarajanمشاهده پروفایل

استادیار

• Quantum Computing
• Theoretical Computer Science
• Complexity Theory
• +۳ مورد دیگر

Anand Natarajan is an Assistant Professor at the Massachusetts Institute of Technology (MIT), affiliated with the Theory of Computation research group. His work focuses on quantum computing, complexity theory, and theoretical computer science, particularly exploring quantum verification, nonlocal games, and the intersection of quantum information with computational complexity. He is a key contributor to foundational results like the MIP*=RE theorem, which resolved longstanding questions in quantum complexity theory. Research Interests: Quantum Verification and Cryptography Quantum Complexity Classes (QMA, MIP*) Nonlocal Games and Tsirelson's Theorem Quantum Error-Correcting Codes Oracle Separations in Complexity Theory Recent Work Trends: His publications from 2020-2024 emphasize advancing our understanding of quantum advantage, noise resilience in quantum protocols, and bridging quantum computing with classical complexity theory. Notable contributions include resolving the quantum PCP conjecture via game-theoretic frameworks and analyzing the computational limits of interactive proof systems involving entangled provers. Lab/Team Affiliation: Core member of MIT's Theory of Computation group under Vinod Vaikuntanathan, collaborating on algorithms, security, and programming languages research.

Antonie van Nistelrooijمشاهده پروفایل

استادیار

• Organizational Change
• Change Management
• Social Constructionism
• +۴ مورد دیگر

Dr. Antonie van Nistelrooij is an Assistant Professor at the Faculty of Social Sciences, Organization Sciences at Vrije Universiteit Amsterdam. He is affiliated with the Network Institute and Organization & Processes of Organizing in Society (OPOS). His academic background includes a PhD in Management Sciences from Radboud University Nijmegen, an MSc in Organizational Psychology from Tilburg University, and a BS in Business Studies from Eindhoven University of Technology. His research focuses on participative organizational change, social constructionism, systems thinking, and complexity science. He has authored over 60 publications, including the textbook *Embracing Organisational Development and Change* (2021). Key research interests include large-group interventions, narrative struggles in change processes, and the integration of interdisciplinary perspectives. He has received the Academy of Management Best Paper Award (2005) and serves on the editorial board of the *Journal of Change Management*. His teaching spans MBA programs and postgraduate courses on change management and organizational development. Van Nistelrooij’s work bridges academic and practical domains, with consulting roles in government and industry. He explores topics like urgency narratives in healthcare and cultural change, emphasizing dialogue and collective learning. His recent work highlights the interplay between temporal narratives and organizational safety, as well as the recursive dynamics of resistance in change processes.

Xi Chenمشاهده پروفایل

دانشیار

• Algorithmic Game Theory
• Economics
• Complexity Theory
• +۳ مورد دیگر

Xi Chen is an Associate Professor in the Department of Computer Science at Columbia University. Prior to this, he was a postdoctoral researcher at the Institute for Advanced Study (Princeton University) and the University of Southern California. He holds a B.S. in Physics/Maths from Tsinghua University (2003) and a Ph.D. in Computer Science from Tsinghua University (2007), advised by Professor Bo Zhang under the guidance of the Institute for Theoretical Computer Science led by Andrew Chi-Chih Yao. His research focuses on Algorithmic Game Theory, Economics, and Complexity Theory. His work is supported by an NSF CAREER award, a Sloan Research Fellowship, and Columbia University startup funds. He has received the EATCS Presburger Award and multiple best paper awards, including at FOCS 2006, ISAAC 2009, and CCC 2017. Xi Chen has taught courses such as Analysis of Algorithms , Lower Bounds in Theoretical Computer Science , and Introduction to Computational Complexity . He co-advises current PhD students Tim Randolph and Erik Waingarten, and has graduated students like Timothy Sun (Emory University) and Xiaorui Sun (University of Illinois at Chicago). He has served on program committees for conferences like WINE, SODA, and STOC. His research spans theoretical computer science, including property testing, graph isomorphism, and fixed-point computation. He is affiliated with Columbia's Theory Group and actively participates in the Theory Seminar organized by Alex Andoni. Xi Chen's research also extends to algorithmic economics, exploring mechanisms, pricing strategies, and market equilibria. His work on complexity theory includes contributions to counting problems and circuit complexity. He maintains a lab and collaborates with researchers in theoretical computer science and algorithmic game theory.

Timothy Williamsonمشاهده پروفایل

استاد

• Epistemology
• Metaphysics
• Philosophy of Language
• +۳ مورد دیگر

Timothy Williamson is a prominent Professor of Philosophy at the University of Oxford, holding the prestigious Wykeham Professorship of Logic. His academic career spans several decades with continuous contributions to analytic philosophy, particularly in epistemology, metaphysics, and philosophical logic. His work has positioned him as one of the leading philosophers of his generation. Williamson's research interests concentrate on epistemology (particularly his influential knowledge-first approach), metaphysics, philosophy of language, and philosophical logic. His work on vagueness champions epistemicism—the view that vague predicates have sharp boundaries that we cannot know. His book Knowledge and its Limits revolutionized epistemological thinking by placing knowledge rather than belief at the center of epistemological theory. Williamson has also made significant contributions to modal metaphysics, higher-order thought, and the philosophy of logic. His publication record reveals consistent engagement with foundational philosophical problems across several decades. His most recent work continues his exploration of knowledge-first epistemology while expanding into moral epistemology and methodological questions in philosophy. Williamson's articles demonstrate a distinctive blend of logical precision and philosophical depth, often using formal methods to address traditional philosophical problems. His work frequently intersects with debates in philosophy of language, metaphysics, and philosophical methodology. Williamson has been actively engaged in scholarly debate through numerous replies to critics, demonstrating his commitment to rigorous philosophical dialogue. His publications span major philosophy journals including Synthese , Canadian Journal of Philosophy , Analysis , and Philosophy and Phenomenological Research . Throughout his career, Williamson has mentored numerous graduate students and collaborated with leading philosophers across the globe. His methodological approach emphasizes the value of formal modeling in philosophical inquiry, arguing that philosophy can benefit from the model-building approaches common in natural sciences.

Imraan Faruqueمشاهده پروفایل

دانشیار

• Biologically-Inspired Flight Control
• Engineered Aerial Autonomy
• Unmanned Aerial Vehicles
• +۲ مورد دیگر

Imraan Faruque is an Associate Professor in the Department of Mechanical and Aerospace Engineering at Oklahoma State University (OSU), part of the College of Engineering, Architecture and Technology (CEAT). His research focuses on biologically-inspired flight control systems, engineered autonomy for unmanned aerial vehicles (UAVs), and the integration of sensory feedback mechanisms in autonomous systems. Education: Faruque holds a Ph.D. and M.S. in Aerospace Engineering from the University of Maryland (2011 and 2010) and a B.S. in Aerospace Engineering from Virginia Tech (2006). Research Interests: His work emphasizes bio-inspired solutions for aerial autonomy, including swarm coordination, gust-aware flight control, and human-autonomy interaction. Key areas include unmanned systems design, visual feedback algorithms, and adaptive control strategies derived from insect flight dynamics. Awards: He has received notable accolades such as the ONR Young Investigator Award (2019), AIAA Hal Andrews Young Engineer/Scientist Award (2017), and multiple 'Best in Session' recognitions at major conferences. His team also secured 1st Place in the International Aerial Robotics Championship (2005). Publications: Faruque’s research spans topics like orbital debris management, swarm intelligence, and tornado sensing with UAVs. His work bridges biological principles and engineering, with applications in aerospace, robotics, and environmental monitoring.

Philipp Staabمشاهده پروفایل

استاد

• Sociology of Work
• Digital Capitalism
• Political Economy of Technology
• +۹ مورد دیگر

Prof. Dr. Philipp Staab is a full professor of Sociology of the Future of Work at Humboldt-Universität zu Berlin, affiliated with the Einstein Center Digital Future (ECDF). His research lies at the intersection of digital capitalism, labor sociology, and the political economy of technology and artificial intelligence. He holds a PhD from the University of Kassel and has held research and teaching positions at institutions including the Hamburg Institute for Social Research, WZB Berlin, and the University of St. Gallen. Staab is a leading voice in analyzing how digital transformation reshapes labor, power, and governance. His research focuses on: Theoretical foundations of digital capitalism Power structures in platform economies and industrial digitalization The role of venture capital and financialization in shaping work The political economy of artificial intelligence and digital sovereignty The transformation of the public sphere in the digital age The social implications of green and digital transitions Staab’s recent publications explore the geopolitical dimensions of technology, sustainable digital market design, and the crisis of legitimacy in green capitalism. His work reveals patterns of increasing control, inequality, and state intervention in digital economies. He leads a collaborative research environment with multiple assistants and contributes to public discourse through books, policy papers, and media engagement. Notable recognitions include: Hans Matthöfer Prize for Business Journalism (2021) Named one of 'Germany’s 30 by 2030' by WirtschaftsWoche (2024) Staab advises on digital and labor policy and is involved in interdisciplinary research networks. He supervises a team of researchers and contributes to academic and public debates on the future of work, digital sovereignty, and ecological transformation.

• Artificial Intelligence
• Logic
• Argumentation
• +۴ مورد دیگر

Dr. Dragan Doder is an Assistant Professor in the Intelligent Systems group within the Faculty of Science at Utrecht University. His office is located in the Buys Ballot Building at Princetonplein 5, Room 5.20, 3584 CC Utrecht, Netherlands. He is actively engaged in research and teaching within the domain of Artificial Intelligence, with a specific focus on logical frameworks for AI systems. Dr. Doder's research expertise spans several interconnected areas of theoretical and applied AI. His primary interests include: Artificial Intelligence with emphasis on logical foundations Argumentation theory and frameworks Probabilistic reasoning and temporal logic Deontic logic for normative reasoning Human-centered AI approaches His work bridges theoretical computer science with practical applications in multi-agent systems and decision-making frameworks. Analysis of Dr. Doder's recent publications (2020-2025) reveals a strong focus on the intersection of logic, probability, and AI. His research trajectory shows increasing sophistication in handling uncertainty through probabilistic temporal logics, while maintaining strong connections to practical applications in multi-agent systems and argumentation frameworks. A notable trend is his work on integrating causal reasoning with probabilistic models, particularly in multi-agent contexts where group responsibility and risk assessment become critical concerns. His publications demonstrate consistent contributions to top AI conferences including IJCAI, AAAI, and ECAI. Dr. Doder actively collaborates with researchers across multiple institutions. His collaborative network includes prominent researchers in AI and logic from institutions worldwide. His research has practical implications for developing AI systems that can reason under uncertainty, handle complex normative constraints, and make responsible decisions in multi-agent environments. Dr. Doder is affiliated with the Intelligent Systems research group at Utrecht University, which focuses on developing theoretically sound approaches to AI that can be applied to real-world problems. The group emphasizes human-centered AI approaches that consider ethical implications and practical usability alongside technical excellence.

Yihan Sunمشاهده پروفایل

استادیار

• Parallel Computing
• Algorithms
• Data Structures
• +۱۲ مورد دیگر

Yihan Sun is an Assistant Professor at the University of California, Riverside (UCR) since January 2020. He earned his Ph.D. in Computer Science from Carnegie Mellon University (CMU) , advised by Guy Blelloch , and holds a Bachelor's degree in Computer Science from Tsinghua University . Research Interests: Yihan Sun focuses on the theory and practice of parallel computing , including Parallel algorithms and data structures Write-efficient algorithms for Non-Volatile Memory (NVM) Computational geometry (range trees, Delaunay triangulations) Graph algorithms (SSSP, SCC, cluster-based BFS) Concurrent and persistent data structures Multi-version concurrency control (MVCC) with garbage collection Applications in databases, transactional systems, and computational biology Recent Research Trends: His work on join-based parallel balanced trees has been foundational, supporting four balancing schemes (AVL, red-black, weight-balanced, treaps) and enabling efficient implementations in graph analytics, spatial queries, and dynamic programming. Recent publications focus on output-sensitive algorithms , scalable graph libraries (PASGAL) , and pedagogical approaches to teaching parallel algorithms. Teaching: He teaches CS260 (Parallel Algorithms) at UCR and has served as a guest lecturer for MIT 6.886 (Algorithm Engineering) and CMU 15-859 (Algorithms in the real world) . He also contributed to algorithm education through a tutorial at the ACM Symposium on Principles and Practice of Parallel Programming (PPoPP 2019) . Labs & Collaborations: Yihan is a core contributor to the PAM (Parallel Augmented Maps) library, which has been integrated into systems like Aspen (graph-streaming) and C-trees . He collaborates with teams at CMU-Parlay , PBBS , and Ligra , with his code available on Github for community feedback.

Martín Hötzel Escardóمشاهده پروفایل

استاد

• Homotopy Type Theory
• Univalent Mathematics
• Martin-Löf Type Theory
• +۱۲ مورد دیگر

Martín Hötzel Escardó is a Professor of Theoretical Computer Science in the School of Computer Science at the University of Birmingham, UK. He has been a faculty member since 2000, following previous academic positions at Imperial College London, the University of Edinburgh, and the University of St Andrews. His research bridges theoretical computer science and pure mathematics, with a strong emphasis on foundational aspects of computation. His educational background includes a BSc and MSc from Universidade Federal do Rio Grande Sul (Brazil) and a PhD from Imperial College London (1997) under Michael B. Smyth. Escardó's research interests center on topology in computation , constructive mathematics , dependent and univalent type theory (including Homotopy Type Theory and Cubical Type Theory), domain theory , locale theory , and exact real-number computation . His work explores deep connections between logic, topology, and programming, often using functional languages like Haskell and Agda to formalize and experiment with theoretical ideas. He is particularly known for his discoveries on exhaustively searchable infinite sets and the topological nature of computability. The trend in his recent publications reflects a sustained focus on univalent foundations, constructive domain and order theory, game semantics with dependent types, and the logical structure of type universes. His work consistently advances the formalization and understanding of higher-type computation and constructive mathematics within modern type theories. He has no listed scientific awards in the provided text, but his influence is evident through his extensive publication record and software developments like TypeTopology. Escardó has advised several students and collaborators, though specific names are not listed. He has been involved in significant research projects, particularly in the formalization of mathematics in type theory and the semantics of programming languages. His work often involves developing Agda libraries to formalize new mathematical results constructively. He leads and contributes to a vibrant research group in theoretical computer science at Birmingham, with a focus on logic, semantics, and type theory. His public research blog, lecture notes, and open-source Agda code (e.g., TypeTopology, HoTT-UF-in-Agda) serve as important resources for the community.

Andrzej Murawskiمشاهده پروفایل

استاد

• Semantics of Programming Languages
• Automata Theory
• Software Verification
• +۴ مورد دیگر

Andrzej Murawski is a Professor of Computer Science at the University of Oxford and a Tutorial Fellow at Worcester College . His research focuses on the semantics of programming languages and software verification, with applications in automata theory, probabilistic computation, and concurrency. Current affiliations: University of Oxford, SIGLOG Vice-Chair, FoSSaCS Steering Committee Research interests: Game semantics, higher-order recursion, probabilistic systems, differential privacy Recent publications address probabilistic verification, equivalence checking, and game semantics for concurrent systems. He has chaired program committees for conferences such as ESOP and PERR, and his work has earned recognition like the POPL 2025 Distinguished Paper Award . Current students : Benedict Bunting, Haoxuan Yin Past students : Conrad Cotton-Barratt, David Hopkins, Guanyan Li, Dominik Wagner, Fabian Zaiser

Steve Zdancewicمشاهده پروفایل

استاد

• Programming Languages
• Type Theory
• Logic
• +۷ مورد دیگر

Steve Zdancewic is the Schlein Family President's Distinguished Professor and Associate Chair in the Department of Computer and Information Science at the University of Pennsylvania's School of Engineering and Applied Science. He is a leading researcher in programming languages, formal methods, and computer security with over two decades of impactful contributions to the field. His research interests span programming languages, type theory, logic, computer security, quantum programming, and formal verification. Zdancewic has made significant contributions to information-flow security, memory safety, program synthesis, and the verification of low-level systems. His work often bridges theoretical foundations with practical applications, particularly through the development of verified systems using Coq and other proof assistants. Analysis of his recent publications reveals a strong focus on formal verification techniques, particularly using Interaction Trees and the Coq proof assistant. His research trajectory shows consistent evolution from foundational work on information-flow security toward increasingly sophisticated verification of complex systems including LLVM, quantum computing, and distributed systems. His work demonstrates a commitment to building practically useful verification tools while maintaining rigorous theoretical foundations. Distinguished Paper Award for Semantics for Noninterference with Interaction Trees (ECOOP 2023) Schlein Family President's Distinguished Professor (2021) Distinguished Paper Award for Interaction Trees (POPL 2020) Christian R. and Mary F. Lindback Foundation Award for Distinguished Teaching (2018) IEEE MICRO top picks (2013) Alfred P. Sloan Fellow (2009-2010) NSF CAREER award (2004) Zdancewic has advised numerous PhD students who have gone on to successful careers in academia and industry. His research has been supported by significant grants from NSF, including the NSF Expedition on the Science of Deep Specification. He is actively involved in multiple major research projects including Vellvm (verified LLVM), DeepSpec, and quantum programming verification. Zdancewic also co-organizes Penn's PL Club programming languages research group with Benjamin Pierce and Stephanie Weirich.

• Artificial Intelligence
• Machine Learning
• Data Mining
• +۵ مورد دیگر

Ling Zhao is a distinguished Professor at the School of Management, Huazhong University of Science and Technology, China, with extensive research contributions spanning artificial intelligence, machine learning, information systems, and biomedical applications. With over 150 publications since 2008, Dr. Zhao has established herself as a leading researcher in multiple interdisciplinary domains, particularly in applying computational methods to solve complex real-world problems. Dr. Zhao's research interests encompass a broad spectrum of cutting-edge topics including artificial intelligence, machine learning, data mining, control systems, and information systems. Her work demonstrates exceptional versatility, bridging theoretical computer science with practical applications in healthcare, transportation, cybersecurity, and business management. Notably, she has made significant contributions to sentiment analysis, medical image processing, algorithmic management, and privacy-preserving data analysis. Her research methodology often combines deep learning approaches with domain-specific knowledge to develop innovative solutions. Analysis of Dr. Zhao's recent publications (2023-2025) reveals a strong focus on interdisciplinary applications of AI, with particular emphasis on healthcare informatics (medical image analysis, disease diagnosis), human-computer interaction (algorithmic management effects), and advanced machine learning techniques (graph neural networks, multimodal learning). Her work shows a consistent trend toward increasingly complex and integrated systems that address real-world challenges across multiple domains. Dr. Zhao has made substantial contributions to academic advising and research mentorship, though specific student names aren't detailed in the available publications. Her research has been supported by various grants enabling work in AI applications, biomedical engineering, and information systems. Dr. Zhao maintains active collaborations with researchers across China and internationally, as evidenced by her co-authorship patterns. While specific laboratory information isn't explicitly mentioned in the publication records, Dr. Zhao appears to lead or be significantly involved in research groups focusing on AI applications in management and healthcare. Her work on medical imaging, sentiment analysis, and control systems suggests involvement in multiple specialized research teams addressing different application domains through computational approaches.

Fabrizio Lombardiمشاهده پروفایل

استاد

• Fault-tolerant computing
• VLSI CAD
• Testing
• +۷ مورد دیگر

Fabrizio Lombardi is the ITC Endowed Professor at Northeastern University's Department of Electrical and Computer Engineering, part of the College of Engineering. He previously held faculty positions at Texas Tech University, University of Colorado-Boulder, and Texas A&M University. He earned his B.Sc. from the University of Essex (1977), M.Sc. and Ph.D. from the University of London (1982). His research focuses on fault-tolerant computing, VLSI CAD, quantum computing, and configurable computing systems. He has led major projects like the NSF-funded Neural-Network-based Stochastic Computing Architectures for Machine Learning . He holds leadership roles including President of the IEEE Nanotechnology Council (2022-2023), IEEE Computer Society Vice President (2021), and IEEE PSPB member. His 200+ publications span IEEE Transactions on Computers, Nanotechnology, and Design & Test. Awards include IEEE Fellow, Søren Buus Outstanding Research Award, and multiple research fellowships. His work bridges theory and application, emphasizing defect-tolerant nanosystems and energy-efficient computing hardware. Recent innovations include approximate computing methodologies and secure PUF-based hardware designs.

Charles M Harrisمشاهده پروفایل

مدرس

• Computability Theory
• Computable Combinatorics
• Reverse Mathematics
• +۴ مورد دیگر

Charles M Harris is a Lecturer in Pure Mathematics at the School of Mathematics, University of Bristol. His academic training includes a BSc from the University of Bristol, an MSc from King's College London, a DEA from Paris, and a PhD from the University of Leeds. Education: BSc (Bristol), MSc (King's College London), DEA (Paris), PhD (Leeds) Harris specializes in Computability Theory, with a focus on Computable Combinatorics and Reverse Mathematics. His research explores enumeration reducibility, automorphism structures of linear orderings, jump inversion, and noncuppable enumeration degrees. Key contributions include work on maximal block functions, symmetric enumeration degrees, and polynomial-time bounded reducibility. His publications (15 most recent) span topics in computable orderings, enumeration degree theory, and algorithmic combinatorics. Articles often intersect with mathematical logic and recursion theory, addressing foundational questions about computability and complexity.

Adam Jardineمشاهده پروفایل

دانشیار

• Phonology
• Computational Linguistics
• Formal Language Theory
• +۴ مورد دیگر

Adam Jardine is an Associate Professor in the Department of Linguistics at Rutgers University. He serves as the Graduate Program Director, overseeing the academic affairs of the department's graduate programs. His research focuses on computational and mathematical approaches to phonological theory, with emphases on formal language theory, learnability, and the application of computational models to phonological phenomena. Jardine holds a PhD in Linguistics from the University of Delaware (2016) and has held prior academic positions. His research integrates theoretical linguistics with computational methods, exploring topics such as autosegmental phonology, subregular complexity classes, and phonological learning algorithms. He has organized major conferences including AMP 2024 and workshops on subregular phonology. Jardine leads NSF-funded research on subregular inference of morpho-phonology (Award #2416184), collaborating with Jane Chandlee and Jeffrey Heinz. Key contributions include work on autosegmental representations, computational phonology, and the logical foundations of phonological theory. He has advised numerous PhD students, including Huteng Dai (2024) and Hyunjung Joo (expected 2026), whose research spans phonological learning and computational modeling. Jardine teaches advanced courses such as Phonology Seminar and maintains active participation in interdisciplinary projects linking linguistics to computer science and artificial intelligence. Recent work includes contributions to The Cambridge Handbook of Phonology (2026) and co-organizing sessions on computational learnability at the LSA Annual Meeting. His lab focuses on formal phonology, with ongoing projects exploring the computational boundaries of phonological systems and the application of recursive schemes to linguistic analysis.