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

Hector Geffnerمشاهده پروفایل

استاد

• Artificial Intelligence
• Machine Learning
• Automated Planning
• +۵ مورد دیگر

Hector Geffner is an Alexander von Humboldt Professor at RWTH Aachen University, leading the Chair of Machine Learning and Reasoning. He specializes in automated planning, machine learning, and reasoning, with a focus on representation learning for acting and planning. His work bridges symbolic and model-based AI, emphasizing general policies and subgoal decomposition. Education & Background : PhD from UCLA (1989), prior roles at IBM Watson Research Center and Universidad Simón Bolívar. Former ICREA researcher and professor at Universitat Pompeu Fabra (2001–2022). Research Interests : Classical and probabilistic planning, reinforcement learning, knowledge representation, and applications in robotics. His ERC-funded RLeap project explores learning generalized policies and symbolic representations for effective decision-making. Teaching : Courses include 'Actions and Planning in AI' and 'Social and Technological Change', emphasizing interdisciplinary AI applications. Awards & Recognition : Alexander von Humboldt Professorship (2023), AAAI/EurAI Fellowships, and editor of influential works on Judea Pearl’s contributions to AI. Grants & Projects : Advanced ERC grant (2020–2025), Humboldt Foundation support, and RWTH funding for research on planning and reasoning. Labs & Teams : Heads the Chair of Machine Learning and Reasoning at RWTH, focusing on interdisciplinary research in AI, robotics, and planning algorithms.

Tom Schrijversمشاهده پروفایل

استاد

• Programming Languages
• Functional Programming
• Type Systems
• +۶ مورد دیگر

Tom Schrijvers is a Professor at the Department of Computer Science in the Faculty of Engineering Science at KU Leuven, Belgium. He leads the Programming Languages Group within the Declarative Languages and Artificial Intelligence (DTAI) research group. His research focuses on programming languages, particularly functional and logic programming, with special emphasis on Haskell, type systems, and algebraic effects. His research interests include: Functional Programming, especially Haskell Type Systems and Type Theory Algebraic Effects and Handlers Logic Programming, particularly Prolog Constraint Programming Domain-Specific Languages Programming Language Theory Prof. Schrijvers' recent research has focused on effect systems, staged programming, and language composition. His work on algebraic effect handlers has been particularly influential, providing new insights into how effects can be modularly composed and handled in functional languages. He has also made significant contributions to the understanding of type classes and their implementation in Haskell. His publications demonstrate a consistent focus on practical applications of programming language theory, with work spanning from foundational type theory to applied domain-specific languages for areas like fluorescence microscopy. His research often bridges the gap between theoretical programming language concepts and practical implementation concerns. Prof. Schrijvers has supervised numerous PhD students to completion, including Pieter Wuille, Benoit Desouter, George Karachalias, Steven Keuchel, Amr Saleh, Alexander Vandenbroucke, and Ruben Pieters. He currently supervises PhD students Klara Mardirosian, César Santos, Gert-Jan Bottu, Koen Pauwels, Birthe van den Berg, and Roger Bosman. His research group has received funding from various sources including EU projects like GRACeFUL. The Programming Languages Group at KU Leuven, which he leads, focuses on functional (Haskell) and logic (Prolog, Datalog, CLP) programming languages, as well as general programming language theory. The group has been active in numerous research projects and collaborations across Europe.

James Aspnesمشاهده پروفایل

استاد

• Distributed Algorithms
• Computer Science
• Randomized Algorithms
• +۵ مورد دیگر

James Aspnes is the Harold W. Cheel Professor of Computer Science at Yale University, specializing in distributed algorithms and randomized methods. He holds a PhD from Carnegie Mellon University and degrees from MIT. His research focuses on distributed systems, peer-to-peer networks, and sensor networks, emphasizing tools for efficient data management and fault-tolerance. Education: PhD (CMU, 1992), SM & SB (MIT, 1987) Affiliations: Yale since 1993, IBM Almaden Research Center (1992–1993) Research interests include distributed algorithms, randomization, and applications in biology and economics. Notable contributions include skip graphs, population protocols, and consensus algorithms. He has received the ACM-EATCS Dijkstra Prize (2020) and Dylan Hixon Prize (2000). Publications span distributed computing, algorithms, and cryptography. Recent work explores consensus protocols and privacy in population models. Grants include NSF awards totaling over $2M. Active in editorial roles (Algorithmica, Distributed Computing) and conference organization (PODC 2005, DCOSS 2007).

