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

Robert West is an Associate Professor at EPFL (École polytechnique fédérale de Lausanne) in the School of Computer and Communication Sciences , leading the Data Science Lab (dlab) . His research focuses on Natural Language Processing , Machine Learning , and Computational Social Science , analyzing human-generated data from the web, social media, and online platforms. Education : PhD in Computer Science (2016) - Stanford University MSc in Computer Science (2010) - McGill University BSc in Computer Science (2007) - Technische Universität München Research Interests : West develops algorithms for analyzing large-scale web data, with emphasis on multilingual NLP , social network analysis , and AI ethics . His work bridges machine learning with social science to understand digital human behavior. Scientific Awards : ICWSM’22 Adamic–Glance Distinguished Young Researcher Award Google Faculty Research Award Facebook Research Award Multiple Outstanding Paper Awards at ICWSM and WWW Advising & Grants : He advises 12 PhD students and has secured funding from the Swiss National Science Foundation , Swiss Data Science Center , and industry partners. His lab maintains collaborations with Microsoft Research and CROSS . Labs & Collaborations : West leads the Data Science Lab at EPFL, which focuses on web-scale data analysis , privacy-preserving machine learning , and AI for social good . The lab develops tools like Wikispeedia and Quotebank for public data exploration.

• Natural Language Processing (NLP)
• Machine Learning
• Computational Social Science
• +۴ مورد دیگر

Paolo Ienne is a Professor at the Swiss Federal Institute of Technology in Lausanne (EPFL), where he leads the Processor Architecture Laboratory (LAP) within the School of Computer and Communication Sciences. His research focuses on advancing reconfigurable computing systems through innovative FPGA architectures and high-level synthesis methodologies. His primary research domains include reconfigurable computing, FPGA architecture design, dynamically scheduled dataflow circuits, and hardware acceleration techniques. Recent work emphasizes memory system optimization for FPGAs, formal verification of circuit transformations, and rapid C-to-hardware compilation flows. He has pioneered approaches for handling thousands of outstanding memory misses in FPGA accelerators and developed novel techniques for switch-block exploration without explicit pattern enumeration. Analysis of his 2023-2025 publications reveals a strong trend toward practical FPGA deployment challenges, with increasing focus on HBM integration, virtual memory systems for PCIe-attached devices, and formally verified circuit transformations. His work consistently targets real-world bottlenecks in high-level synthesis toolchains while maintaining theoretical rigor in dataflow architecture design. Professor Ienne's laboratory receives support from the Swiss National Science Foundation and industry partners including Huawei, enabling cutting-edge research in FPGA-based acceleration. His collaborative network spans major semiconductor companies and academic institutions worldwide, with frequent co-authorship on conference proceedings and journal publications in IEEE and ACM venues.

• Reconfigurable Computing
• Field-Programmable Gate Arrays (FPGA)
• High-Level Synthesis
• +۳ مورد دیگر

Carlo Alberto Furia is an Associate Professor and Vice Dean at the Faculty of Informatics, Università della Svizzera italiana (USI). He is affiliated with the Software Institute, where he leads the ATOM research group. His academic journey includes prior roles as an Associate Professor at Chalmers University of Technology and a Senior Researcher at ETH Zurich’s Chair of Software Engineering. PhD in Computer Science, Politecnico di Milano Master of Science in Computer Science, University of Illinois at Chicago Laurea in Computer Science and Engineering, Politecnico di Milano His research centers on formal methods for software engineering, aiming to enhance software correctness, reliability, and quality through rigorous techniques. Key areas include automated program verification, contract-based development, loop invariant inference, and empirical evaluation using Bayesian data analysis. He emphasizes practical applicability and automation in formal methods. His recent publications reflect a strong focus on program analysis at the bytecode level, multilingual software analysis, automated repair of Android security issues, and empirical methodologies. These works span topics such as JVM substitutability, exception behavior in Java bytecode, and information flow security, demonstrating a consistent thread in improving software robustness through formal and automated techniques. He is actively involved in the software engineering research community as an Associate Editor of the Empirical Software Engineering (EMSE) journal and as a Program Committee member for major conferences including FASE, FM, ASE, ICSE, and CauSE. Carlo Furia has advised multiple research projects and supervised student theses. He has led and contributed to funded research initiatives, particularly in program analysis and verification. His group has developed tools such as AutoProof and other software artifacts available through the ATOM software page. He regularly teaches courses such as Software Analysis, Programming Fundamentals, and Software Design & Modeling. He leads the ATOM research group, which focuses on advancing automated techniques for software testing, analysis, and verification. The group develops practical tools and conducts empirical studies to validate research outcomes.

