جستجوی استاد راهنمای دانشگاهی

• Formal Methods
• Software Verification
• Concurrent Systems
• +۶ مورد دیگر

Thomas Henzinger is a Professor at the Institute of Science and Technology Austria (ISTA), where he leads the Henzinger Thomas Group focused on improving software reliability through mathematical methods. He previously served as ISTA's President (2009–2022) and held academic positions at EPFL, Max Planck Institute, UC Berkeley, and Cornell University. Education: Dipl.-Ing. in Computer Science (Johannes Kepler University, Austria), M.S. in Computer and Information Sciences (University of Delaware), PhD in Computer Science (Stanford University), and Honorary Doctorates from Fourier University (France) and Masaryk University (Czech Republic). The group's research spans concurrent systems , embedded systems , quantitative model checking , runtime monitoring , and trustworthy AI . They develop tools like HyTech and VAMOS, emphasizing predictability, robustness, and fairness in safety-critical software. Recent publications highlight trends in quantitative automata , fairness in AI , quantum algorithms , and automata theory , reflecting interdisciplinary applications from cyber-physical systems to neural networks. Collaborative projects include SPyCoDe (security foundations) and VAMOS (software monitoring). Honors & Awards: 2024 Fellow of the Royal Society 2020 Member, US National Academy of Sciences 2015 Royal Society Milner Award 2012 Wittgenstein Award 2006 ACM and IEEE Fellow 1995 NSF CAREER and ONR Young Investigator Awards Henzinger advises current and former PhD students including Mahyar Karimi, Pavol Kebis, and Mathias Lechner. His grants include ERC Advanced Grants (QUAREM, VAMOS) and FWF funding (Wittgenstein Award, NFN RISE). Labs & Teams: He leads the Henzinger Thomas Group at ISTA, collaborating with FORSYTE (TU Wien) and contributing to EU-funded initiatives. The group integrates postdocs, PhD students, and interns in formal methods and system verification.

Pierre Monninمشاهده پروفایل

پژوهشگر

• Knowledge Graphs
• Semantic Web
• Graph Embedding
• +۴ مورد دیگر

Pierre Monnin is a Junior Fellow in AI at Université Côte d'Azur , conducting research within the Wimmics team at the I3S Laboratory . He also teaches within the EFELIA Côte d'Azur program. His work spans multiple institutions through funded projects like SHACKLE (EU Horizon), ECLADATTA and AT2TA (ANR), with collaborations at Télécom Paris , Università di Bari , and INESC-ID in Lisbon. Previous roles include temporary lecturer at TELECOM Nancy (2023-2024) and researcher at Orange (2020-2023). Research Interests focus on the knowledge graph lifecycle (construction, matching, refinement, mining, discovery) from neurosymbolic AI and analogical reasoning perspectives. He explores Domain knowledge injection into ML models Symbolic-semantics for graph embeddings Zero-shot bootstrapping techniques Context-aware semantic annotation Link prediction with constraint enrichment Life sciences applications Recent scientific awards include: Best Paper Award at ESWC 2024 (Student & Resource Papers) Best Thesis Award from French Association EGC (2022) 1st Prize (Accuracy Track) at Semantic Web Challenge (2021) His teaching portfolio covers AI fundamentals for foreign languages, marketing, and adult education programs, with specialized courses in Semantic Web technologies NoSQL databases XML tools Compiler implementation He supervises multiple PhD students and interns on topics involving neurosymbolic refinement , knowledge reconciliation , and analogical reasoning . Key software contributions include: KGPrune - Web application for thematic Wikidata subgraph extraction PyGraft - Synthetic knowledge graph generation tool DAGOBAH UI - Semantic table interpretation interface He also maintains datasets like PGxLOD and YAGO4-LP for pharmacogenomics and link prediction.

Guido Zucconمشاهده پروفایل

استاد

• Information Retrieval
• Health Search
• Formal Models of Search
• +۱۵ مورد دیگر