Hyuck Jin Parkمشاهده پروفایل

استاد

• Landslide Hazard Assessment
• Geotechnical Engineering
• Machine Learning Applications
• +۵ مورد دیگر

Hyuck Jin Park is a Full Professor in the Department of Energy Resources and Geosystems Engineering at Sejong University, South Korea, where he has been teaching and conducting research since 2003. With a Ph.D. in Engineering Geology from Purdue University, his expertise spans geotechnical engineering, landslide analysis, and geospatial technologies. Professor Park has built a distinguished career in landslide hazard assessment, combining traditional geotechnical approaches with modern machine learning techniques to improve prediction accuracy and risk management. His educational background includes: B.S. in Geology from Yonsei University (1990) M.S. in Geophysics from Yonsei University (1993) Ph.D. in Engineering Geology from Purdue University (2011) Professor Park's research focuses on the spatial and temporal probability of landslide occurrence, utilizing fuzzy logic, probabilistic analysis, GIS, Monte Carlo simulation, and machine learning for landslide hazard assessment. His work integrates physically based models with statistical approaches to better understand landslide mechanisms and improve prediction capabilities. He has made significant contributions to the development of methodologies that account for geological uncertainties in hazard assessment, with applications ranging from rock slope stability to rainfall-induced shallow landslides. His recent publications demonstrate a clear trend toward integrating explainable artificial intelligence with traditional geotechnical approaches for natural hazard assessment. Professor Park's work increasingly focuses on making machine learning models transparent and interpretable while maintaining high predictive accuracy. The research spans multiple hazard types including landslides, earthquakes, and floods, with a growing emphasis on climate change impacts and data-scarce environments. With an h-index of 28 and over 3,421 citations, Professor Park has established himself as a leading researcher in his field. His work has been published in high-impact journals including Engineering Geology, Landslides, and Catena, reflecting the significance and quality of his contributions to geotechnical engineering and natural hazard assessment. Professor Park has mentored numerous researchers through collaborative projects and has secured funding for his innovative work in landslide prediction and hazard assessment. His research has involved significant international collaboration, particularly with researchers from Malaysia, Australia, and Yemen, addressing landslide and flood risks in diverse geographical contexts. He leads research activities within the Department of Geoinformation Engineering at Sejong University and has contributed to the development of specialized tools like DEWS (Distance, Elevation, Watershed, and Slope unit) for landslide early warning systems.

Simon Razniewskiمشاهده پروفایل

استاد

• Knowledge-based Artificial Intelligence
• Natural Language Processing
• Data Science
• +۳ مورد دیگر

Simon Razniewski is a Professor of Knowledge-based Artificial Intelligence at TU Dresden and ScaDS.AI, focusing on integrating language models and knowledge bases. He previously held roles at Bosch Center for AI (2023–2024), Max Planck Institute for Informatics (2017–2021), and Free University of Bozen-Bolzano (2014–2017). His research spans knowledge extraction, computational logic, and data science applications. He holds a PhD (2014) and Diplom (MSc, 2010) from Free University of Bozen-Bolzano and TU Dresden, respectively. Research interests include large language models (LLMs), knowledge graph construction, and uncertainty quantification in natural language processing. His work bridges AI theory and practice, with publications at top venues like ACL and EMNLP. He teaches courses on LLMs and knowledge-aware AI, and has advised numerous collaborative projects across academia and industry. Prominent contributions include frameworks like GPTKB for LLM knowledge materialization and QUITE for Bayesian reasoning in NLP. His prior roles at Siemens IT and Globalfoundries inform his applied research focus. The International Center for Computational Logic (ICCL) at TU Dresden is his primary research hub, emphasizing interdisciplinary computational logic and AI advancements.

• Artificial Intelligence
• Strategic Reasoning in Multi-Agent Systems
• Formal Verification
• +۶ مورد دیگر