• Formal Methods
• Software Engineering
• Software Verification and Validation
• +۷ مورد دیگر

Zhendong Su is a full professor in the Department of Computer Science at ETH Zurich since August 2018. Previously, he held a full professorship at UC Davis from 2003 until June 2019. He earned his Ph.D. in Computer Science from UC Berkeley and dual Bachelor’s degrees in Computer Science and Mathematics from UT Austin in 1995. Affiliations: ETH Zurich: Full Professor (since 2018) UC Davis: Full Professor and Chancellor’s Fellow (2003–2019) IEEE Fellow, ACM Fellow, and Member of Academia Europaea His research focuses on programming languages, compilers, software engineering, computer security, and education technologies . Key contributions include compiler validation (e.g., Project Yin-Yang for SMT solvers and DBMS testing), testing tools like SQLancer, and educational innovations such as the Algot visual programming language. Recent work emphasizes secure AI (e.g., CipherSteal for TEE-shielded models) and compiler reliability (e.g., Artemis/Apollo for JIT validation). He has pioneered techniques like metamorphic testing and equivalence modulo inputs (EMI) for compiler validation, uncovering thousands of bugs in GCC/LLVM and SMT solvers. Awards: ICSE MIP Award (2022), ACM SIGSOFT Impact Paper (2018), NSF CAREER Award, and multiple industrial awards. His students have won IEEE TCSE Rising Star and SIGSOFT Impact Paper awards, securing roles at top universities and companies like Google and NVIDIA. Service: Steering committee member of ISSTA and ESEC/FSE, ACM Distinguished Speaker, and Associate Editor for ACM TOSEM. Program chaired ISSTA 2012 and co-chaired FSE 2016. Labs/Teams: Leads research groups on compiler validation, secure AI, and education technologies. Projects include Yin-Yang (SMT testing), SQLancer (DBMS fuzzing), and Algot (visual programming for education).

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

Nathalie Pignard-Cheynel is a Full Professor of Journalism and Digital Communication at the University of Neuchâtel since 2020, where she leads cutting-edge research on digital transformations in journalism. Previously, she held academic positions at the University of Neuchâtel (Assistant Professor, 2016-2020), University of Lorraine (2013-2016), and Grenoble 3 University (2005-2013), where she earned her doctorate in Information and Communication Sciences (2004). Doctorate in Information and Communication Sciences, University of Grenoble 3 (2004) Full Professor of Journalism and Digital Communication, University of Neuchâtel (2020-present) Assistant Professor in Digital Journalism, University of Neuchâtel (2016-2020) Lecturer in Information and Communication Sciences, Grenoble 3 University (2005-2013) Her research focuses on: Mutations in journalistic practices during digital transformations Social media usage by journalists, media, and audiences Participatory journalism and media-audience relationships Journalism and data practices Disinformation content dissemination and reception Platformization of information and algorithmic roles Digital formats analysis in journalism She has led multiple funded research projects including: PANDA (2023-2026, CHF 499,986) on pandemic data communication #sad2 (2021-2022, CHF 138,460) on disinformation architectures LINC (2018-2021, CHF 184,586) on local journalism innovation International collaborations on pandemic communication and digital media Her teaching includes: Digital technology courses for economics students NewsLab projects for journalism master's students Advanced seminars on digital media and communication Innovative journalistic format production She serves in leadership roles for: President of the Scientific Council, Initiative for Media Innovation (2018-2022) Board Member, Hirondelle Foundation (2021-present) Editorial Board Member, Cahiers du journalisme (2020-present) Qualis Commission, University of Neuchâtel (2019-present)

