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

Nadia Polikarpovaمشاهده پروفایل

دانشیار

• Program Synthesis
• Program Verification
• Type Systems
• +۵ مورد دیگر

Nadia Polikarpova is an Associate Professor in the Department of Computer Science and Engineering at the University of California, San Diego . She earned her PhD from ETH Zurich in 2014 under Bertrand Meyer , followed by postdoctoral research at MIT CSAIL with Armando Solar-Lezama . Her academic contributions have been recognized with prestigious awards including the 2020 Sloan Fellowship , 2020 Intel Rising Stars Award , and 2020 NSF CAREER Award . Polikarpova's research focuses on program synthesis , program verification , and type systems . She leads the Programming Systems group at UCSD and contributes to the IFIP Working Group 2.8 on Functional Programming since 2022. Her work spans foundational research and practical tools, including projects like Synquid , SuSLik , and Laurel that combine formal methods with machine learning for code generation. Her recent publications in venues like OOPSLA , NeurIPS , and ICFP reveal trends in AI-assisted programming , live programming environments , and formal verification . She has advised numerous PhD and Master’s students including Shraddha Barke , Zheng Guo , and Tristan Knoth , many of whom have moved to prominent academic and industry positions. Notable artifacts from her lab include tools like ColDeco for spreadsheet inspection and Superfusion for eliminating intermediate data structures. 2020 : Sloan Fellow 2020 : Intel Rising Stars Award 2020 : NSF CAREER Award 2021 : Distinguished Paper at POPL 2023 : Distinguished Artifact at PLDI 2023 : Distinguished Paper at OOPSLA Polikarpova actively contributes to academic service, serving on program committees for PLDI , POPL , and OOPSLA , and co-chairing the OOPSLA Review Committee in 2023. She has delivered keynotes at APLAS'20 and PLDI'24 , emphasizing the integration of large language models with formal methods.

Yin Tat Leeمشاهده پروفایل

دانشیار

• Convex Optimization
• Convex Geometry
• Graph Algorithms
• +۲ مورد دیگر

Yin Tat Lee is an Associate Professor at the Paul G. Allen School of Computer Science & Engineering , University of Washington, and a Senior Principal Researcher in Microsoft AI. His research spans convex optimization , convex geometry , graph algorithms , online algorithms , and differential privacy , with applications in machine learning and theoretical computer science.

Ignacio Ojea Quintanaمشاهده پروفایل

استادیار

• Social Epistemology
• Philosophy of Data Science
• Ethics of Autonomous Decision Making
• +۴ مورد دیگر

Ignacio Ojea Quintana serves as Assistant Professor at Ludwig Maximilian University of Munich's Faculty of Philosophy, Philosophy of Science and Religious Studies within the Chair of Philosophy of Science. He joined LMU in 2022 after a three-year research fellowship at the Australian National University's School of Philosophy. His academic foundation includes a PhD in Philosophy from Columbia University (2019), supervised by Philip Kitcher with focus on formal social epistemology, and prior Masters/BA degrees in Philosophical Logic from the University of Buenos Aires where he collaborated with the Buenos Aires Logic Group. Ojea Quintana's research employs formal methodologies to examine digital technologies' impact on knowledge organization across scientific and public spheres. His work intersects Social Epistemology , Philosophy of Data Science , and Autonomous Systems Ethics , with significant contributions to social media network analysis of controversial movements. Current projects analyze Twitter dynamics in racial justice movements, ethical constraints in AI decision systems, and consensus formation in scientific modeling. His 2021-2022 publications reveal an interdisciplinary trajectory bridging philosophy, computer science, and social sciences. Key trends include computational analysis of online discourse, formal modeling of group rationality under uncertainty, and ethical frameworks for AI systems. Works appear in high-impact venues including Nature Humanities and Social Sciences Communications and the AAAI/ACM Conference on AI, Ethics, and Society. Ojea Quintana maintains active collaborations with the "Humanising Machine Intelligence" initiative (formerly at ANU) and the Buenos Aires Logic Group. His research program demonstrates sustained engagement with technology's societal implications through formal modeling approaches and empirical digital trace analysis.

Marco Platznerمشاهده پروفایل

استاد

• Reconfigurable Computing
• Approximate Computing
• Self-Aware Computing
• +۷ مورد دیگر