Guido Zuccon is a Professorial Research Fellow at the School of Electrical Engineering and Computer Science , The University of Queensland (UQ), where he leads the Information Engineering Lab (ielab) . He serves as the AI Director for the Queensland Digital Health Centre (QDHeC) and is an Affiliate Professor at the UQ Centre for Health Services Research . He was previously a Lecturer and Senior Lecturer at Queensland University of Technology and a Postdoctoral Fellow at CSIRO. His research spans Information Retrieval , Health Search , Formal Models of Search , and Health Data Science , with a strong focus on consumer health search, cohort identification, clinical decision support, and systematic review automation. He has pioneered work on search interaction, semantic models, and the evaluation of retrieval systems in health contexts. His recent publications highlight a strong trend toward leveraging large language models (LLMs) for zero-shot retrieval, federated search, dense retrieval, and query formulation. His work integrates advanced neural methods with practical applications in healthcare, including systematic review automation and clinical AI. He frequently publishes at top venues such as SIGIR, ECIR, and WSDM, often in collaboration with key researchers like Bevan Koopman, Shengyao Zhuang, and Harry Scells. ARC DECRA Fellow (2018–2020) Best Paper Awards at AIRS 2017, CLEF 2016, ALTA 2015, ECIR 2012 Best Reviewer Award at ECIR 2014 Principal Investigator on ARC Discovery Projects and MRFF grants Guido Zuccon actively supervises a large cohort of PhD students, primarily in areas related to neural information retrieval, health search, and systematic review automation. He has led significant research projects funded by the ARC, Google, Microsoft, GRDC, and CSIRO. He is a key organizer of international evaluation labs such as the CLEF eHealth Consumer Health Search task and the TREC 2019 Decision Track. He leads the ielab , a vibrant research group focused on information retrieval and data science, and contributes to major open-source initiatives like Big Brother , a tool for logging user interactions in web studies.

• Artificial Intelligence
• Knowledge Graphs
• Semantic Technologies
• +۵ مورد دیگر

Dr Zhe Wang is a Senior Lecturer at the School of Information and Communication Technology, Griffith University, focusing on artificial intelligence, knowledge graphs, and semantic technologies. He earned his PhD in Computer Science from Griffith University (2011) and previously worked as a Research Fellow at the University of Oxford (2011-2013) on ontology-based systems. Research: Specializes in knowledge graph construction, rule mining for explainable AI, and integrating machine learning with logical reasoning. Led development of the scalable RLvLR rule-mining system and contributed to the HermiT ontology reasoner. Teaching: Instructs undergraduate and postgraduate courses including Introduction to Artificial Intelligence, Secure Development Operations, and Software Engineering Fundamentals. Grants: Funded by Australia's Economic Accelerator Ignite Grant (2025) for AI-driven marine life survey systems and Office of National Intelligence projects (2021-2022). Publications: Active in top venues like AAAI, ICASSP, and ISWC, with recent work on temporal knowledge graph reasoning, auction design algorithms, and neurosymbolic AI systems.

• AI Safety
• Reliability of AI Systems
• Testing of Digital Circuits
• +۱ مورد دیگر

Annachiara Ruospo is a Assistant Professor at the Department of Control and Computer Engineering (DAUIN) at Politecnico di Torino. She holds a Fixed-Term Researcher position under Italian Law 240/10, art.24-A, and is actively involved in teaching and research projects. Research Interests : AI Safety, Reliability of AI Systems, Testing of Digital Circuits, Statistical Reliability Investigations. Her recent research focuses on hardware reliability for AI systems , including fault injection methodologies, quantized neural networks, and side-channel vulnerabilities. She collaborates on EU-funded projects like REACT and commercial contracts such as TC4xx NVM Test Strategies . Scientific Awards : None explicitly mentioned. Supervised Students : Antonio Porsia (PhD candidate, Reliability and Security of AI-Based Systems) and Vittorio Turco (PhD candidate, Reliability Evaluation and Hardening of AI Accelerators). She contributes to AI hardware security through patents like A Shannon-Hartley-Based Approach to Measure the Criticality of Synaptic Weights and actively participates in conferences such as the IEEE Latin American Test Symposium and IEEE VLSI Test Symposium .

Marc Reichenbachمشاهده پروفایل

استاد

• Integrated Circuits
• Embedded Systems
• VLSI Design
• +۷ مورد دیگر

