Find and connect with academic supervisors, professors, and scholars for your research journey.
Showing 361-375 of 379 supervisors
Profile data may be stale. It is sourced from public faculty pages.
Researcher
Paolo G. Giarrusso is a researcher at the Institute for Programming Languages and Software Engineering within the Faculty of Informatics at the University of Tübingen . Previously, he was a Ph.D. student at the University of Marburg , where he defended his thesis Optimizing and Incrementalizing Collection Queries by AST Transformation in January 2018.
Assistant Professor
Maximilian Schüle serves as Assistant Professor in the Department of Data Engineering at the University of Bamberg's Faculty of Information Systems and Applied Computer Sciences since October 2022. Previously, he held research positions at Technical University of Munich (2017-2022). His research bridges database systems and machine learning through compiler-based approaches. His research focuses on in-database machine learning , GPU-accelerated query processing , and recursive SQL extensions . Key contributions include: Developing MLIR-based compilers for automatic differentiation in SQL (DuoLingo-AutoDiff) Creating GPU code generators for database kernels using NVRTC Designing higher-order lambda functions for expressive query languages Implementing end-to-end neural network training within database engines His recent publications (2023-2025) demonstrate consistent output in top venues including ICDE, VLDB workshops, and BTW conferences, with growing emphasis on hardware-aware optimization and compiler techniques for analytical workloads. He currently leads a DFG-funded project on elastic memory hierarchies for memory-intensive applications (2025-2028), supporting multiple PhD researchers. His supervision emphasizes open-source contributions to database systems like Umbra and practical implementation skills alongside theoretical foundations. As an active member of the database community, he serves as workshop chair for BTW 2025 and regularly reviews for ACM TODS, VLDB Journal, and Information Systems. His work on public transport analytics demonstrates real-world impact through collaborations with urban mobility initiatives in Bamberg.
Professor
Andrew Myers is a Professor in the Department of Computer Science at Cornell University , focusing on Programming Languages , Computer Security , and Distributed Systems . He is an ACM Fellow and currently serves as Editor-in-Chief for ACM Transactions on Programming Languages and Systems (TOPLAS). His professional roles include program chair or co-chair for conferences such as ACM POPL 2018 , ACM CCS 2016 , and POST 2014 . His research bridges formal methods with practical language design , as evidenced by projects like the Condorcet Internet Voting System and the Viaduct compiler . Contributions span security protocols , concurrent programming , and hardware design languages . 2023 : Universally Composable Security for Program Partitioning 2022 : A Flexible Type System for Fearless Concurrency, PDL: A High-Level Hardware Design Language 2021 : Viaduct compiler for secure distributed programs 2020 : Handling Bidirectional Control Flow 2018 : MixT consistency language, Covert Channel-Free Hardware Scientific recognition includes Best Paper Awards at POPL 1999 , SOSP 2001 , SOSP 2007 , CIDR 2013 , PLDI 2013 , and PLDI 2015 . Professional service includes conference organization (e.g., ACM POPL 2018 Program Chair , Steering Committee roles in PriSC and PLDI). Myers maintains active open-source projects like civs (Condorcet Internet Voting System) and Viaduct , reflecting his commitment to secure, verifiable systems and language-driven solutions .
Lecturer
Anton Antonov is a Lecturer in Japanese Linguistics at the National Institute of Oriental Languages and Civilizations (INALCO), affiliated with the Department of Japanese Studies. He is a research member of the Center for Linguistic Research on East Asia (CRLAO), focusing on the 'Sino-Tibetan and its East Asian Context' team. His professional address is CRLAO, INALCO, 2 rue de Lille, 75007 Paris. He obtained his PhD from INALCO in 2007 with a dissertation titled 'Le rôle des suffixes en /+rV/ dans l'expression du lieu et de la direction en japonais et l'hypothèse de leur origine altaïque' (The role of /+rV/ suffixes in expressing location and direction in Japanese and the hypothesis of their Altaic origin). Antonov's research centers on: Historical and comparative linguistics of Japanese, Korean, and Altaic languages (Turkic, Mongolic, Tungusic) Diachronic and diatopic variations of Japanese Accent reconstruction in Japanese, Korean, and Basque Direct/inverse systems and allocutive phenomena cross-linguistically His publications (2011-2022) demonstrate consistent focus on linguistic typology, historical reconstruction, and language contact in East Asia. Recent work challenges the Transeurasian hypothesis while maintaining expertise in Altaic-Japonic-Korean connections. Articles frequently address grammaticalization, verb systems, and pragmatic marking across diverse language families. Antonov participates in research projects including: Creation of a database of phonogram-notated ancient Japanese texts with glosses/translations Compilation of a dictionary of ancient Japanese He collaborates internationally through conferences like the Paris Meeting on East Asian Linguistics and Phon-UDL workshops. His lab affiliation is CRLAO (CNRS-EHESS-Inalco joint research unit) at Campus Condorcet.
Associate Professor
Işıl Dillig is an Associate Professor of Computer Science at the University of Texas at Austin, where she leads the UToPiA research group. Her academic career spans over a decade of significant contributions to programming languages research, particularly in program analysis, verification, and synthesis. Dr. Dillig received all her academic degrees (BS, MS, and PhD) from Stanford University before joining the faculty at UT Austin. Her educational background established the foundation for her innovative research approach that bridges theoretical computer science with practical applications. Her research focuses on developing techniques to make software systems more reliable, secure, and easier to build through advanced program analysis, verification, and synthesis methods. She has pioneered approaches that combine symbolic reasoning with machine learning to tackle complex software engineering challenges across multiple domains including security, databases, and programming language theory. Her work demonstrates exceptional depth in creating practical tools that address real-world software development problems while maintaining strong theoretical foundations. Analysis of Dr. Dillig's publication record reveals a consistent trajectory of innovation in program synthesis, with recent work expanding into neurosymbolic approaches that bridge neural networks with formal methods. Her research shows strong connections between theoretical foundations and practical applications, particularly in security-critical systems, database technologies, and blockchain applications. The evolution of her work demonstrates increasing sophistication in handling complex program structures while maintaining practical usability. Dr. Dillig has received prestigious recognition for her research contributions: Sloan Fellowship NSF CAREER award As a dedicated educator and research leader, Dr. Dillig has served in significant roles including Program Chair for PLDI 2022 and Steering Committee member for PLDI. She has mentored numerous students through her UToPiA research group, guiding research in program synthesis, verification, and analysis. Her work has been supported by substantial research grants that have enabled innovative projects at the intersection of programming languages and security. Dr. Dillig leads the UToPiA (UT Austin Programming, Languages, and Analysis) research group, which focuses on developing novel techniques for program analysis, verification, and synthesis. The group maintains strong collaborations with industry partners and academic institutions worldwide, translating theoretical advances into practical tools that address real software engineering challenges.
Professor
Stephen Chong is a Gordon McKay Professor of Computer Science in the Harvard John A. Paulson School of Engineering and Applied Sciences, where he serves as Co-Director of Undergraduate Studies for Computer Science. His academic career spans over a decade of teaching and research at Harvard, where he has made significant contributions to programming languages and information security. Chong received his PhD from Cornell University under the guidance of Andrew Myers, and a bachelor's degree from Victoria University of Wellington, New Zealand. Prior to graduate school, he worked as a consultant and contractor in the software industry, bringing practical experience to his academic research. Professor Chong's research focuses on language-based information security, using programming language techniques to provide information security assurance. His work bridges the gap between theoretical foundations and practical applications, developing tools and frameworks that help programmers write trustworthy programs. His research has evolved to address increasingly complex security challenges in modern computing environments, from web applications to cyber-physical systems. His recent publications reveal a strong trend toward integrating advanced programming language techniques with security analysis, particularly through the use of Datalog, SMT solvers, and program synthesis. His work on Formulog has been particularly influential, extending Datalog with mechanisms to construct and reason about SMT formulas for static analysis. His research has expanded to address security challenges in cyber-physical systems, where sensor attacks pose unique threats to safety-critical infrastructure. Chong has received numerous prestigious awards including an NSF CAREER award, an AFOSR Young Investigator award, and a Sloan Research Fellowship. He has also served in leadership roles for major conferences including CSF 2012-2013, PLMW @ PLDI 2021, and as SIGPLAN-M Chair for 2025-2026. As an educator, Chong has mentored numerous students through Harvard's undergraduate research programs and has served as a thesis advisor. His teaching portfolio includes foundational courses like CS51, systems courses like CS61, and advanced topics in programming languages (CS152) and compilers (CS1530). He has been instrumental in shaping Harvard's computer science curriculum, particularly in security and programming languages. Chong leads a research group focused on language-based security, with projects including Formulog (for SMT-based static analysis), PRINCESS (for autonomous adaptation of software), and work on secure shell scripting (Shill). His group collaborates with researchers across Harvard and other institutions to tackle challenging problems at the intersection of programming languages and security.
Professor
Anil Madhavapeddy is the Professor of Planetary Computing at the University of Cambridge Computer Laboratory, where he co-leads the Energy & Environment Group and is a member of the Systems Research Group. He is also a Fellow at Pembroke College where he serves as Director of Studies in Computer Science. Madhavapeddy completed his PhD from the University of Cambridge in 2003 and his BEng in Information Systems Engineering from Imperial College in 1999. He holds a JM Keynes Fellowship since 2022 for his work combining computer science with economics, and serves on the management committee of the Cambridge Conservation Initiative where he co-directs 4C (Cambridge Centre for Carbon Credits) and the Centre for Earth Observation. His research spans computer systems and programming languages with a strong focus on applying these technologies to global conservation, biodiversity, and climate change challenges. He leads the OCaml Labs group and has made significant contributions to open-source projects including OCaml, Docker, Xen, and OpenBSD. His work often bridges computer science with environmental science, developing computational approaches to address planetary-scale challenges. Madhavapeddy's recent publications demonstrate a clear trajectory toward integrating programming language research with environmental monitoring and conservation. His work spans from foundational programming language techniques to applied geospatial computing systems, with increasing emphasis on biodiversity measurement, carbon credit systems, and planetary-scale environmental monitoring. JM Keynes Fellowship (2022-present) As an educator, Madhavapeddy teaches undergraduate courses including Foundations of Computer Science, Software & Security Engineering, and Cloud Computing. He mentors MPhil and PhD students and co-founded the award-winning book 'Real World OCaml' (2nd Edition, 2022). He has co-founded several companies including Unikernel Systems, High Energy Magic, Segfault, and Tarides to translate research into real-world impact. Madhavapeddy leads the OCaml Labs group at Cambridge and works closely with the Energy & Environment Group, collaborating with colleagues from Plant Sciences, Zoology, Economics, and NGOs including UNEP-WCMC and the IUCN. His current efforts are primarily focused on conservation technology through partnerships with organizations like Canopy PACT.
Professor
Mayur Naik is the Misra Family Professor in the Department of Computer and Information Science at the University of Pennsylvania's School of Engineering and Applied Science. He holds office in Room 642B, Amy Gutmann Hall and maintains an active research program focused on the intersection of programming languages and artificial intelligence. Before joining UPenn, he was faculty at Georgia Institute of Technology and a researcher at Intel Labs, Berkeley. Naik received his PhD in Computer Science from Stanford University in 2008 under Alex Aiken, a Masters from Purdue University in 2003 under Jens Palsberg, and a Bachelors from BITS Pilani in 1999. He grew up in Goa, India. His primary research interests center around neurosymbolic programming, which combines symbolic reasoning with machine learning to create more accurate, interpretable, and domain-aware AI systems. His group develops language design, learning algorithms, and compiler optimizations in this space, with their most mature effort being the Scallop neurosymbolic programming language and compiler toolchain. He also conducts research in trustworthy AI for healthcare applications and AI-enabled programming tools that improve programmer productivity. Analysis of his recent publications shows a strong trend toward neurosymbolic programming frameworks (Scallop, TorchQL), LLM-assisted program analysis (IRIS), and applications of these techniques to security, healthcare, and computer vision. His work consistently bridges theoretical foundations with practical implementations, often releasing open-source systems. Misra Family Professor (endowed chair, effective July 2024) Multiple distinguished paper awards (PLDI 2019, FSE 2015, PLDI 2014) Test-of-Time Paper Awards (FSE 2013, FSE 2012, EuroSys 2011) His student Elizabeth Dinella won the 2025 ACM SIGSOFT Outstanding Dissertation award Naik has advised numerous PhD students who have gone on to faculty positions at top institutions including Peking University, University of Toronto, Ashoka University, Bryn Mawr College, and Johns Hopkins University. His research is supported by grants from NSF, Google, Amazon, and other industry partners. His lab maintains active collaborations with clinicians and bioinformatics researchers to apply neurosymbolic programming to healthcare problems. His research group, which includes current PhD students and postdocs, develops practical open-source systems and applies them to diverse domains including computer vision, cybersecurity, medicine, and bioinformatics. The group maintains strong industry connections with Google, Microsoft, Amazon, and other tech companies.
Assistant Professor
Clément Pit-Claudel is an assistant professor at École Polytechnique Fédérale de Lausanne (EPFL) in the School of Computer and Communication Sciences, Department of Computer Science. He leads the SYSTEMF lab which he founded in January 2023. Prior to joining EPFL, he was a PhD candidate at MIT with Adam Chlipala and subsequently worked as a senior applied scientist at Amazon AWS. His academic journey began at École Polytechnique in France, followed by doctoral studies at MIT. Dr. Pit-Claudel's research focuses on programming languages, compilers, and formal verification, with broader interests spanning systems engineering, hardware design languages, security, performance engineering, databases, and type theory. His work centers around three main axes: extensible compilation (teaching compilers domain-specific optimization tricks), hardware design languages and verification, and tooling for proof assistants. He has developed several influential systems including Elk (a linear-time engine for JavaScript regexes), Warblre (a Coq translation of JS regex specification), Fiat (a library for correct-by-construction refinement), Narcissus (for verified binary encoders/decoders), F2F (a program extraction framework), Rupicola (a compiler-construction toolkit), Kôika (a rule-based hardware design language), Cuttlesim (a fast hardware simulator), and Alectryon (a literate programming system for Coq). His publications span top venues including PLDI, POPL, ICFP, ASPLOS, and SLE, with recent work focusing on verified JavaScript regular expressions, foundational integration verification of cryptographic servers, and relational compilation techniques. His research aims to build small, fast, and completely verified components for critical systems through a combination of machine-checked proofs, hardware-software co-design, low-level compiler engineering, and new tools for interactive theorem proving. His notable awards include the Distinguished Artifact award at SLE 2020 for 'Untangling Mechanized Proofs,' the William A. Martin Memorial Thesis Award from MIT in 2016, and the Frederick C. Hennie III Teaching Award from MIT in 2016. He has served on program committees for numerous conferences including PLDI, POPL, ICFP, and SPLASH, and has organized workshops such as the Coq Workshop and Proof Systems. As an educator, he teaches 'Software Construction' (undergraduate level, ~400 students) and 'Interactive Theorem Proving' (graduate level) at EPFL. His teaching philosophy emphasizes hands-on learning, continuous assessment through oral examinations, and designing assignments that lead students to build concrete artifacts they can be proud of. His approach is informed by hundreds of hours of in-class instruction in Europe and the US, resulting in stellar student reviews and multiple teaching awards.
Assistant Professor
Ding Li is an Assistant Professor in the School of Computer Science at Peking University. He holds a Ph.D. in Computer Science from the University of Southern California (USC) and a B.S. from Peking University. His research focuses on program analysis, energy optimization for mobile applications, and security, with publications in top conferences including ICSE, FSE, and ASE. His research interests span: Program Analysis : Techniques to optimize mobile application energy consumption. System Security : Identifying vulnerabilities in Android apps and WebAssembly binaries. Cloud/Edge Computing : Enhancing serverless computing efficiency and federated learning security. Dr. Li's recent work explores the integration of large language models into pointer analysis and automated optimization of resource inefficiencies. His publications demonstrate a consistent focus on practical system optimizations and security enhancements across mobile, cloud, and machine learning domains. Awards: Viterbi Undergraduate Research Mentoring Award (2014)
Professor
Professor Christoph Anderl is a distinguished scholar of Chinese Language and Culture at Ghent University, where he has served as Professor since February 2015. He leads the Ghent Centre for Buddhist Studies and is affiliated with the DiaLing research group for Diachronic and Diatopic Linguistics within the Faculty of Arts and Philosophy's Department of Languages and Cultures. His international academic journey includes significant appointments at Ruhr University Bochum, University of Oslo, and Kyoto University. Professor Anderl's research focuses on Medieval Chinese as reflected in Buddhist texts, particularly early vernacular Chinese and Buddhist Hybrid Chinese, with emphasis on syntax, semantics, and rhetorical devices in Dunhuang manuscript material. His work also explores Buddhist iconography in Central Asia and China, examining text-image relations in Buddhist narratives. Additional research interests include Chan/Zen Buddhism, Classical Chinese syntax, Asian religious history, Buddhist lexicography, Digital Humanities, and Chinese historical phonology. His scholarly output shows a clear focus on the intersection of language, religion, and material culture in medieval China, with particular attention to Dunhuang manuscripts and Buddhist textual traditions. Recent publications demonstrate his ongoing commitment to both linguistic analysis of medieval Chinese texts and the study of Buddhist religious practices, including ritual texts and iconographic programs. Marie Curie Pegasus Fellowship recipient Principal investigator for the Ghent Database of Medieval Chinese Texts (DMCT) Lead organizer of multiple international Doctoral Schools on Chinese Buddhist studies Active participant in the 'From the Ground Up: Buddhism and East Asian Religions' project Professor Anderl maintains an active supervisory role for numerous PhD and postdoctoral projects while also engaging in extensive international collaboration. His work bridges linguistic analysis, religious studies, and digital humanities approaches to create a comprehensive understanding of medieval Chinese Buddhist culture. He regularly organizes conferences, delivers guest lectures worldwide, and conducts fieldwork at significant Buddhist sites across Asia.
Professor
Philippa Gardner is a Professor in the Department of Computing at Imperial College London, where she has been on faculty since 2001 and became a professor in 2009. She holds a UKRI Established Fellowship (2018–2023) and directs the EPSRC-funded Research Institute on Verified Trustworthy Software Systems (VeTSS) from 2017 to 2022. Previously, she held an EPSRC Advanced Fellowship at the University of Cambridge (hosted by Robin Milner) and a Microsoft Research Cambridge/Royal Academy of Engineering Senior Fellowship (2005–2010). She completed her PhD in 1992 at the University of Edinburgh under Professor Gordon Plotkin, followed by five years of postdoctoral fellowships at Edinburgh. Her research focuses on program verification , with specialized interests in web programming (JavaScript/DOM), concurrent systems, and formal methods. She developed the Gillian platform for multi-language symbolic execution and has made significant contributions to separation logic, WebAssembly verification, and compositional reasoning techniques. Her recent publications demonstrate a strong emphasis on unified formal methods, scalable verification techniques, and practical tools for real-world languages like JavaScript and WebAssembly. Key themes include symbolic execution, correctness/incorrectness reasoning, and mechanized semantics. Awards and Fellowships: UKRI Established Fellowship (2018–2023) Microsoft Research Cambridge/Royal Academy of Engineering Senior Fellowship (2005–2010) Leadership and Service: Directs the VeTSS research institute focusing on trustworthy systems. Chaired the BCS awards committee (2013–2018), overseeing the Lovelace Medal and Roger Needham Award.
Assistant Professor
Andrew K. Hirsch is an Assistant Professor at the University at Buffalo, SUNY , Department of Computer Science and Engineering. He leads the Databases and Programming Languages group and focuses on programming languages for decentralized systems, particularly choreographic programming and information-flow security. Education: Ph.D. in Computer Science (2019) from Cornell University, supervised by Ross Tate on computational effects. B.S. in Computer Science and Pure Mathematics from The George Washington University. Research Interests: His work centers on choreographic programming, a paradigm ensuring deadlock-free concurrent systems, and information-flow security for decentralized applications. He also explores computational effects and type systems in programming language theory. Publications: Recent work includes advancements in process polymorphism (OOPSLA 2025), type-level polymorphism (PLACES 2025), and security definitions for higher-order declassification (OOPSLA 2023). Students: Doctoral: Michael Piskozub, Keith Allen Mason Masters: Alexander Bohosian, Gianna Bossoreale Undergraduate: Alex Doyoon Kim, Julia Montouri Recent Alumni: Ethan Canton, Tiffany Cai, Vamsi Krishna Bellam, Vincent Chan, Frank (Feng-Mao) Tsai Projects: Leads initiatives such as Choret (open choreographies) and The Pirouette Language and Compiler , which translate choreographic programs into concurrent system implementations.
Assistant Professor
Kaiya L. Provost serves as Assistant Professor in the Department of Biology within Adelphi University's College of Arts and Sciences, where she leads research at the intersection of computational biology and avian evolutionary studies. Her work focuses on phylogenomics, bioacoustics of bird communication, and machine learning applications to biological questions, particularly regarding Southwestern desert organisms. Education: Ph.D. in Comparative Biology, Richard Gilder Graduate School, American Museum of Natural History (2020) Master's in Conservation Biology, Columbia University (2016) Bachelor's in Ecology and Evolutionary Biology, Cornell University (2014) Professor Provost's research program investigates how evolutionary processes shape biological diversity through genomic and behavioral lenses. She examines phylogeographic patterns in desert birds, cultural evolution in bird song, and develops computational methods for trait discovery across the Tree of Life. Her interdisciplinary approach bridges ornithology with artificial intelligence, using machine learning to analyze large-scale bioacoustic and genomic datasets while considering ecological and geographical contexts. Analysis of her 15 most recent publications (2021-2025) reveals three dominant research thrusts: (1) phylogenomic studies of parrots and desert birds using genomic landscape analysis, (2) bioacoustic investigations into how climate and cultural factors drive song variation across sparrow species, and (3) development of machine learning tools for evolutionary biology including hierarchical prototype learning and interpretable transformers. These works span computational biology, evolutionary ecology, and ornithology, appearing in high-impact journals across disciplinary boundaries. Professor Provost actively mentors the next generation of scientists through formal thesis supervision and undergraduate research projects. She has served as primary advisor for multiple Master's theses on topics including alarm call composition in shorebirds and desert bird color evolution, while chairing committees for research on foraging behavior and locomotion. Her lab website (kaiyaprovost.com) supports a collaborative research environment where students develop computational and analytical skills applicable to evolutionary biology careers.
Researcher
Dr. Mark Hudson is a prominent researcher at the Max Planck Institute for the Science of Human History in Jena, Germany, where he leads work in the Language and the Anthropocene Research Group. He is also affiliated as Chercheur associé with the Institut d'Asie Orientale at ENS de Lyon in France. His research bridges archaeology, environmental humanities, and linguistic studies with a particular focus on East Asian prehistory. Max Planck Institute for the Science of Human History, Jena Institut d'Asie Orientale, ENS de Lyon (Chercheur associé) Hudson's research interests focus on the intersection of archaeology, environmental change, and human cultural development, particularly in Japan and East Asia. His work examines the Jōmon period, the Anthropocene, language dispersal patterns, and the relationship between agricultural development and linguistic evolution. He investigates how human societies have adapted to environmental changes over millennia and challenges notions of Japanese exceptionalism in pre-industrial environmental impact. His approach combines archaeological evidence with linguistic and genetic data to provide interdisciplinary insights into human history. Analysis of Hudson's recent publications reveals a strong focus on interdisciplinary approaches connecting archaeology, linguistics, and genetics. His work frequently examines the relationship between agricultural development and language dispersal in East Asia, with particular attention to the Transeurasian language family. Hudson's research consistently challenges simplistic narratives about human-environment interactions, demonstrating through archaeological evidence that pre-industrial Japan experienced significant anthropogenic impacts comparable to global patterns. His work on the 3000-year-old shark attack victim represents innovative bioarchaeological methods combining skeletal analysis with 3D modeling. Hudson has published extensively in top-tier journals including Nature, iScience, and Journal of World Prehistory. His research has been widely cited, with his Nature paper on Transeurasian languages receiving over 6,200 views. He has contributed to major reference works including the Cambridge World History of Violence and Routledge Handbook of the Bioarchaeology of Climate and Environmental Change. As a researcher at the Max Planck Institute, Hudson collaborates with numerous international scholars across disciplines. His work involves significant data collection efforts, such as the ARCHIPELAGO Archaeological Isotope Database for the Japanese Islands, which compiles 1476 entries of human bone and hair carbon and nitrogen stable isotopes from Japanese archaeological sites spanning from the Upper Palaeolithic to the mid-nineteenth century. His research often involves fieldwork in Japan and China, examining sites from the Jōmon period through later historical periods. Hudson's work connects with broader themes of environmental sustainability and resilience, examining how ancient societies navigated environmental challenges. His research group, Language and the Anthropocene, explores the deep historical roots of human impacts on Earth systems, challenging conventional periodizations of the Anthropocene that focus solely on the Industrial Revolution or post-1945 'Great Acceleration'.
