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

Franz Franchettiمشاهده پروفایل

استاد

• High-Performance Computing (HPC)
• Parallel Computing
• Algorithm and Hardware Co-Synthesis
• +۵ مورد دیگر

Franz Franchetti is the Kavčić-Moura Professor of Electrical & Computer Engineering at Carnegie Mellon University. He serves as Associate Dean for Research and Director of the Engineering Research Accelerator at CMU. Education: Ph.D. in Computational Mathematics (Vienna University of Technology, 2003) M.Sc. in Technical Mathematics (Vienna University of Technology, 2000) His research interests focus on automatic performance tuning and program generation for emerging parallel computing platforms , including multicore CPUs , GPUs , and 3DIC chip design . He leads the SPIRAL effort to automate highly optimized software libraries and explores domain-specific compiler transformations in HPC applications for smart grids and material sciences . Recent work extends SPIRAL to quantum computing . The scientific awards Franchetti has received include the Gordon Bell Prize (2006) , HPC Challenge Class II Award (2010) , and the CIT Dean's Early Career Fellowship (2013) . He and his students have won multiple Best Paper Awards at HPEC, DAC, and ISPA ACM TODAES Best Paper (2014) Student Research Competition wins (PACT 2024, CGO 2023) Franchetti has advised students like Richard Veras and Thom Popovici . He has secured significant grants from agencies such as DARPA, DOE, NSF, and industry partners (Intel, NVIDIA, Mercury). He co-founded SpiralGen, Inc. and holds leadership roles in organizations like ASciNA Western Pennsylvania and as Honorary Consul of Austria in Pittsburgh.

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

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.

Mohsen Lesaniمشاهده پروفایل

دانشیار

• Reliability of software systems
• Security of software systems
• Concurrent systems
• +۱۲ مورد دیگر

Mohsen Lesani is an Associate Professor in the Computer Science and Engineering Department at the University of California, Santa Cruz's Baskin School of Engineering. His research focuses on reliability and security of software systems, particularly concurrent and distributed systems, with recent emphasis on secure replicated systems and distributed machine learning. Dr. Lesani received his PhD from UCLA, MS in artificial intelligence from Sharif University of Technology, and BS in software engineering from University of Tehran. He was previously a postdoc at MIT. His educational background provides a strong foundation for his interdisciplinary research spanning programming languages, distributed systems, and security. His research interests center on creating reliable and secure distributed systems. Current projects include resilient and secure distributed systems, heterogeneous and reconfigurable secure distributed systems, automatic analysis and synthesis of replicated objects, verification of distributed systems, data analytics, secure exchange across blockchains, machine learning for performance models, domain-specific languages and type systems, and automatic fence insertion for concurrent systems. His work bridges theoretical foundations with practical implementations to address real-world challenges in distributed computing. Lesani's research has been recognized with several prestigious awards including the NSF CAREER award in 2020 and DARPA YFA award in 2022. His work has also received the SIGPLAN Research Highlight in 2019, a distinguished paper award at OOPSLA 2018, and a best paper award at ISSRE 2015. These accolades reflect the impact and quality of his contributions to the field. He actively mentors PhD students in the Safe and Secure Software (S3) lab, including Xiao Li, Eric Chan, Javad Saber-Latibari, and Tejas Mane. His research has been supported by multiple NSF grants, demonstrating sustained funding for his innovative work. Lesani serves on program committees for major conferences including POPL, PLDI, OOPSLA, and DISC, contributing to the academic community. Lesani leads the Safe and Secure Software (S3) lab at UC Santa Cruz, where his team works on cutting-edge research in distributed systems, programming languages, and security. The lab fosters a collaborative environment where theoretical insights are translated into practical systems that address real-world challenges in reliability and security of distributed applications.

Olivia Di Matteoمشاهده پروفایل

استادیار

• Quantum Computing
• Quantum Software Engineering
• Quantum Compilation
• +۵ مورد دیگر