• Digital Journalism
• Social Media Communication
• Audience Engagement
• +۳ مورد دیگر

Desmond Elliott is an Associate Professor and Villum Young Investigator at the Department of Computer Science, University of Copenhagen. His research focuses on vision-language models, multilingual and multimodal processing, with particular emphasis on tokenization-free language modeling approaches. He leads a research group actively working on pixel language models and cross-lingual multimodal understanding. University of Copenhagen, Department of Computer Science Villum Young Investigator Associate Editor for JAIR (2025-2028) Senior Area Chair for ACL 2025 Elliott's research spans vision-language integration, multilingual NLP, and multimodal machine learning. His work explores how language models can operate directly on visual pixels without traditional tokenization, enabling more seamless integration of vision and language processing. He investigates compositional generalization in multimodal systems, retrieval-augmented image captioning, and cross-lingual transfer in vision-language tasks. His group develops methods for low-resource language processing and creates benchmarks for evaluating multimodal systems across diverse cultural contexts. His recent publications demonstrate strong trends in pixel-based language modeling, synthetic dataset generation through retrieval augmentation, and multilingual vision-language processing. The work spans theoretical advances in model architectures and practical applications in areas like medical text analysis, food culture understanding, and social media content moderation. His research often bridges computer vision and natural language processing with a focus on making these technologies accessible across diverse languages and cultures. Best Paper Honorable Mention at CVPR Visual Concepts Workshop 2025 Best Long Paper Award at EMNLP 2021 Area Chair Favourite paper at COLING 2018 Elliott actively supervises student projects in BSc and MSc programs related to his research interests. His research has received substantial funding from Google (2024-2025), Facebook (2022-2024), Villum Foundation (2021-2026), Novo Nordisk Foundation (2019-2024), and European Union (2023-2026). He regularly recruits postdocs for projects including the Danish Foundation Models project and the Responsible AI for the People Project. His group holds regular meetings on Tuesdays from 13:00-14:00 in IF G.03, with an active mailing list for announcements. The research environment appears collaborative, with frequent co-authorship across institutions and regular participation in major NLP and computer vision conferences.

• Vision-Language Models
• Multimodal Machine Learning
• Natural Language Processing
• +۵ مورد دیگر

Isabelle Augenstein is a Professor at the University of Copenhagen's Department of Computer Science, where she leads the Copenhagen Natural Language Understanding (CopeNLU) research group and the Natural Language Processing section. She became Denmark's youngest female full professor in 2022 and co-leads the Danish Pioneer Centre for Artificial Intelligence's Speech and Language collaboratory. ERC Starting Grant recipient DFF Sapere Aude Research Leader fellow Karen Spärck Jones Award winner Hartmann Diploma Prize recipient Her research focuses on fair and accountable NLP systems, with specific emphasis on explainability, factuality, bias detection, and social NLP. She investigates cultural biases in language models, develops frameworks for explainable fact checking, and explores uncertainty estimation in NLP systems. Recent publications demonstrate expertise in: Mechanistic analysis of cultural bias representations Context utilization techniques for LLMs Explainability metrics and attribution methods Cross-domain label adaptation Retrieval-augmented generation Fact checking uncertainty quantification Major scientific contributions include: Numerous EMNLP and ACL publications Foundational work on stance detection Development of fact checking benchmarks Multilingual model analysis AI ethics frameworks She supervises a team of researchers working on explainable AI and fact checking systems, with current projects including the ExplainYourself ERC-funded initiative on explainable fact checking. Her group recently presented multiple papers at EMNLP 2025 on topics spanning explainable AI and social NLP.

• Natural Language Processing
• Machine Learning
• Explainable AI
• +۴ مورد دیگر