Aniello Murano is a Professor of Computer Science at the Department of Electrical Engineering and Information Technologies , University of Naples Federico II. He serves as Scientific Director of the ASTREA (Automated Strategic Reasoning) Laboratory and leads cutting-edge research in Artificial Intelligence, Strategic Reasoning, Multi-Agent Systems , and Formal Verification . Research Interests : Strategic reasoning under perfect/imperfect information, specification/verification/synthesis of reactive systems, temporal/modal logics, automata theory, parity games, game theory, mechanism design, and formal languages. Notable Projects : PNRR Research Unit Coordinator (2023-2025) on Resilient AI, PRIN 2020 Unit Coordinator (RIPER: Resilient AI-Based Self-Programming and Strategic Reasoning), H2020-MSCA SEAL (Principal Coordinator). Awards & Honors : JPMorgan Faculty Research Award (2022), Royal Society Award (2016), Best Paper PRIMA (2015), INDAM Project Leader (2023), Italian Scientific Habilitation (2017-2018). Students & Postdocs : Supervised 6 PhD students (e.g., Silvia Stranieri, Vadim Malvone) and mentored postdocs such as Munyque Mittelmann and Bastien Maubert. Laboratory : Leads ASTREA Lab, focusing on automated strategic reasoning and resilient AI systems.

Tobias Müllerمشاهده پروفایل

استاد

• Combinatorics
• Probability Theory
• Random Graphs
• +۵ مورد دیگر

Prof. Tobias Müller is a Professor at the Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence at the University of Groningen. His academic journey includes previous positions at Utrecht University, CWI (Centrum Wiskunde & Informatica), Tel Aviv University, and Eindhoven University of Technology, with a doctorate from the University of Oxford under Colin McDiarmid. His research focuses on combinatorics, probability theory, random graphs, percolation, discrete and stochastic geometry, and combinatorial game theory. He has contributed extensively to understanding complex networks, hyperbolic models, and geometric random structures. Research Interests: Random Graphs and Percolation Theory Discrete and Stochastic Geometry Hyperbolic Network Models Probabilistic Combinatorics Geometric Probability Graph Algorithms and Connectivity Notable Contributions: Analysis of Voronoi and Poisson-Voronoi percolation in hyperbolic planes. Studies on Mallows random permutations and their cycle structures. Research on component games and logical limit laws in graph theory. Investigations into the geometry and properties of random geometric graphs. Grants & Collaborations: Active in organizing workshops and conferences on random graphs and geometric networks, including the BIRS Workshop on Random Geometric Graphs and the STAR Workshops series. Labs/Teams: Member of the Bernoulli Institute’s research groups, focusing on stochastic studies, combinatorics, and algorithmic methods.

Raphaël Phanمشاهده پروفایل

استاد

• Security
• Cryptography
• Malicious AI
• +۵ مورد دیگر

Prof Raphaël Phan is a Professor and Deputy Head of the School of IT at Monash University Malaysia. His expertise spans security, cryptography, malicious AI, emotion recognition, motion analysis, and generative AI. He has published over 220 papers and led significant projects including privacy-preserving data mining funded by UK MoD and Malaysian government grants exceeding RM4 million. He co-designed the BLAKE hash function (SHA-3 finalist) and has an h-index of 50. Education: PhD in Cryptography (Multimedia University, 2005), MEngSci (2001), BEng (Hons) Computer Engineering (1999). Research focuses on adversarial AI, brain networks, and secure systems. Current projects include Æmbience: emotion-aware virtual assistants using motion magnification. Supervised 15 PhD graduates and 19 current students. Professional affiliations: Chartered Engineer (IET, UK), HEA Fellow, Board of Engineers Malaysia. Recent work emphasizes causal bias detection in micro-expressions, brain tumor detection via advanced YOLOv8, and generative adversarial networks for medical imaging. His work bridges cybersecurity with neuroscience applications.

Kunihiko Kanekoمشاهده پروفایل

استاد

• Theoretical Biophysics
• Complex Systems
• Chaos
• +۶ مورد دیگر