Marco Platzner is a Professor for Computer Engineering at Paderborn University , Germany. He serves as the Dean of Research for the Faculty of Computer Science, Electrical Engineering and Mathematics and heads the Department of Computer Science. Previously, he held research positions at ETH Zurich, Stanford University, GMD (now Fraunhofer IAIS), and Graz University of Technology. Education: Diploma and PhD in Telematics (Graz University of Technology, 1991 and 1996), Habilitation in Hardware-Software Co-Design (ETH Zurich, 2002) Research Interests focus on reconfigurable computing, approximate computing, self-* computing, and embedded systems. His work addresses hardware security, FPGA design, and sustainable AI in data centers. Current projects include energy-efficient AI through deep neural network approximation for FPGAs (EKI-App) and lifecycle sustainability of socio-technical systems (SAIL). Publication Trends show expertise in FPGA security, approximate circuit synthesis, robotics, and hardware acceleration. Collaborations span robotics (ROS 2 integration), AI (transformer optimization), and cybersecurity (Trojan detection). Scientific Awards: ACM SIGDA Hall of Fame (2020) Significant Paper Award (FPL 2015) Best Paper Awards at IEEE ISVLSI (2024), ARC (2018), IEEE ReConFig (2015), and others Weierstraß Prize for Teaching (2008) Leadership Roles include membership in the board of Paderborn Center for Parallel Computing (PC2) and the Jenny Aloni Centre for Early Career Researchers. He has contributed to EU FP7 FET project EPiCS and German priority programs on embedded systems and organic computing.

Assia Mahboubiمشاهده پروفایل

پژوهشگر

• Type Theory
• Formal Verification
• Computer-Aided Mathematics
• +۳ مورد دیگر

Assia Mahboubi is a tenured researcher ( directrice de recherche ) at INRIA in the Gallinette team, Nantes, France, and an endowed professor in the Algebra and Number Theory section of the Vrije Universiteit Amsterdam, Netherlands. Her work bridges theoretical computer science and formal mathematics, with significant contributions to proof assistants and formal verification. Her research focuses on the foundations and formalization of mathematics in type theory, particularly on the automated verification of mathematical proofs. She explores the interplay between computer algebra and formal proofs, and is a key contributor to the Rocq prover (formerly Coq) and the Mathematical Components libraries. Her work often examines how familiar mathematical objects can be optimally represented for computer-aided proof checking. Recent publications show a strong trend toward categorical reasoning, diagram chasing, and continuity properties in constructive type theory, with increasing focus on practical applications of formal methods in computational mathematics. Her work demonstrates the maturation of formal verification techniques from theoretical foundations to practical tools for mathematical research. ERC Consolidator grant for the FRESCO (Fast and Reliable Symbolic Computation) project Mahboubi actively supervises doctoral students including Vojtěch Štěpančík, Tomás Vallejos Parada, and Alain Chavarri Villarello. She has received significant research funding through her ERC Consolidator grant for the FRESCO project, which aims to develop fast and reliable symbolic computation techniques. She is deeply involved in the international research community, serving on program committees for major conferences including POPL, CPP, and ICFP. She leads research in the Gallinette team at INRIA, which focuses on the intersection of proof assistants, programming languages, and formal mathematics. Her work has helped establish formal verification as a practical tool for mathematical research, moving beyond theoretical foundations to real applications in computational mathematics.

• Secure Decentralized Systems
• Blockchain Technology
• Systems Security
• +۳ مورد دیگر

Prof. Bryan Ford leads the Decentralized/Distributed Systems (DEDIS) lab at EPFL. He focuses on secure decentralized systems, including blockchain technology, privacy, and systems security. He earned his Ph.D. from MIT and held faculty positions at Yale University and EPFL. His work spans distributed consensus protocols, peer-to-peer networking, and privacy-preserving systems. Key projects include QuePaxa (timeout-free consensus), UIA (global connectivity for mobile devices), and MedCo (secure healthcare data sharing). He advises numerous PhD students and contributes to open-source projects like Bitcoin collective signing and privacy networks like Riffle. Education: Ph.D., MIT; Postdoctoral work at Yale Research interests include blockchain scalability, consensus algorithms, and cryptographic privacy. His lab develops systems like TRIP for coercion-resistant voting and F3B to mitigate blockchain front-running. His work on NAT traversal and peer-to-peer protocols (e.g., STUN/ICE) remains foundational in network architecture. He emphasizes practical, auditable security solutions such as CertiKOS and atomic cross-chain transactions (Atom). Notable contributions: CoSi (collective signing), OmniLedger (sharded blockchain), and privacy-preserving protocols like PURBs (Protected Unsealable Recursive Boxes). His lab collaborates with Swiss Post to audit e-voting systems and designs democratic cryptocurrencies like PoPCoin.

Amir-Moazamiمشاهده پروفایل

استاد

• Secularism
• Political Theory
• Gender Studies
• +۶ مورد دیگر