Jordan Boyd-Graber is a Professor in the Department of Computer Science at the University of Maryland's College of Computer, Mathematical, and Natural Sciences. He serves as a leading researcher in Natural Language Processing with significant contributions across multiple NLP subfields. His work bridges theoretical advances with practical applications requiring human-AI collaboration. His research interests span Natural Language Processing , Question Answering systems , Human-AI collaboration , Machine Translation , and Topic Modeling . He focuses on developing systems that work effectively with humans rather than replacing them, emphasizing interpretability and user-centered design. His work often involves creating evaluation frameworks that better capture real-world utility rather than just technical metrics. His publication record shows consistent leadership in the field, with numerous papers at top venues including ACL, EMNLP, and NAACL. Recent work (2023-2024) demonstrates strong engagement with LLMs, human evaluation methodologies, and practical applications in health and translation domains. His research often involves student collaborators, indicating active mentorship. ACL Fellow (2021) Program Chair for ACL 2023 Organizer of prompt hacking competition Leader in human-centered NLP evaluation Boyd-Graber has secured substantial funding for his research, particularly in projects involving human-AI collaboration and question answering systems. His work often involves interdisciplinary teams spanning computer science, linguistics, and domain-specific applications. He has mentored numerous graduate students who have gone on to successful careers in academia and industry. He leads research groups focused on developing interpretable NLP systems that work effectively with humans, particularly in high-stakes domains like healthcare and education. His lab frequently develops novel evaluation methodologies that better capture real-world utility rather than just technical metrics.

• Natural Language Processing
• Question Answering
• Human-AI Collaboration
• +۷ مورد دیگر

Prof. Bernd Domer is an Associate Professor at the Geneva School of Landscape, Engineering and Architecture (HES-SO) specializing in Building Information Modeling (BIM) , Geographic Information Systems (GIS) , and digital transformation of civil engineering . He leads multiple ongoing research projects including CU_OFROU_PAB (CHF278,844) focused on BIM-GIS workflows for noise barriers, and SousEtoile (CHF50,000) developing subsurface prediction models for urban planning. His work addresses critical challenges in software interoperability and point cloud processing for infrastructure digital twins. BA HES-SO in Architecture (HEPIA) BSc Civil Engineering (EPFL) BSc HES-SO in Civil Engineering (HEPIA) MSc HES-SO in Engineering (HES-SO Master) His research explores digital workflows for infrastructure projects, with over 15 recent publications examining topics like: Semantic segmentation of point clouds (2024) IFC standard optimization (2023) Underground confidence level modeling (2021) Swiss BIM implementation frameworks (2020) Construction waste management platforms (2018) He serves as Head of the MIC Group and co-directs the CAS in BIM Coordination . Active in international committees like EG-ICE and Bauen digital Schweiz , his work bridges academic research with practical implementation through collaborations with HEPIA , HEIG-VD , and institutions like the Swiss Federal Roads Office (OFROU) .

• Building Information Modeling (BIM)
• Geographic Information Systems (GIS)
• Digital Twin Technology
• +۳ مورد دیگر

Dr. David Cock is a Senior Lecturer and Senior Researcher at ETH Zürich's Department of Computer Science, affiliated with the Systems Group. He holds a PhD from UNSW (2014) and a B.Sc. (hons) from UNSW (2004). His research focuses on formal verification, trustworthy systems, and hardware-software co-design, with notable contributions to projects like Enzian (a CPU/FPGA platform) and seL4 (formally verified kernel). He teaches Advanced Operating Systems and Informal Methods courses. Key achievements include the ACM Software System Award (2022) for seL4 and leadership in projects addressing hardware complexity and security. Research interests include formal methods for hardware modeling (Sockeye project), runtime verification, and mitigating timing channels. His work bridges theoretical foundations with practical systems, emphasizing secure and reliable computing platforms. Projects like Trustworthy BMC aim to enhance baseboard management systems' assurance. Collaborations span academia and industry, with open-source contributions to hardware designs and formal tools. Publications span formal verification, hardware modeling, and secure systems, with recent focus on heterogeneous computing and declarative hardware specifications. Teaching emphasizes practical formal techniques and OS design, leveraging real-world hardware (e.g., Barrelfish). His lab, the Systems Group, explores cutting-edge challenges in systems software and architecture.

• Formal Verification
• Operating Systems
• Hardware-Software Co-Design
• +۳ مورد دیگر