Kunihiko Kaneko is a Professor at the Niels Bohr Institute, University of Copenhagen, with a distinguished career in theoretical biophysics and complex systems. He received his PhD and MSc in Physics from the University of Tokyo, and has held leadership roles at the Universal Biology Institute and Center for Complex Systems Biology. PhD Physics, 1984 - University of Tokyo MSc Physics, 1981 - University of Tokyo His research spans five primary areas: Universal Biology, Evolutionary Constraints, Ecosystem Dynamics, Neural Cognition, and Universal Anthropology. He has published extensively on multi-level consistency principles, dimensional reduction in biological systems, and reciprocity between robustness and plasticity across scales. Recent publications show strong focus on microbial ecosystems (2025), evolutionary game theory (2025), neural modular architectures (2024), and dimensional reduction in cellular systems (2024). His work bridges physics and biology through dynamical systems theory applied to diverse phenomena from protocells to human societies.

• Databases
• Programming Languages
• Compilers
• +۷ مورد دیگر

Amir Shaikhha is an Associate Professor (Reader) in the School of Informatics at the University of Edinburgh. He was previously an Assistant Professor (Lecturer) at the same institution from 2020 to 2024 and a Departmental Lecturer at the University of Oxford until August 2020. He is also a Junior Research Fellow at University College, Oxford. His academic journey began with a Ph.D. from EPFL in 2018, where he was awarded the Google Ph.D. Fellowship in structured data analysis and a Ph.D. thesis distinction. His research centers on the design and implementation of data-analytics systems, drawing upon techniques from databases, programming languages, compilers, and machine learning. He develops high-performance systems such as SDQL.py, StructTensor, and VecHT, focusing on the compilation of data science workloads and optimization of tensor operations. His work bridges the gap between high-level abstractions and efficient execution, particularly in sparse and probabilistic computing domains. The recent publications highlight a strong trend in compiler-driven optimizations for data-intensive applications, including automatic differentiation, loop fusion, probabilistic programming, and domain-specific language (DSL) restaging. His research integrates machine learning for systems decisions and emphasizes reproducibility and performance. He has published consistently in top venues like PLDI, OOPSLA, SIGMOD, and CGO, reflecting sustained impact in programming languages and database systems. Dahl-Nygaard Junior Prize, 2025 Google Research Scholar Award, 2025 Most Influential Paper Award, GPCE 2024 Best Paper Award, GPCE 2017 Most Reproducible Paper Award, SIGMOD 2017 Google Ph.D. Fellowship, 2017 Amir Shaikhha has advised PhD students including Hesam Shahrokhi and has been nominated for Best Supervisor of the Year at the University of Edinburgh. He leads research projects that have received recognition and support through awards and grants, including the Google Research Scholar Award. He actively serves the community through program committees (e.g., GPCE, DBPL, DRAGSTERS), editorial roles, and peer review for premier journals. His leadership in organizing workshops and conferences underscores his role as a central figure in the programming languages and databases research communities. He leads a research group focused on compiler and database systems, with recent open-source releases such as StructTensor and VecHT. His team collaborates with researchers from institutions like MIT, EPFL, and TU Berlin, and he co-chairs workshops like Sparse@PLDI and DRAGSTERS. His lab emphasizes innovation in how data-intensive programs are compiled and executed efficiently across modern hardware.

Brian C. Williamsمشاهده پروفایل

استاد

• Artificial Intelligence
• Robotics
• Autonomous Systems
• +۴ مورد دیگر

Professor Brian C. Williams is a leading academic at the Massachusetts Institute of Technology (MIT) , holding the position of Professor of Aeronautics and Astronautics and directing the Autonomous Systems Laboratory (ASL) . He is also a member of the Computer Science and Artificial Intelligence Laboratory (CSAIL) and the Space Systems Laboratory (SSL) . His work focuses on advancing model-based autonomy, enabling robots to operate independently in extreme environments such as space, underwater, and urban traffic. His contact details include email williams@csail.mit.edu and phone 253-2739 . Education : S.B., S.M., and Ph.D. in Computer Science and Electrical Engineering from MIT (1989). Williams' research spans risk-bounded decision making , collaborative robotics , and neural-symbolic learning . He has pioneered systems like Remote Agent, which demonstrated autonomous self-repair in NASA's Deep Space One mission, and Geordi, a risk-aware driver assistant. His work integrates symbolic reasoning, probabilistic methods, and machine learning to create resilient robotic systems for space exploration, manufacturing, and transportation. The most recent publications highlight trends in risk-aware planning , multi-agent robotics , and stochastic control . Key innovations include tube-based trajectory optimization, conflict-directed task allocation, and theory-of-mind guided interventions, reflecting his focus on robustness in uncertain environments. Scientific Awards : NASA Space Act Award (1999), AAAI Fellow, and multiple best paper awards from AAAI, IJCAI, ICAPS, CDC, HRI, and ECAI. Williams leads the Model-Based Embedded and Robotics Systems Group at CSAIL, collaborating with institutions like NASA's Jet Propulsion Laboratory. His projects include ASIST (Artificial Social Intelligence for Teams), RADMAX (Risk and Deadline Aware Planning), and Uhura (risk-aware personal assistants), addressing challenges in health care, manufacturing, and defense applications.