Schirin Amir-Moazami is a Professor at the Institute of Islamic Studies, Freie Universität Berlin, within the Department of History and Cultural Studies. She leads the research and teaching profile Islam in Europe and serves as a Principal Investigator at the Berlin Graduate School Muslim Cultures and Societies since 2009. Education: PhD in Political Science/Sociology (European University Institute, 2004) Affiliations: Freie Universität Berlin, Berlin University Alliance (RePLITO), SCRIPTS Cluster of Excellence Her research focuses on political theory , critical secular studies , and Islamic practices in European public spheres . She examines how liberal-secular regimes produce knowledge about Islam, intersecting with gendered, racialized hierarchies and institutional inclusion logics. Recent work analyzes funding structures, research agendas, and epistemic frameworks shaping discourses on Islam in Europe. Key themes include racialization of minorities , secular governance of religion , and postcolonial critiques of liberal frameworks . She contributes to editorial platforms like the Trafo Blog-Essay Series and collaborates on projects addressing antimuslimischer Rassismus and liberal epistemic traps .

• Computer Vision
• Artificial Intelligence
• Multimodal Learning
• +۷ مورد دیگر

Dr. Hilde Kuehne is a Professor at the University of Tuebingen and a key researcher at the Tuebingen AI Center. She holds affiliations with MIT-IBM Watson AI Lab and Goethe University Frankfurt, with a focus on computer vision, multimodal learning, and explainable AI. Her work bridges vision-language models, audio-visual alignment, and self-supervised methods. Co-organizer of the New Frontiers in Associative Memories workshop @ ICLR 2025 Member of the Scientific Advisory Board of the Carl-Zeiss-Foundation Contributor to CVPR 2025's UTD dataset for unbiased video benchmarks Her research addresses critical challenges in: Explainability for Vision Transformers (LeGrad) Fine-grained audio-visual alignment (CAV-MAE Sync) Zero-shot visual recognition automation (Meta-Prompting) Spatio-temporal grounding without annotations Recent collaborative work spans 15+ publications across CVPR, NeurIPS, ICCV, and ICLR, with emphasis on multimodal foundation models, dataset bias mitigation, and differentiable logic networks. She actively contributes to workshop organization and peer review as evidenced by her involvement in CVPR 2025 and ICLR 2025 program committees.

Ignasi Sau Vallsمشاهده پروفایل

پژوهشگر

• Graph Theory
• Parameterized Complexity
• Algorithmic Graph Theory
• +۵ مورد دیگر

Ignasi Sau Valls is a Directeur de Recherche (DR2) at CNRS, affiliated with the LIRMM laboratory at Université de Montpellier, France. He is a member of the AlGCo team, focusing on algorithms for graphs and combinatorics. His academic background includes dual degrees in Mathematics and Telecommunications Engineering from UPC (Barcelona), a PhD in joint supervision between UPC and Projet Mascotte (Sophia Antipolis), and a postdoctoral position at the Technion (Israel). He has been with CNRS since 2010 and was promoted to his current role in October 2024. He also served as a Visiting Professor at UFC (Brazil) from 2016–2017. His research interests lie primarily in Graph Theory and Parameterized Complexity , with a focus on structural graph properties, kernelization, and algorithm design. He has made significant contributions to problems involving minor-closed graph classes, treewidth, and graph modification. His work bridges theoretical foundations with algorithmic applications, particularly in discrete optimization and network problems. The recent articles highlight a strong trend in parameterized algorithms, especially for graph modification, kernelization, and structural graph problems. Topics such as hitting minors, dynamic programming on tree decompositions, and edge contractions reflect a deep engagement with structural parameterizations and fixed-parameter tractability. His publications frequently appear in top-tier journals like SIAM Journal on Computing, Journal of Combinatorial Theory, and Algorithmica, as well as major conferences such as ICALP, SODA, and IPEC. Best paper award of Track C of ICALP'10 Best student paper award of WG'09 Ignasi Sau has been a principal investigator of the ANR JCJC project ELIT (ANR-20-CE48-0008-01), funded with 169k€ from 2021 to 2026. He serves as an editor for DMTCS and Information and Computation , and has held significant organizational roles, including PC member of numerous conferences (MFCS, WG, IPEC, COCOON) and as co-chair and main organizer of WG 2019, ICGT 2022, and JCALM 2023. He has delivered invited courses at international schools in France, Argentina, and Brazil. He is actively involved in the research community through editorial duties, conference organization, and collaborative research. His lab affiliation is the AlGCo team at LIRMM, a leading group in algorithmic graph theory and combinatorics.

Muhammad Ali Gulzarمشاهده پروفایل