Sahar Abdelnabi is an AI Security Researcher at Microsoft and will join the ELLIS Institute Tübingen as a Faculty/Principal Investigator. She is co-affiliated with the Max-Planck Institute for Intelligent Systems and Tübingen AI Center , leading the COMPASS Research Group focused on safe, aligned, and steerable AI agents with emphasis on security, human-AI interaction, and cooperative systems. Her research spans three pillars: (1) Probing AI failures through biases, emergent risks, and misuse scenarios; (2) Developing defenses like white-box control methods and reasoning enhancements; and (3) Leveraging AI for societal good through scientific discovery. Key contributions include coining indirect prompt injection vulnerabilities (2023), pioneering generative AI watermarking (2020), and receiving the ACL2025 Best Paper Award for work on LLM sampling heuristics. PhD in Computer Science (2019-2024) from CISPA Helmholtz Center , advised by Prof. Dr. Mario Fritz MSc in Computer Science from Saarland University Research Highlights Her work bridges AI security and safety with sociopolitical implications, focusing on prompt injection , cooperative multi-agent systems , and contextual integrity . She has been recognized by policymakers and industry leaders, including NIST , OWASP , and Microsoft's AI Bug Bounty Program . Scientific Awards Best Paper Award at ACL2025 Best Paper Award at AISec'23 Workshop Spotlight Paper at NeurIPS Datasets and Benchmarks 2024 Academic Leadership She actively contributes to the AI and security communities through: Program Committee: IEEE S&P (2026) , SaTML (2024-2026), USENIX Security (2025) Organized IEEE SaTML'25 LLMail-Inject Challenge Reviewed for top conferences: ICLR , NeurIPS , CVPR

• AI Security
• AI Safety & Alignment
• Cooperative AI
• +۶ مورد دیگر

Francesco Regazzoni is a Senior Researcher at the Faculty of Informatics, Università della Svizzera italiana (USI), and affiliated with the Dalle Molle Institute for Artificial Intelligence (IDSIA USI-SUPSI). His work bridges embedded systems, cybersecurity, and artificial intelligence, with a focus on securing hardware and cyber-physical systems. Research Interests: His expertise spans embedded and cyber-physical systems security, side-channel attacks, post-quantum cryptography, hardware trojans, random number generators, and the security of AI and approximate computing. He also contributes to hardware/software co-design and operating systems security. The analysis of his recent publications reveals a consistent focus on hardware and system-level security , particularly in resource-constrained environments like IoT and embedded devices. His work integrates machine learning for attack detection and applies formal methods to ensure trust in hardware. A growing emphasis is placed on securing AI systems from physical and adversarial threats. Scientific Contributions: Over 100 peer-reviewed publications One book and one patent Extensive international collaboration (Belgium, Netherlands, USA, Switzerland, Singapore) Advising and Grants: While specific advisees and grants are not listed, his leadership in funded research projects and involvement with ALaRI and IDSIA suggest active mentorship and project coordination. His work has been supported by industry (e.g., ST Microelectronics, HP), the Swiss National Foundation, and the European Union. Labs and Teams: He is part of the Graph Machine Learning Group (GMLG) at IDSIA, which evolved from the Advanced Learning and Research Institute (ALaRI). This group focuses on graph machine learning, reinforcement learning, and dynamical systems, particularly in non-stationary environments.

• Security
• Embedded Systems Security
• Cyber-Physical Systems Security
• +۱۳ مورد دیگر