Prof. Dr.-Ing. Marc Reichenbach serves as the Chair of Integrated Systems at the Institute for Applied Microelectronics and Data Technology at the University of Rostock. His office is located at Albert-Einstein-Straße 26, 18059 Rostock, Room 102 (1st floor), with contact information including telephone (0381) 498 7270 and email marc.reichenbach@uni-rostock.de. Professor Reichenbach's research focuses on the intersection of hardware design and artificial intelligence, with particular expertise in memory technologies and computing architectures. His work spans several key areas: Development of specialized computer architectures for deep learning applications Advanced VLSI design and CPU architecture Emerging memory technologies, particularly RRAM (Resistive Random-Access Memory) FPGA-based acceleration systems Hardware implementations for neural networks and AI applications Analysis of Professor Reichenbach's recent publications (2023-2025) reveals a strong focus on memory computing technologies, particularly RRAM-based systems. His work demonstrates expertise across multiple dimensions of computer architecture including ASIC design, FPGA acceleration, and novel memory systems. The publications show a clear trajectory toward implementing AI and machine learning capabilities directly in hardware, with applications ranging from edge computing to satellite systems. A significant portion of his recent work addresses the challenges of implementing neural networks using emerging memory technologies, focusing on efficiency, reliability, and performance optimization. Professor Reichenbach teaches several advanced courses including: Computer architectures for deep learning applications Project seminar Embedded Systems Advanced VLSI Design (Advanced CPU Design) His research group appears to be actively engaged in several cutting-edge projects related to hardware acceleration for AI applications, memory computing, and embedded systems design. The group collaborates on projects involving digital twins for hardware systems, real-time operating systems for heterogeneous architectures, and specialized computing systems for various applications from medical devices to drone technology.

Adriana Iamnitchiمشاهده پروفایل

استاد

• Computational Social Science
• Social Media Analysis
• Misinformation Detection
• +۳ مورد دیگر

Adriana Iamnitchi is a Full Professor and Key Domain Chair for Computational Science at Maastricht University's Faculty of Science and Engineering, affiliated with the Department of Advanced Computing Sciences. Her research focuses on computational social science, social media dynamics, and misinformation detection. Her primary research interests include: Analysis of coordinated information campaigns across social platforms Development of LLM-based synthetic data generation for social media research Polarization quantification in multi-community networks Policy compliance frameworks for digital regulation (e.g., EU's Digital Services Act) Ethical AI applications for content moderation and transparency Her recent publications (2023-2025) demonstrate strong focus on: Cross-platform disinformation detection using multimodal embeddings Generative AI for synthetic social media datasets Quantitative analysis of toxicity monetization in creator economies Regulatory compliance automation for content transparency

Christopher L. Dancyمشاهده پروفایل

دانشیار

• Human-AI Interaction
• Computational Cognitive Science
• Black Studies
• +۳ مورد دیگر

Christopher L. Dancy is the Harold and Inge Marcus Industrial and Manufacturing Career Development Associate Professor at Pennsylvania State University, holding appointments in Industrial and Manufacturing Engineering, Computer Science and Engineering, and African American Studies. He directs the THiCC Lab and serves as an affiliate faculty member in the Institute for Computational and Data Sciences and the Center for Socially Responsible AI. His research lies at the intersection of human behavior, computational systems, and sociocultural structures. Drawing on theoretical perspectives from computational cognitive science and Black studies, he focuses on the racialization and antiblackness embedded in AI systems. His methodological toolkit includes computational cognitive modeling, human behavioral studies, and design considerations for socioculturally aware AI systems. Professor Dancy's publications highlight his expertise in integrating generative models with cognitive architectures, addressing systemic bias in AI, and developing frameworks for socially responsible AI. His work spans conferences like SBP-BRiMS and journals exploring computational models for social good.

Almut Sophia Koepkeمشاهده پروفایل

پژوهشگر

• Multi-Modal Learning
• Computer Vision
• Audio-Visual Processing
• +۳ مورد دیگر

Dr. Almut Sophia Koepke is a junior research group leader and TUM Junior Fellow at the Technical University of Munich (TUM) and University of Tübingen. She leads the multi-modal learning research group focusing on video understanding through sound, vision, and text integration. University: Technical University of Munich School: TUM School of Computation, Information and Technology Department: Informatics 9 Academic Rank: Researcher Her research spans multi-modal learning, audio-visual foundation models, and cross-modal attention mechanisms. Key themes include: Advancing zero-shot learning through language-guided audio-visual models Developing explainable AI systems via attention pattern translation in VQA Exploring temporal understanding in video-adverb retrieval Building robust multi-modal representations for self-driving applications Recent publications analyze foundation model capabilities in audio-visual tasks (ICCV 2025), temporal reasoning (ACMMM 2024), and cross-modal attention frameworks (ECCV 2022). She co-organizes CVPR workshops on foundation model evaluations and serves as area chair/reviewer for major conferences.