Olivia Di Matteo serves as an Assistant Professor in the Department of Electrical and Computer Engineering within UBC's Faculty of Applied Science, leading the Quantum Software and Algorithms Research (QSAR) group since her January 2022 appointment. Her academic foundation includes a BSc from Lakehead University and MSc/PhD in Physics (Quantum Information) from the University of Waterloo, completed in 2019. Dr. Di Matteo's research centers on quantum software engineering , with pioneering work in quantum compilation , circuit optimization , and debugging tools . She champions open-source quantum frameworks and develops accessible educational resources to democratize quantum computing. Analysis of her 15 most recent publications (2021-2025) reveals dominant trends in quantum programming infrastructure, particularly circuit analysis (33%), bug classification (20%), and qubit network optimization (15%), with strong emphasis on practical software tooling over theoretical physics. No scientific awards were documented in the source materials. She advises graduate students in the QSAR group while contributing to open-source quantum ecosystems through projects like PennyLane and The Ionizer transpiler, and teaches courses including CPEN 400Q (Gate-model quantum computing) and ELEC 221 (Signals and Systems). The QSAR group operates at the intersection of quantum software development and education, focusing on making quantum programming accessible through visual tools, real-time debugging environments, and hardware-agnostic compilation techniques.

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.

Caroline Trippelمشاهده پروفایل

استادیار

• Computer Architecture
• Hardware Security
• Formal Methods
• +۵ مورد دیگر

Caroline Trippel is an Assistant Professor in the Departments of Computer Science and Electrical Engineering at Stanford University. Her research focuses on ensuring correctness and security in computer systems through formal methods, with particular emphasis on hardware verification, memory consistency models, and mitigating vulnerabilities like Spectre/Meltdown. She previously worked at Facebook’s FAIR SysML group before joining Stanford. Education: PhD in Computer Science, Princeton University BS in Computer Engineering, Purdue University Her work has influenced the RISC-V ISA memory consistency model and produced tools like CheckMate, which automatically synthesizes hardware exploits for security verification. She explores privacy-preserving ML, ML-driven hardware optimizations (e.g., neural recommendation), and datacenter reliability. Her research has earned awards including the 2020 ACM SIGARCH Dissertation Award and NVIDIA Fellowship. Key contributions include: Formal analysis of RISC-V memory models Exploitation synthesis frameworks (CheckMate) Hardware-software contracts for security Defenses against microarchitectural side-channel attacks Current projects include: VeriCoder: LLM-enhanced RTL code verification Multi-μPATH synthesis for security validation Near-data processing (RecSSD) for recommendation systems

• Global Navigation Satellite Systems (GNSS)
• Avionics Systems
• Wireless Communication
• +۷ مورد دیگر

René Jr Landry is a full Professor in the Department of Electrical Engineering at École de technologie supérieure (ETS), Université du Québec, specializing in Global Navigation Satellite Systems (GNSS), avionics, and wireless communication technologies. His academic journey includes a B.Ing. from Polytechnique Montréal, M.Sc. from University of Surrey (UK), and Ph.D. from SupAréo in Toulouse. He maintains active research leadership through two key laboratories: LASSENA (Laboratory of Space Technologies, Embedded Systems, Navigation and Avionics) and LACIME (Communications and Microelectronic Integration Laboratory). His research spans critical aerospace navigation domains including GNSS signal processing, inertial navigation systems, software-defined radio for avionics, radio frequency interference mitigation, and indoor positioning technologies. Landry's work addresses real-world challenges in satellite navigation robustness, precision positioning in urban/denied environments, and next-generation avionic system security. His current projects focus on blockchain-enhanced IoT security, AI-driven GNSS disruption analysis, and adaptive RF front-ends for multi-band avionics applications. Analysis of his recent publications reveals strong emphasis on resilient positioning systems through multi-constellation integration (particularly Iridium-NEXT), blockchain applications for navigation security, and explainable AI techniques for GNSS signal quality assessment. His work increasingly bridges traditional navigation engineering with cutting-edge security and machine learning paradigms. 2014 Prix d'excellence du c.a. pour les services à la collectivité Landry has supervised over 100 graduate students across doctoral, master's, and research projects since 2005, with current supervision extending through Summer 2025. His research funding supports multiple industry partnerships focused on avionics certification, software-defined radio implementations, and next-generation navigation systems. The LASSENA laboratory under his leadership develops certified avionic products from open-source SDR platforms and advances multi-sensor fusion techniques for challenging navigation environments. His research infrastructure includes specialized facilities for GNSS signal simulation, avionics hardware testing, and multi-sensor integration. Current work emphasizes flight-tested validation of RF front-end technologies, blockchain-secured navigation data, and real-time interference mitigation systems for aviation applications.