Mohammad Aliannejadi is an Assistant Professor at the Information Retrieval Lab (IRLab) within the Informatics Institute at the University of Amsterdam. His research focuses on conversational search systems, information retrieval, and recommender systems, with an increasing emphasis on Large Language Model applications in IR. He obtained his PhD from the Faculty of Informatics at Università della Svizzera italiana (USI) in Lugano, Switzerland, and completed his MSc at Tehran Polytechnic in Iran. His research interests span conversational search systems, clarification question generation, mobile search, cross-market recommendation, and point-of-interest recommendation. Dr. Aliannejadi has made significant contributions to understanding how users formulate information needs in conversational settings and how systems can effectively respond through clarification mechanisms. His work bridges theoretical IR concepts with practical implementations, particularly in mobile contexts where information needs often evolve rapidly. His recent publications show a clear trend toward leveraging Large Language Models for conversational search evaluation, query understanding, and performance prediction. The 15 most recent articles demonstrate his leadership in adapting traditional IR techniques to the LLM era, with particular focus on efficient and effective conversational search systems that can handle complex user information needs through natural dialogue. Dr. Aliannejadi is deeply embedded in the IR community through extensive service activities. He has served as Program Co-Chair for ICTIR 2023, Tutorial Co-chair for ECIR 2024, and Lab Co-Chair for CLEF 2023. He regularly organizes workshops such as XMRec, SCAI, and MICROS, and has been a SIGIR Student Liaison. His service extends to program committees for major conferences including SIGIR, ACL, WSDM, and ECIR, and as a reviewer for journals like TOIS and TKDE. His leadership extends to organizing significant academic events including the 15th European Summer School in Information Retrieval (ESSIR 2024) and serving on the Program Committee for the Bachelor Program in AI at UvA. His lab, IRLab (formerly ILPS), focuses on developing innovative approaches to information access through conversational interfaces and advanced retrieval techniques.

• Conversational Search Systems
• Information Retrieval
• Recommender Systems
• +۷ مورد دیگر

Barbara Weber is a Full Professor of Software Systems Programming and Development and Vice President at the University of St. Gallen . She leads research in the Institute of Computer Science (ICS-HSG) , focusing on interdisciplinary applications of process mining, IoT integration, and cognitive aspects of software systems. Her work bridges computer science, business process management, and human-centered design. Education Background: Doctorate in Computer Science (university not specified in text) Research Interests: Process Mining Methodologies & Tool Development IoT-Driven Process Analytics Cognitive Load Analysis in Process Models Human-Computer Interaction in Software Systems Declarative Process Modeling & Modularization Key Contributions: Weber's research emphasizes practical applications of process mining in real-world systems, including IoT integration for smart factories and cognitive workload assessment via eye-tracking. She advocates for user-centric design principles in both software tools and business process frameworks. Labs & Teams: Active in the Institute of Computer Science (ICS-HSG) , where she collaborates on projects such as ProAmbitIon (process conformance checking) and LogView (process mining inquiry validation).

• Process Mining
• IoT (Internet of Things)
• Cognitive Science
• +۳ مورد دیگر

Patrick Eugster is a full professor at the Università della Svizzera italiana (USI) and leads the Software Systems (SWYSTEMS) group within the Computer Systems Institute . He has held academic positions at Purdue University, TU Darmstadt, and MIT as a visiting faculty. His research focuses on distributed software systems , addressing challenges in consistency, efficiency, and security in decentralized environments. Current affiliation: USI Faculty of Informatics Prior affiliations: Purdue University (2005-2016), TU Darmstadt (2014-2017), MIT (2012/2013) Research Interests Distributed Systems : Investigating reliable failure detection, deterministic data paths for 6G, and hybrid synchronous/asynchronous architectures. Network Innovation : Optimizing TCAM encoding, analyzing microbursts, and developing quantum network protocols. Security & Verification : Creating confidentiality-preserving mechanisms and formal verification approaches for distributed software. Scientific Contributions 2025: Best paper at TACAS on Horn clause validation 2025: IFIP Jean-Claude Laprie Award for dependable computing 2024: Key papers at IEEE Network, ACM PLDI, and IEEE INFOCOM Funding & Collaborations Swiss National Science Foundation grants #200021_197353 and #200021_192121 EU Horizon Europe MSCA staff exchange project CloudStars Industry partners: Cisco, Amazon AWS, Facebook Research, SAP, Northrop Grumman Cybersecurity Research Consortium Labs & Teams Directs the SWYSTEMS group, which includes postdocs like Sina Darabi and Shamiek Mangipudi, PhD students such as Anita Buckley and Jérôme Graf, and alumni who have become faculty at institutions like Télécom Paris and University of Southern California.

• Distributed Software Systems
• Network Function Virtualization
• Formal Verification
• +۳ مورد دیگر