Find Academic Supervisors

Alvin CheungView profile

Associate Professor

• Data Management
• Programming Languages
• Software Systems
• +3 more

Alvin Cheung is an Associate Professor at the University of California at Berkeley, affiliated with the Department of Electrical Engineering and Computer Sciences (EECS). He leads the Data Systems and Foundations group, Programming Systems group, Sky Lab, and SLICE Lab, while also serving as a faculty affiliate at the Berkeley Institute for Data Science. His research focuses on integrating data management, programming languages, and software systems to develop tools for scalable data processing pipelines and improved data programming experiences. PhD students advised: Sahil Bhatia, Mick Kittivorawong, Jongseok Park Research keywords include Data Management , Programming Languages , Program Synthesis , Formal Verification , and Machine Learning . His recent work explores Verified Lifting techniques for database applications, stencil computations, and cloud systems, alongside novel programming paradigms for geospatial video analytics and speculative decoding. His publications from 2023-2025 demonstrate trends in LLM-driven code optimization , automated SQL equivalence , and neural code generation across domains like tensor operations and geospatial video systems. Notable scientific achievements include the Dahl-Nygaard Prize (2024) , VLDB Early Career Award (2023) , and CHI Best Paper Award (2021) .

Mestivier AlexandraView profile

Lecturer

• Corpus Linguistics
• Machine Translation
• Post-editing
• +4 more

Alexandra Mestivier is a Lecturer in English linguistics at the Faculty of Arts and Languages (UFR EILA) of Paris Cité University, where she has been a member of the CLILLAC-ARP research team since 2009. She co-leads the cross-disciplinary axis on 'Corpus linguistics: variation, norms, textual genres' and the LSCT Master’s program (Translation, Interpretation, Specialized Languages, Corpus, Translation Studies course). Current projects: ANR MaTOS (Machine Translation for Open Science), OCTAVES (Tool for Collecting Learner Translations for Scientific Exploration), CarDiBioMed (Corpus-based Diachronic Analysis in Biomedical Translation). Her research focuses on: Corpus linguistics applied to terminology and translation Development of corpus compilation/query tools for translators Phraseological analysis in specialized translation Documentary research and framed memoirs As co-head of the LSCT Master’s program, she supervises theses in areas including: Medical and biomedical translation Political discourse analysis Automatic translation error evaluation Autism spectrum disorder research Environmental health studies Her lab affiliations include: CLILLAC-ARP (Centre de Linguistique Interlangues, de Lexicologie et d'Analyse Automatique - Approches en Recherche en Traduction)