Victor Vianuمشاهده پروفایل

استاد

• database theory
• verification
• computational logic
• +۳ مورد دیگر

Victor Vianu is a Professor in the Department of Computer Science and Engineering at the University of California, San Diego, within the Jacobs School of Engineering. His work focuses on the intersection of database theory and verification techniques, particularly in the context of data-driven business processes and workflows. Research Interests Professor Vianu's primary research interests span database theory, verification of database-driven systems, and computational logic. His current work focuses on automatic verification of interactive data-driven web services and business processes, exploring how to provide customized workflow views for different stakeholders in organizational settings. His research addresses significant technical challenges at the intersection of data management and process modeling, requiring novel approaches that go beyond traditional relational algebra to handle both data and process aspects simultaneously. His work on data-driven business processes investigates how to specify, analyze, and synthesize views of workflows that expose only information relevant to specific user roles. This research has important applications in e-commerce, digital government, healthcare, and scientific infrastructure, where different stakeholders require varying levels of workflow abstraction and detail. Research Contributions and Trends Professor Vianu's recent publications demonstrate a consistent focus on the integration of data management and workflow processes. His work has evolved from foundational database theory to increasingly practical applications in business process management. A key trend in his research is the development of formal frameworks for workflow views that maintain consistency while providing appropriate abstractions for different user roles. His publications reveal a progression from theoretical foundations to more applied aspects of workflow verification and integration, often in collaboration with researchers from INRIA and other institutions. Advising and Research Support Professor Vianu leads the UCSD Database Laboratory, which conducts research on database systems and theory. He currently advises graduate student Marysia Tran and has likely mentored numerous other students throughout his career. His research is supported by the National Science Foundation under grant "Views of Data-Driven Business Processes: Foundations and Applications" (NSF Project III 1815247). This project brings together techniques from logic, automata theory, complexity theory, algorithms, and automatic verification to address challenges in workflow management. Research Environment Professor Vianu is an active member of the UCSD Database Laboratory, which maintains a regular research seminar series. He has collaborated extensively with researchers including Alin Deutsch (UC San Diego), Serge Abiteboul (INRIA and ENS-Paris), Pierre Bourhis (Univ. of Lille and CNRS), and Adrien Koutsos (ENS Cachan). His foundational work includes co-authoring the influential textbook "Foundations of Databases" with S. Abiteboul and R. Hull, which remains a standard reference in database theory.

Calin Beltaمشاهده پروفایل

استاد

• Control Theory
• Formal Verification
• Hybrid Systems
• +۳ مورد دیگر

Calin Belta is a Professor in the College of Engineering at Boston University , with joint appointments in Mechanical Engineering, Systems Engineering, and Electrical and Computer Engineering. His research bridges control theory and formal methods, focusing on controller synthesis and automatic verification of hybrid systems with applications in robotics and systems biology . Education: Ph.D. in Control Theory, University of Pennsylvania His work emphasizes temporal logic specifications for ensuring safety and correctness in autonomous systems, particularly through control barrier functions (CBFs) , reinforcement learning , and model predictive control . Applications span from microrobotics to autonomous driving and biomolecular modeling . His recent articles (2025–2024) highlight advancements in safe control algorithms for autonomous vehicles, adaptive CBFs , temporal logic-guided learning , and microrobotics for cell manipulation. Common themes include formal verification , robustness , and human-in-the-loop safety . Scientific Awards: AFOSR Young Investigator Award (2008) NSF CAREER Award (2005) He also contributes to academia as a Senior Member of IEEE and Associate Editor for journals like SIAM Journal on Control and Optimization and IEEE Transactions on Automatic Control . His lab develops computational tools for safety-critical control in complex environments.