Sebastijan Dumancicمشاهده پروفایل

استادیار

• Program Synthesis
• Probabilistic Programming
• Neuro-Symbolic AI
• +۲ مورد دیگر

Sebastijan Dumancic is an Assistant Professor at Delft University of Technology, focusing on neuro-symbolic AI through program synthesis and probabilistic programming. He leads the RAIL lab and collaborates with institutions like Harvard, MIT, and CNRS. His research bridges symbolic AI and machine learning, applying program synthesis to scientific discovery, transportation, and robotics. He holds an FWO-funded PhD from KU Leuven and has participated in initiatives like ELLIS and the Symbolic Computation and Machine Learning Initiative. Program synthesis Probabilistic programming Neuro-symbolic AI Constraint-based learning His recent articles highlight advancements in program synthesis, neuro-symbolic integration, and constraint satisfaction. Projects like Find2Fix and Intelligent Greenhouse Horticulture (funded by NWO) demonstrate practical applications. ELLIS Membership University Teaching Qualification He supervises numerous MSc and PhD students in projects involving logic programming, program synthesis, and probabilistic modeling. Active in workshops and symposia, he contributes to neuro-symbolic AI and scientific discovery.

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.

Danfeng Zhangمشاهده پروفایل

استاد

• Programming Languages
• Security
• Differential Privacy
• +۵ مورد دیگر

Danfeng Zhang is a faculty member at Duke University whose research sits at the intersection of programming languages and security. Active across the premier PL conferences since 2015, Zhang has served on more than two-dozen program committees and currently co-chairs the POPL Student Research Competition. Education & Affiliation: Home page: users.cs.duke.edu/~dz132 Affiliation: Duke University, United States Research Interests: Zhang’s work spans programming-language design, static and dynamic analysis, formal verification, and security. A recurring theme is developing language-based techniques that guarantee strong security and privacy properties—ranging from side-channel resistance and constant-time execution to differential-privacy proofs—while preserving performance and usability. His recent projects combine type systems, program logics, and automated reasoning to build practical verification tools for concurrent, speculative, and approximate software. Publication Trends: Across nine representative papers (2015-2024) Zhang has advanced static detection of cache side channels, automated proofs of differential privacy, and relaxed concurrency models. The trajectory shows deepening integration of security concerns into language infrastructure, with tool-building (CtChecker, SpecSafe, LightDP) that bridge formal guarantees and real-world systems. Service & Leadership: 2024 POPL Student Research Competition Co-Chair 2025 POPL Program Committee member Repeated reviewer/PC member: PLDI, SPLASH/OOPSLA, ISSTA, ECOOP, APLAS, PriSC, PASS Zhang regularly mentors student researchers through SRC sessions and workshop panels, fostering diversity and early-career participation in the programming-languages community.

Nir Orenمشاهده پروفایل

استاد

• Multi-Agent Systems
• Formal Argumentation
• Computational Trust Theory
• +۱ مورد دیگر

Professor Nir Oren is a faculty member at the School of Natural and Computing Sciences , University of Aberdeen. His research focuses on multi-agent systems , formal argumentation , computational trust theory , and norm-based reasoning . He currently supervises PhD students in Computing Science and serves as Dean for Research Performance. Research Specialisms: Artificial Intelligence, Operational Research Contact: n.oren@abdn.ac.uk Research Trends (2022–2025): Nir Oren's publications span argumentation theory , BDI agent modeling , resilience in autonomous systems , and human-machine collaboration . His recent work addresses responsibility-aware AI , medical explainability , and environmental sensor networks . Key methods include probabilistic reasoning , game theory , and logical formalisms .