استادیار

• Fault Localization
• Big Data systems
• Data Intensive scalable computing
• +۵ مورد دیگر

Muhammad Ali Gulzar is an Assistant Professor in the Computer Science Department at Virginia Tech and an Amazon Scholar at Amazon Web Services. His research focuses on improving developer productivity through automated debugging and testing for applications in emerging domains, including data-intensive software such as dataflow programs, ML/AI applications, and computational notebooks. Education Ph.D. in Computer Science from University of California, Los Angeles (Google Ph.D. Fellow 2017-2020) Research Interests Gulzar's research spans three primary areas: (1) automated tracking-code localization techniques in web applications, (2) re-engineering testing and debugging for data-intensive applications, and (3) advancing current testing and debugging practices in Federated Learning Applications. His work addresses the challenges of debugging in complex systems where traditional approaches fail due to the scale and distributed nature of modern applications. His research has significant implications for improving software quality, developer productivity, and accessibility in web applications. Research Trends Recent publications demonstrate a strong focus on debugging and testing challenges in emerging application domains. His work bridges traditional software engineering with machine learning, data-intensive systems, and web technologies. Notably, he has made significant contributions to Federated Learning debugging (FedDebug), accessibility challenges in ad-driven web applications, and semantic caching for Large Language Models. His approach often combines novel algorithmic insights with practical implementations that address real-world challenges in software development and maintenance. Scientific Awards Google Ph.D. Fellow (2017-2020) $1.1 million NSF award for Federated Learning research ACM CCS 2024 Distinguished Artifact Award Advising and Grants Gulzar leads a productive research group with multiple students contributing to publications in top-tier venues. His NSF-funded research on Federated Learning demonstrates his ability to secure competitive funding for innovative projects. His advising style appears to emphasize practical impact alongside theoretical contributions, with students often taking lead roles in publications. Current research directions include debugging techniques for Large Language Models, accessibility challenges in modern web applications, and novel testing approaches for distributed data processing systems.

Zachary Kincaidمشاهده پروفایل

دانشیار

• Program Analysis
• Formal Methods
• Programming Languages
• +۴ مورد دیگر

Zachary Kincaid is an Associate Professor in the Department of Computer Science at Princeton University's School of Engineering and Applied Science. His research focuses on program analysis, logic, and programming languages, with an emphasis on making program analysis compositional and robust. He received his PhD from the University of Toronto under the supervision of Azadeh Farzan. His work has been implemented in the Duet program analyzer, and he has an Erdős number of 3. Dr. Kincaid's research interests include: Compositional program analysis techniques Algebraic approaches to program analysis Termination analysis and ranking function synthesis Verification of concurrent and parallel programs Automated reasoning and decision procedures Analysis of numerical programs and loops His recent publications show a strong focus on developing novel techniques for program analysis that bridge theoretical computer science with practical verification tools, particularly in nonlinear analysis, quantified reasoning, and compositional verification. Dr. Kincaid has received research support from ONR grant N00014-19-1-2318 for his work on robust program analysis. He has advised graduate students including: Current: Jake Silverman, Nicolas Koh, Nikhil Pimpalkhare Graduated: Shaowei Zhu (PhD 2024, Researcher at Amazon), Charlie Murphy (PhD 2023, Postdoc at University of Wisconsin–Madison) Dr. Kincaid teaches courses including: COS 320 – Compiling Techniques (Spring 2024, 2022, 2020, 2019) COS 516 / ELE 516 – Automated Reasoning about Software (Fall 2025, 2022, 2018) COS 217 – Introduction to Programming Systems (Fall 2024) COS IW – Practical Solutions to Intractable Problems (Fall 2023, Spring 2023, 2018, 2017) COS IW – Little Languages (Spring 2018) COS 597D – Reasoning about concurrent systems (Fall 2016)

Bo Xiongمشاهده پروفایل

پژوهشگر

• Machine Learning
• Knowledge Graphs
• Graph Neural Networks
• +۴ مورد دیگر

Bo Xiong is a researcher at the University of Stuttgart in the Analytic Computing group. His research focuses on machine learning and knowledge graphs , with a particular emphasis on geometric embeddings and hyperbolic neural networks. His research interests include: Knowledge graph embeddings Hyperbolic and pseudo-Riemannian geometry in AI Temporal knowledge graph reasoning Structured multi-label prediction Recent publications highlight his work on geometric relational embeddings, complex query answering, and temporal fact reasoning using advanced manifold-based techniques.

• Quantum Computing
• Quantum Foundations
• ZX-calculus
• +۷ مورد دیگر