• Energy Efficiency in Software
• Multicore Memory Systems
• Hardware/Software Co-Design
• +۳ مورد دیگر

Arrvindh Shriraman is an Associate Professor and Program Director of Software Systems at Simon Fraser University's School of Computing Science in Surrey. His research focuses on energy-efficient software, multicore memory systems, and optimizing hardware/software interfaces for parallel programming. He holds a Ph.D. (2010) and M.S. (2006) in Computer Science from the University of Rochester, and a B.Eng. (2004) from the University of Madras. He teaches courses on parallel programming and energy-conscious software design. His research interests include synchronization mechanisms for domain-specific architectures, cache optimization, and FPGA-based acceleration. He has contributed to frameworks like Mu-grind for HLS-generated RTL instrumentation and TAPAS for parallel accelerator generation. Notable projects include RANGE-BLOCKS for synchronization in domain-specific systems and TapeFlow for gradient computation in neural networks. His work emphasizes real-time verification of autonomous systems and safety-critical trajectory planning for underwater vehicles. Shriraman collaborates closely with the Tangent Lab, exploring cutting-edge solutions in hardware-software co-design and embedded systems. His teaching and research bridge theoretical computer science with applied engineering challenges, addressing scalability, efficiency, and safety in modern computing systems.

Gireeja Ranadeمشاهده پروفایل

استادیار

• Control Theory
• Information Theory
• Wireless Communication
• +۵ مورد دیگر

Gireeja Ranade is an Assistant Teaching Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley. She previously served as a Researcher at Microsoft Research AI in the Adaptive Systems and Interaction Group. Her educational background includes a PhD in Electrical Engineering and Computer Science from UC Berkeley and an undergraduate degree from MIT. Research Focus Prof. Ranade's research spans control theory, information theory, and machine learning, with applications in wireless communication, algorithmic fairness, and misinformation analysis. Her work addresses fundamental challenges in system stabilization under uncertainty, real-time control optimization, and equitable resource allocation. She maintains strong collaborations across disciplines, resulting in publications at premier venues like IEEE Transactions on Automatic Control, PNAS, and The Web Conference. Her recent publications demonstrate a consistent focus on robustness in control systems, fairness in algorithmic decision-making, and analysis of information propagation in online ecosystems. The work frequently combines theoretical rigor with practical implementations in robotics, networking, and social systems. Awards and Recognition 2017 UC Berkeley Electrical Engineering Award for Outstanding Teaching 2020 UC Berkeley Award for Extraordinary Teaching in Extraordinary Times Academic Leadership Prof. Ranade leads a dynamic research group including PhD candidates, master's students, and undergraduates. She has advised over 25 students on projects ranging from neural network controllers to fairness metrics in resource allocation. She founded the CalMentors program, which connects UC Berkeley students with K-12 learners for tutoring support during the COVID-19 pandemic. Educational Innovation She co-designed and teaches UC Berkeley's introductory EECS 16A/B sequence, integrating linear algebra with applications in machine learning and circuit design. She has also developed courses on optimization (EECS127/227A) and data science (Data 102), with publicly available lecture videos demonstrating her teaching methodology.

• 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.

• Software Testing
• Mutation Testing
• Model-Based Testing
• +۷ مورد دیگر