Cantay Caliskanمشاهده پروفایل

دانشیار

• Computational Social Science
• Computer Vision
• Generative AI
• +۶ مورد دیگر

Cantay Caliskan is an Associate Professor at the Goergen Institute for Data Science, University of Rochester. He teaches Data Mining, Statistical Machine Learning, and the Data Science Capstone courses in the undergraduate and graduate data science curriculum. Bachelor of Arts, Brandeis University Master of Arts, Koç University PhD in Political Science, Computer Science, and Statistics, Boston University (2018) His research focuses on computational social science, computer vision, and generative AI, with applications in deep learning, network analysis, and AI ethics in social contexts. His recent publications span interdisciplinary topics including: Geo-cultural bias in AI-generated urban models (SimCityNet) Comparative religious text analysis using LLMs (HalalLLM vs. KosherLLM) Political polarization metrics through social media interactions Article trends highlight AI's role in addressing social science challenges, from electoral geography to disaster response optimization. His work integrates natural language processing, dynamic network modeling, and cross-cultural analysis. He contributes to advancing accessible AI systems (ACROSS) and understanding misinformation dynamics. No scientific awards listed in available data.

• Hardware Security
• Embedded Systems
• Energy-Efficient Computing
• +۵ مورد دیگر

Mahdi Fazeli is an Associate Professor at the School of Information Technology, Halmstad University, Sweden, specializing in hardware security and trust, energy-efficient computing, and embedded and cyber-physical systems. His academic journey began with a Ph.D. in Computer Engineering from Sharif University of Technology, Iran, in 2011. His career progression includes positions as Associate Professor at Bogazici University (2019-2021) and Iran University of Science and Technology (2016-2019), and Assistant Professor at the same institution (2011-2016). His research interests focus on hardware security and trust, reliable VLSI circuits and systems, energy-efficient computing, and dependable embedded systems. His work bridges the gap between theoretical security concepts and practical implementations in real-world systems, particularly in IoT and embedded environments. He has established himself as a leading researcher in Physical Unclonable Functions (PUFs), hardware trojans detection, and energy-efficient security solutions for resource-constrained devices. His publication record shows a clear progression and deepening expertise in hardware security, with recent work focusing on cutting-edge applications in edge computing, vehicular networks, and IoT security. His 2023-2025 publications demonstrate significant contributions to magnetic memory-based security primitives, anomaly detection systems, and energy-efficient security mechanisms. Throughout his career, Fazeli has led multiple research initiatives including the Dependable Systems and Architecture Lab (DSA) and the Networked and Embedded Systems Lab at Iran University of Science and Technology. His leadership extends to heading the Hardware Group and serving as Vice Chair for Educational Affairs, demonstrating his commitment to both research excellence and academic administration.

• Software Architecture
• Technical Debt Management
• Self-Adaptive Systems
• +۴ مورد دیگر

Prof. P. (Paris) Avgeriou is a full professor of Software Engineering at the Faculty of Science and Engineering , University of Groningen (RUG). His research focuses on software architecture , technical debt management , and self-adaptive systems through empirical studies and industrial collaborations. His work explores architectural decision-making using financial investment models, machine learning for debt detection, and dependency analysis in software systems. Recent projects include SDK4ED for energy-efficient embedded systems and DebtViz for debt visualization. Key article trends include technical debt lifecycle analysis (2023-2025), self-adaptive systems (2025), and modular architecture challenges (2024). Keywords span Computer Science , Machine Learning , and Software Systems . As an ancillary academic activity , he serves as editor for the Journal of Systems and Software (Elsevier). His collaborations extend to institutions in the Netherlands, Brazil, and Italy, with research outputs appearing in IEEE and ACM venues.

• Space Robotics
• Control Theory
• Computer Vision
• +۴ مورد دیگر