John van de Wetering is an Assistant Professor at the Theoretical Computer Science group of the Informatics Institute, University of Amsterdam, working with the QuSoft research center. He co-authored the open-access book Picturing Quantum Software and developed the PyZX quantum compiler. His research spans quantum computation and quantum foundations, focusing on diagrammatic methods like the ZX-calculus and ZH-calculus. Quantum circuit optimization and verification Quantum foundations via algebraic/compositional methods Co-creator of PyZX His recent publications explore multi-qutrit systems, completeness of graphical calculi, and quantum state representations. Supervises students in quantum computing, including Lia Yeh and Sarah Li. Directs the new Master's program in Quantum Computer Science at UvA. Actively contributes to open-source projects and international conferences. Notable collaborations include Aleks Kissinger, Neil J. Ross, and QuSoft researchers. Uses GitHub for DiZX development (qudit extension of PyZX). No explicit scientific awards mentioned.

Michael D. Ernstمشاهده پروفایل

استاد

• software engineering
• programming languages
• type theory
• +۶ مورد دیگر

Michael D. Ernst is a Professor in the Computer Science & Engineering department at the University of Washington's College of Engineering. His research aims to make software more reliable, more secure, and easier (and more fun!) to produce. Previously, he was a tenured professor at MIT and a researcher at Microsoft Research. Ernst's primary technical interests are in software engineering, programming languages, type theory, security, program analysis, bug prediction, testing, and verification. His research combines strong theoretical foundations with realistic experimentation, with an eye to changing the way that software developers work. He focuses particularly on programmer productivity and developing practical tools that can be integrated into developers' workflows. Analysis of his recent publications (2018-2025) reveals a continued focus on verification techniques, program analysis, and testing methodologies. His work spans from theoretical foundations of type systems to practical applications of NLP for test generation and LLMs for test oracle creation. A consistent theme is developing lightweight, modular approaches that can be practically applied in real-world development environments. Scientific Awards: ACM Fellow (2014) John Backus Award (2009) NSF CAREER Award (2002) ACM SIGSOFT Impact Paper Award (2013) 8 ACM Distinguished Paper Awards across multiple conferences ECOOP 2011 Best Paper Award Microsoft Academic Search ranked #2 in software engineering research (2013) Ernst has received significant research funding including the NSF CAREER Award, supporting his work on program analysis and verification techniques. His research combines theoretical rigor with practical impact, often resulting in tools that are adopted by the software engineering community. He actively collaborates with researchers across institutions and has served in leadership roles for major conferences in programming languages and software engineering. His research group develops practical tools that address real challenges in software development, with a focus on making verification and analysis techniques more accessible to working developers. Current projects include applying machine learning techniques to software engineering problems while maintaining strong theoretical foundations.

Karin Kreutzerمشاهده پروفایل

استاد

• Social Entrepreneurship
• Corporate Social Responsibility
• Strategic Partnerships between Companies and NGOs
• +۴ مورد دیگر

Karin Kreutzer is Professor of Social Business at EBS Business School, EBS University of Business and Law, holding the Chair of Social Business while serving as Head of the Impact Institute and Vice Dean of Research. Her academic leadership bridges theoretical rigor with practical social impact through extensive engagement with social enterprises and nonprofit organizations. Her educational foundation includes a doctorate from the University of St. Gallen complemented by studies at Bocconi University, Universities of Passau and Parma, and a visiting scholar position at ESADE Business School in Barcelona. This diverse academic background informs her interdisciplinary approach to social business research. Professor Kreutzer's research program centers on social entrepreneurship, corporate social responsibility, strategic NGO-corporate partnerships, and nonprofit strategic management, employing qualitative methodologies to dissect organizational identity dynamics and hybrid institutional logics. Her work reveals how social enterprises navigate inherent tensions between social missions and business sustainability, particularly during scaling phases and organizational transitions. Analysis of her 2021-2024 publications shows evolving focus on age-diverse volunteer teamwork, discursive construction of social entrepreneurship in pitch contexts, and career transitions of corporate managers entering nonprofit sectors. These studies consistently appear in premier outlets like Academy of Management Journal , Journal of Management Studies , and Journal of Business Ethics , demonstrating methodological sophistication and theoretical contribution. She actively translates research into practice through board memberships in social enterprises and advisory roles for nonprofits and public sector entities. Her teaching spans bachelor's, master's, MBA, and PhD programs covering business administration, CSR, social entrepreneurship, and qualitative research methods. As Head of the Impact Institute, she directs a research hub fostering social innovation through academic-practitioner collaboration, with current projects examining organizational responses to human rights challenges during conflicts and sustainability managers' moral engagement.