Jeff Offutt is a Professor and Chair of the Department of Computer Science at the University at Albany, College of Nanotechnology, Software, & Engineering. Previously, he was a Full Professor with Tenure in Software Engineering at George Mason University since 2005. He received his PhD in Information & Computer Science from the Georgia Institute of Technology in 1988. His research spans software testing, mutation testing, model-based testing, automatic test data generation, web application testing, and software engineering education. He has led significant projects such as the NSF-funded integration of CS into K-5 classrooms and the Google-funded SPARC project for scalable CS1/CS2 instruction. The 15 most recent articles reflect a continued focus on mutation testing cost reduction, model-based testing oracles, educational innovations, and security aspects of web applications. Trends include empirical validation, industrial applicability, and bridging theory with practice in software testing and engineering education. John Toups Presidential Medal for Excellence in Teaching (2020) George Mason University’s Alumni Association Faculty Member of the Year (2020) Outstanding Faculty Award from the State Council of Higher Education for Virginia (2019) Best Paper Award at ICST 2021 10-Year Most Influential Paper Award at MODELS 2020 George Mason University Teaching Excellence Award (2013) ACM Notable Article Award (2013) Jeff Offutt has mentored numerous graduate students including Upsorn Praphamontripong, Nan Li, and Yu-Seung Ma, and has led major grant-funded projects such as the SPARC educational model and NSF initiatives on K-5 CS integration. His textbook Introduction to Software Testing (with Paul Ammann) is widely adopted globally. He led the MS in Software Engineering program at GMU and developed several new courses in software testing, web engineering, and usability. He pioneered innovative teaching methods using web technologies and asynchronous learning models. He also co-founded the IEEE International Conference on Software Testing, Verification and Validation (ICST) and served as Editor-in-Chief of Software Testing, Verification and Reliability from 2007 to 2019.

• Programming Language Design
• Program Verification
• Type Theory
• +۳ مورد دیگر

Neelakantan R. Krishnaswami is a Professor of Computer Science at the University of Cambridge's Computer Laboratory , and a Fellow of Trinity College . His research focuses on the intersection of program verification, programming language design, and foundational topics like type theory and semantics. His work spans areas such as refinement types, parser design, separation logic for systems software, and the semantics of reactive programming. Notable contributions include the Datafun language for higher-order Datalog and the λert type theory for explicit refinement types. He has also developed foundational frameworks for verifying imperative programs using advanced type systems and logical relations. Key publications include 'Explicit Refinement Types' (ICFP 2023), 'flap: A Deterministic Parser with Fused Lexing' (PLDI 2023), and 'CN: Verifying Systems C Code' (POPL 2023). His work frequently addresses challenges in efficiency, correctness, and modularity for both functional and imperative systems. His awards include Distinguished Paper Awards at PLDI 2019 and POPL 2020. His research integrates theoretical rigor with practical tooling, exemplified by contributions to languages like Coq, Lean, and Haskell.

Sarah Eblingمشاهده پروفایل

استاد

• Computational Linguistics
• Assistive Technologies
• Sign Language Technologies
• +۷ مورد دیگر

Sarah Ebling is a Full Professor of Language, Technology and Accessibility at the University of Zurich's Faculty of Arts and Social Sciences. She leads the Language, Technology and Accessibility research group within the Institute for Computational Linguistics. Her work focuses on computational linguistics applications for assistive technologies targeting disabilities such as hearing impairments, visual impairments, and cognitive disorders. Key areas include sign language technologies, automatic text simplification, and audio description systems. She directs the large-scale Swiss innovation project 'Inclusive Information and Communication Technologies' (2022-2026, CHF12 million budget) and collaborates on EU H2020 and SNSF Sinergia projects. Education: Holds a doctoral degree (summa cum laude, 2016) from the University of Zurich with research on automatic translation to Swiss German Sign Language. Completed studies in German Linguistics, Computational Linguistics, and English Linguistics at Universities of Zurich and Heidelberg, with research stays in Dublin, Chicago, and Rochester. Research emphasizes multimodal accessibility solutions, including sign language fluency assessment, gesture-based interaction, and AI-driven text adaptation. Current projects explore audio description translation systems (SwissADT), sign language corpus development (SwissSLi), and digital tools for comprehensibility assessment in simplified texts. Her work bridges computational linguistics with ethical considerations in assistive technology deployment. Grants and Leadership: Principal Investigator on major accessibility-focused grants, including the CHF12M Swiss innovation project. Supervises PhD candidates in areas like sign language assessment tools and text simplification algorithms. Active in international collaborations, publishing extensively in computational linguistics and accessibility journals/conferences. Technology Development: Created the 'DigiSpon' benchmark for language sample analysis and developed open-source tools for sign language translation baselines. Her team's innovations include the SignCLIP model connecting text and sign language via contrastive learning, and pose estimation frameworks for sign language recognition.