Pedro Roque is a Postdoctoral Researcher at KTH Royal Institute of Technology in Stockholm, affiliated with the Wallenberg AI, Autonomous Systems and Software Program (WASP) and associated with the Division of Decision and Control Systems (DCS). He obtained his Ph.D. in 2024 from the same division under the supervision of Prof. Dimos Dimarogonas, Prof. Mikael Johansson, and Prof. Jana Tumova. His research focuses on practically applicable theoretical results in robotics and control, with emphasis on space and aerial systems. Dr. Roque is particularly interested in developing algorithms that directly contribute to system performance and enhanced capabilities. He currently leads the setup of a Space Robotics Laboratory at KTH, associated with the Space Center and the WASP NEST DISCOWER project. He is an advocate for open-source software and hardware, contributing to NASA Astrobee and PX4 projects, with his research tested on the International Space Station and indoor flight arenas. Dr. Roque's work demonstrates a clear progression from theoretical foundations to practical implementation in space environments. His recent publications show an increasing focus on multi-agent coordination in microgravity, with significant contributions to model predictive control for space robotics applications. The research spans from fundamental control theory to complete system implementation, reflecting his commitment to bridging theory and practice. ICRA 2022 Outstanding Coordination Award for work on decentralized model predictive control for collaborative UAV bar transportation Dr. Roque actively mentors Master's students in Space Robotics, Control, and Vision, with supervision details available on his personal website. He has collaborated extensively with NASA Astrobee and PX4 projects, and his DISCOWER project involves collaboration with 3 Ph.D. students, 2 Master's students, 6 Professors, and one Post-doc. He also completed a 4-month internship at JPL within the Maritime and Multi-Agent Systems group. He leads the Space Robotics Laboratory at KTH, associated with the Space Center and the WASP NEST DISCOWER project, which has already demonstrated capabilities to Digital Futures, SAAB AB, SAAB Inc., and Purdue scholars. The laboratory focuses on weightless robotics, collaborative robotics (Space Cobot), and exploration robotics (MoonHopper), with practical testing on the International Space Station.

Yikun Banمشاهده پروفایل

دانشیار

• Reinforcement Learning
• Data Mining
• Neural Networks
• +۷ مورد دیگر

Yikun Ban is a tenure-track Associate Professor in the School of Computer Science and Engineering at Beihang University, where he is a member of the State Key Laboratory of Software Development Environment. He earned his PhD in Computer Science from the University of Illinois Urbana-Champaign (2023), MS in Computer Science from Peking University (2019), and BS in Software Engineering from Wuhan University (2016). PhD: University of Illinois Urbana-Champaign (2023) MS: Peking University (2019) BS: Wuhan University (2016) His research focuses on principled algorithms for reinforcement learning with human feedback, neural contextual bandits, and exploration-exploitation problems. He develops frameworks combining deep learning with bandit theory for applications in recommendation systems, disinformation detection, and dynamic graph learning. Recent publications address: Robust neural contextual bandits (NeurIPS 2024) Graph neural bandits (KDD 2023) Meta-learning for bandit scheduling (NeurIPS 2023) Clustering in contextual bandits (WWW 2021, AAAI 2021) Honors include the NeurIPS Scholar Award and recognition as ICML Outstanding Reviewer . His open-source LOCB repository provides Python implementations for contextual multi-armed bandit algorithms with local clustering, supporting applications in recommendation systems and online learning.

• Machine Learning
• Statistical Methodology
• Computational Biology
• +۵ مورد دیگر

Eric P. Xing is a Professor at the Language Technologies Institute of Carnegie Mellon University , and currently serves as President of the Mohamed bin Zayed University of Artificial Intelligence . His work bridges machine learning methodology with computational biology and large-scale AI systems . Research Focus: Developing machine learning theory for high-dimensional, dynamic data Building foundation models for biology (AIDO, scLong, ProteinAligner) Designing scalable AI architectures (Pollux, LLM360, PAN) Advancing interpretable and controllable NLP systems Scientific Leadership: Founded the SAILING Lab at CMU Co-chaired ICML 2014 and ICML 2019 Recipient of the Jay Lepreau Best Paper Award (OSDI 2021) Education & Mentorship: Advises PhD students across machine learning and computational biology Alumni include faculty at ETH Zurich, University of Chicago, and UC San Diego