جست‌وجوی استاد و پژوهشگر

Max Willseyمشاهده پروفایل

استادیار

• Program Optimization
• Programming Languages
• Databases
• +۵ مورد دیگر

Max Willsey is an Assistant Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley, since 2024. He specializes in program optimization, leveraging techniques from programming languages, databases, and systems to develop robust and accessible compiler frameworks. His research focuses on equality saturation, E-Graphs, and the integration of Datalog with compiler optimizations. He has contributed to advancements in unifying algorithmic approaches, enabling faster and more extensible program analysis. Teaching: CS 164 (Programming Languages and Compilers, Spring 2025), CS 265 (Compiler Optimization, Fall 2024), and CS 294-260 (Declarative Program Analysis and Optimization, Spring 2024). Research Highlights: Development of the egg and egglog projects, co-organizing the EGRAPHS workshop, and leading the EGRAPHS Community for e-graphs researchers. His recent articles highlight trends in unifying traditional hash joins with worst-case optimal joins, applying equality saturation to diverse domains like Datalog and tensor graph optimization, and advancing E-Graphs for program synthesis and formal verification. Scientific Awards: SIGMOD Record Research Highlight, 2024 MIT PL Review Selection, 2024 Distinguished Paper, OOPSLA 2021 and POPL 2021 NSF Graduate Research Fellowship Honorable Mention, 2018 Qualcomm Innovation Fellow, 2019 Service: Committee Member, PLDI 2025, POPL 2025, ASPLOS 2025 Co-organizer, EGRAPHS 2024 and 2023 workshops Interviewer, UC Berkeley Graduate Admissions Committee, 2024

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

استادیار

• Fuzz testing
• Program synthesis
• Property-based testing
• +۴ مورد دیگر

Caroline Lemieux is an Assistant Professor at the University of British Columbia, specializing in automated software testing and reliability. Her research develops methods for testing, debugging, and improving software correctness through techniques like fuzz testing and program synthesis. She holds a Ph.D. from UC Berkeley advised by Koushik Sen and a B.Sc. in Computer Science and Mathematics from UBC. Research Interests: Dr. Lemieux's work focuses on: Fuzz testing for vulnerability detection Program synthesis using AI/ML approaches Property-based testing frameworks Automated debugging and specification mining Applications of reinforcement learning in test generation Publication Trends: Her recent papers explore large language models for test generation, fuzzing strategies in CI/CD environments, and neural-backed program synthesis. Work consistently bridges theoretical computer science with practical software engineering challenges. Awards: ACM SIGSOFT Distinguished Paper Award Google PhD Fellowship Best Paper Award (Industry Track) Berkeley Fellowship for Graduate Study

Sally Riceمشاهده پروفایل

استاد

• Corpus Linguistics
• Cognitive Linguistics
• Language Documentation
• +۷ مورد دیگر

Sally Rice is a Professor in the Department of Linguistics at the University of Alberta, Faculty of Arts. Her research integrates empirical methodologies with cognitive and functional linguistics, focusing on the inseparability of meaning and form in language. Education: PhD in Linguistics (University of California, San Diego, 1987) Landrex Distinguished Professor (2007-2011) McCalla Research Professor (2008-2009) Key research areas include: Language documentation and revitalization for Dene Sųłiné and Tsuut’ina Grammaticalization and lexicalization patterns Corpus linguistics and psycholinguistic experimentation Form-meaning interface across typologically diverse languages Notable projects: Community Linguist Certificate program with CILLDI Interactive speech atlas of Dene languages with Joyce McDonough Dene migration studies via interdisciplinary collaboration Scientific awards: Landrex Distinguished Professorship McCalla Research Professorship SSHRC-CURA grants for Daghida Project Her work bridges theoretical and applied linguistics, with over 20 years of fieldwork on Athapaskan languages and extensive supervision of graduate students in corpus-based and cognitive approaches to language structure.

• Computer Architecture
• Parallel Processing
• FPGA Design
• +۳ مورد دیگر

Frank Hannig is a Professor at the University of Erlangen-Nuremberg, Germany, specializing in computer architecture and high-performance computing. His research focuses on FPGA acceleration, hardware-software co-design, neural network optimization, and embedded systems. He has collaborated extensively with co-authors such as Jürgen Teich and Oliver Reiche, producing over 200 publications since 2001. His work emphasizes domain-specific languages (DSLs) for image processing (e.g., Hipacc) and compiler optimizations for FPGAs. Key contributions include techniques for quantized neural networks on microcontrollers, CGRA toolchain evaluation, and efficient mapping of CNNs onto processor arrays. Hannig also explores energy-efficient architectures and reconfigurable computing for emerging applications like edge AI and automotive systems. Publications span conferences like ASAP, FPL, and ARC, reflecting his interdisciplinary approach to bridging algorithm design and hardware implementation. His research often addresses practical challenges in deploying machine learning models on resource-constrained devices while maintaining performance and energy efficiency.

• Construction Grammar
• Valency Theory
• Lexicography
• +۷ مورد دیگر

Thomas Herbst serves as a Professor in the Department of English and American Studies within the Faculty of Humanities, Social Sciences, and Theology at Friedrich Alexander University Erlangen-Nuremberg (FAU). With a distinguished career spanning over four decades, his research has significantly contributed to linguistic theory and practice. His current work focuses on advancing construction grammar frameworks and their practical applications in language learning and lexicography. Professor Herbst's research interests center on Construction Grammar, Valency Theory, and Lexicography, with particular emphasis on the intersection between lexical and syntactic patterns. His scholarly work explores how constructions—recurring patterns of language—shape meaning, communication, and language acquisition. He has pioneered approaches to constructing constructicons (comprehensive inventories of constructions) and has made significant contributions to understanding how valency patterns function in English and other languages. His research bridges theoretical linguistics with practical applications in language teaching, dictionary compilation, and translation studies, particularly examining how multimodal elements like gesture and accent contribute to meaning in audiovisual contexts. Analysis of his recent publications reveals a consistent trajectory exploring constructional networks, argument structure, and the practical implementation of construction grammar in language learning. His work increasingly focuses on digital applications of linguistic theory, including constructicon development and computational implementations. Herbst's research demonstrates a strong commitment to making linguistic theory accessible and applicable to language learners, teachers, and lexicographers, with particular attention to how constructions manifest in second language acquisition and dictionary usage. Throughout his extensive career, Professor Herbst has maintained an active role in academic service, editing journals and special issues that have shaped discourse in construction grammar and lexicography. His editorial work for publications like Zeitschrift für Anglistik und Amerikanistik and contributions to major reference works have provided essential platforms for scholarly exchange in his fields of expertise.

Reyhaneh Jabbarvandمشاهده پروفایل

استادیار

• Neural Program Analysis
• Software Testing
• Bug Localization
• +۴ مورد دیگر

Reyhaneh Jabbarvand is an Assistant Professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign, where she leads the Intelligent CAT Lab. Her research focuses on improving software quality, reliability, and maintenance through neuro-symbolic approaches that combine AI techniques with formal methods. Her research interests span Neural Program Analysis, Software Testing (with emphasis on mobile apps and autonomous software), Bug Localization, and Applied Optimization for Software Analysis. She has made significant contributions to the fields of energy testing for Android applications, neuro-symbolic approaches for code analysis, and large language models for software engineering tasks. Dr. Jabbarvand's recent publications reveal strong trends in applying machine learning to software engineering problems, particularly using neuro-symbolic methods to bridge the gap between deep learning and formal program analysis. Her work on code translation, test flakiness, and test oracle generation demonstrates her focus on practical applications of AI in software development workflows. Google PhD Fellowship in Programming Technology and Software Engineering Rising Star in EECS NSF CAREER Award Dr. Jabbarvand has received research funding from multiple sources including NSF, IBM Research, and C3.ai. She actively mentors students through her Intelligent CAT Lab and has served on numerous program committees for major software engineering conferences including ICSE, FSE, and ISSTA. She teaches courses on Advanced Topics in Software Engineering, ML for Code, and Software Engineering I. Her lab focuses on neuro-symbolic approaches to software engineering problems, bringing together PhD, undergraduate, and high school students to tackle challenges in AI-assisted software development and testing.

Zhenjiang Huمشاهده پروفایل

استاد

• Programming Languages
• Software Engineering
• Functional Programming
• +۷ مورد دیگر

Zhenjiang Hu is a Chair Professor and Dean of the School of Computer Science at Peking University. He serves as Director of the Programming Languages Laboratory and has held significant academic positions including Professor at the National Institute of Informatics and University of Tokyo. BS and MS from Shanghai Jiaotong University (1988, 1991) PhD from University of Tokyo (1996) Lecturer/Assistant Professor at University of Tokyo (1997) Associate Professor at University of Tokyo (2000) Full Professor at National Institute of Informatics (2008) Full Professor at University of Tokyo (2018-2019) Professor Hu's research primarily focuses on programming languages and software engineering, with special emphasis on functional programming, bidirectional transformation, and software adaptation. His work explores transformational programming approaches for automatic program optimization, systematic parallelization of sequential programs, efficient manipulation of structured documents, and bidirectional model transformation for software development. His research has significantly advanced the field of bidirectional programming, developing foundational theories and practical applications that enable more reliable and maintainable software systems. His recent publications demonstrate a strong trajectory in bidirectional programming, program synthesis, and graph processing. The research shows increasing sophistication in handling program transformations, with growing emphasis on practical applications in software engineering contexts. His work increasingly integrates formal methods with practical programming language design, creating systems that maintain theoretical soundness while addressing real-world software development challenges. The research spans multiple venues including top conferences like PLDI, POPL, ICFP, and OOPSLA, reflecting its broad impact across programming language research. Fellow of JFES (Japan Federation of Engineering Society, 2016) ACM Distinguished Scientist (2016) Member of Academia Europaea (2019) IEEE Fellow (2020) Member of Engineering Academy of Japan (2020) Professor Hu actively mentors students and has welcomed excellent candidates to join his group through Peking University's International Elite PhD Program and Boya Postdoctoral Fellowship Program. He serves on numerous program committees for major conferences including PLDI, POPL, ICFP, and OOPSLA, and holds editorial positions for prestigious journals such as Journal of Functional Programming and Science of Computer Programming. His leadership extends to conference organization, having served as PC Chair for CNCC 2024 and General Co-Chair for SoICT 2019. As Director of the Programming Languages Laboratory at Peking University, Professor Hu leads a research team focused on advancing programming language theory and practice. His lab has developed influential frameworks like BiGUL for bidirectional programming and Fregel for graph processing. The laboratory maintains strong international collaborations and contributes to both theoretical foundations and practical implementations in programming languages and software engineering.

• Theoretical Computer Science
• Formal Program Verification
• Parametrised Algorithms
• +۴ مورد دیگر

Amir Kafshdar Goharshady is an Associate Professor of Computer Science at the University of Oxford and a Tutorial Fellow at St Catherine's College. His research focuses on theoretical computer science, including formal program verification, parametrised algorithms, compiler optimisation, and blockchain technology. He leads the ALPACAS research group, which explores algorithms, logic, program analysis, cryptocurrencies, and smart contracts. Education: PhD in Theoretical Computer Science from IST Austria (supervised by Prof. Krishnendu Chatterjee), MSc in Computer Science (Systems) from Georgia Tech, and undergraduate studies in Maths and Computing at the Universities of London and Yazd. Prior to Oxford, he was an Assistant Professor at HKUST and maintains a visiting role at IIT Bombay. Research Interests: Formal methods for program verification Algorithmic efficiency in compiler optimisation Decentralized systems and blockchain applications Game-theoretic approaches to secure protocols Advising and Grants: Supervises over 20 PhD and Master’s students, with a rigorous selection process emphasizing problem-solving skills. Leads an international research group with multiple grants and collaborations. Former roles include organizing high school Olympiads and founding the Sundar STEM School in Pakistan. Labs/Teams: ALPACAS group, known for its work on smart contract optimization, blockchain security, and parametrised algorithm design. Regularly hosts visiting researchers such as Petr Novotný and Thomas Henzinger.

Federico Reghenzaniمشاهده پروفایل

استادیار

• Computer Science
• Embedded Systems
• Fault Tolerance
• +۳ مورد دیگر

Federico Reghenzani is an Assistant Professor at Politecnico di Milano in the Department of Electronics, Information and Bioengineering. His research focuses on computer science, embedded systems, fault tolerance, high-performance computing, real-time systems, and compiler technology. He leads the HEAP Lab where his team investigates reliability engineering and hardware-software co-design for safety-critical applications. Reghenzani's research examines software-based approaches to hardware fault tolerance, compiler technologies for reliability enhancement, and resource management in high-performance computing environments. His work has significant applications in aerospace systems, real-time embedded platforms, and next-generation computing architectures. His publications demonstrate a consistent focus on improving system reliability through compiler techniques, fault injection methodologies, and hardware-software co-design. The research spans theoretical frameworks, practical implementations, and experimental validation across diverse computing environments.

Anna Harveyمشاهده پروفایل

استاد

• Criminal Justice
• Policing
• Judicial Politics
• +۷ مورد دیگر

Anna Harvey is a Professor of Politics at New York University (NYU), affiliated with the departments of Data Science and Law. She serves as Director of the Public Safety Lab and Co-Director of the Criminal Justice Expert Panel. Her research focuses on criminal justice reform, policing, judicial politics, and political economy, with particular attention to racial disparities and policy impacts. Harvey holds a Ph.D., M.A., and B.A. in political science from Princeton University and the Honors Tutorial College at Ohio University. Her work includes groundbreaking studies on the effects of misdemeanor prosecution on recidivism, the impact of reform prosecutors on crime rates, and the role of fiscal incentives in law enforcement. She leads the Jail Data Initiative, collecting and analyzing county jail records to address pretrial detention practices and voting rights. Recent projects explore the causal effects of Citizens United on legislative preferences and historical civil rights litigation on crime victimization disparities. Harvey has received grants from the William T. Grant Foundation, Chan Zuckerberg Initiative, Arnold Ventures, and others. She co-authored Judicial Decision-Making: A Coursebook (2020) and previously served as President of the Social Science Research Council. Her research emphasizes rigorous causal inference methods, including regression discontinuity designs and difference-in-differences approaches. Harvey’s Public Safety Lab collaborates with law enforcement agencies and nonprofits to design equitable criminal justice policies. Ongoing projects include evaluating the effects of prosecutorial reforms, analyzing jail incarceration’s impact on voting, and investigating racial disparities in policing outcomes. Her work bridges academia and public policy, aiming to inform evidence-based reforms.

Myrna Dawsonمشاهده پروفایل

استاد

• Femicide
• Domestic Violence
• Gender-Based Violence
• +۵ مورد دیگر

Myrna Dawson is a Professor and Research Leadership Chair in the Department of Sociology & Anthropology at the University of Guelph, within the College of Social & Applied Human Sciences. She holds the Canada Research Chair in Public Policy in Criminal Justice and directs the Centre for the Study of Social and Legal Responses to Violence (CSSLRV), established in 2005. Her research focuses on lethal/non-lethal violence, particularly intimate partner violence, and legal/social responses to victimization. Dawson is a global leader in femicide studies, co-directing the Canadian Domestic Homicide Prevention Initiative and founding the Canadian Femicide Observatory for Justice and Accountability. She advises international bodies like the United Nations and has authored/co-authored influential publications on violence prevention and gender-based violence frameworks. Education: PhD in Sociology, University of Toronto (2001) Research Interests: Dawson’s work addresses femicide, domestic homicide, gender-based violence, and policy development. She examines systemic barriers to victim safety in rural/remote areas, comparative criminal justice outcomes, and the role of hate crime legislation. Her research often intersects with intersectionality, migration, and global human rights frameworks. Key Contributions: Her work has influenced Canadian policy through initiatives like the Domestic Violence Death Review Committee (2005–2020). Internationally, she collaborates with institutions in Australia, Latin America, and Europe to advance violence prevention strategies. Recent articles highlight challenges in defining femicide globally and improving data collection to inform policy. Scientific Awards: Canada Research Chair in Public Policy in Criminal Justice Labs/Teams: CSSLRV, Canadian Femicide Observatory, Canadian Domestic Homicide Prevention Initiative Advising: Supervises graduate students in Sociology and Criminology (listed in full description).

Ana Belén Llopis Cardonaمشاهده پروفایل

دانشیار

• Discourse Markers
• Pragmatics
• Discourse Analysis
• +۷ مورد دیگر

Ana Belén Llopis Cardona is an Associate Professor in the Department of Spanish Philology at the Faculty of Philology, Translation and Communication, University of Valencia. She is a member of the Val.Es.Co. research group, dedicated to the study of colloquial Spanish. Her academic work centers on discourse analysis, pragmatics, and the functional roles of discourse markers in spoken and written Spanish. PhD in Spanish Linguistics, University of Valencia, 2011 Supervised by Dr. Salvador Pons Bordería and Dr. Antonio Briz Gómez Her research explores the evolution and usage of discourse markers such as "eso sí," "por su parte," "en definitiva," and "igual/lo mismo," analyzing their semantic-pragmatic cycles, grammaticalization processes, and sociolinguistic functions. She investigates how colloquial language functions as a rhetorical strategy in media genres like radio commentary. Her methodological approach integrates corpus analysis, construction grammar, and functional linguistics. Her recent publications span topics including evidentiality (e.g., "según"), politeness in dialogic literary gatherings, and prosodic variation in discourse particles. The body of her work reveals a consistent focus on the dynamic interplay between form, function, and context in Spanish discourse. Discourse Markers Pragmatics Grammaticalization Spanish Linguistics Evidentiality Colloquial Register Ana Belén Llopis Cardona actively contributes to academic discourse through publications in international journals and participation in research collaborations. While specific grant details are not listed, her sustained scholarly output indicates ongoing research activity and academic engagement.

Sarah E. Chasinsمشاهده پروفایل

استادیار

• Programming Languages
• Human-Computer Interaction
• Program Synthesis
• +۳ مورد دیگر

Sarah E. Chasins is an Assistant Professor at the University of California at Berkeley , affiliated with the College of Engineering and Department of Electrical Engineering and Computer Sciences . She leads the PLAIT Lab (Programming Languages for Approachable and Inclusive Tools), with additional affiliations at the Berkeley Institute for Data Science (BIDS) and collaborations across disciplines. Her research focuses on democratizing programming through Program synthesis Human-Computer Interaction for programming languages Tools for non-traditional programmers Embedded domain-specific language design Web automation frameworks She has developed systems like Ringer for browser automation and Skip Blocks for execution history reuse. Recent publications highlight trends in Direct manipulation programming Synthesis-backed refactoring Sequence-to-tree code search DSL usability for domain experts Functional programming practices Web script optimization She has advised numerous graduate and undergraduate researchers, including: Current PhD students: Justin Lubin, Eric Rawn, Parker Ziegler Alumni: Gabriel Matute (MSc), Rebecca Hicke (undergraduate) Her service includes committee roles at top conferences like OOPSLA, PLDI, and PLATEAU, as well as teaching courses on CS164: Programming Languages and Compilers CS294-184: Building User-Centered Programming Tools CS39-001: Technology, Society, and Power

Gabriel Gomezمشاهده پروفایل

استاد

• Information Science
• Library and Information Science
• Big Data and Society
• +۷ مورد دیگر

Gabriel Gomez is a Professor in the Department of Information Studies within the College of Arts & Sciences at Chicago State University. His work bridges library science, social justice, and digital culture, with a strong emphasis on LGBTQ history and the societal implications of big data. He holds a Ph.D. and MA from Northwestern University and a BFA from the School of the Art Institute of Chicago. Ph.D., Northwestern University MA, Northwestern University BFA, School of the Art Institute of Chicago His research centers on the cultural impact of data, information literacy, and LGBTQ education and history. He critically examines how big data shapes human behavior, challenges empowerment through information literacy, and promotes inclusive narratives through public history projects like The Legacy Project . His interdisciplinary approach connects library science with critical theory, museum studies, and social justice advocacy. The recent publications reveal a consistent focus on big data ethics, information behavior, and LGBTQ representation. His work interrogates the instrumentalist views of data, advocates for ethical information practices, and documents marginalized histories. He frequently explores how digital tools can either reinforce or challenge power structures in education and society. Scientific awards and recognitions include: 2024 Spring CHICAGO STATE RESEARCH CUES AWARD 2018–2020 Fulbright Specialist Award (New Delhi, India) 2017 Faculty Excellence Award 2014 Professional Advancement Increase (PAI) Award 2013 Center for Teaching and Research Excellence Grant 2007 Dean’s Professional Development Award 2005 Fulbright Lecturer Award (Aligarh Muslim University, India) Gomez has secured multiple grants supporting research in information literacy, LGBTQ history, and data mining in education. He has collaborated with institutions internationally, including the Council of Scientific and Industrial Research (CSIR)-NISCAIR in India, and has contributed to accreditation frameworks in library education. His advising may involve students in public history, digital curation, and social justice projects, though specific advisees are not listed. He is a key figure in The Legacy Project , an initiative creating permanent outdoor exhibits of LGBTQ history, demonstrating his commitment to community-based scholarship and public engagement. This project connects museum advocacy with education and role model visibility, serving as a living archive of LGBTQ contributions.

Alan Ballمشاهده پروفایل

استاد

• Soviet History
• Cold War Studies
• Russian-American Relations
• +۳ مورد دیگر

Alan Ball is Professor of History in the Department of History at Marquette University's College of Arts and Sciences. His office is located in Sensenbrenner Hall, 303F, Milwaukee, WI. Specializing in Soviet history and Cold War studies, he has maintained a dual scholarly focus through traditional historical research and contemporary judicial analysis via his influential SCOWstats blog . His research interests span Soviet historical demography, Russian-American cultural relations, Cold War ideological constructs, and modern judicial statistics. Ball's unique SCOWstats project analyzes Wisconsin Supreme Court voting patterns across 104 years, with findings cited by journalists and Supreme Court justices in official opinions. The blog's innovative "Law-Firm Fantasy League" engages legal professionals through competitive analysis of judicial decisions. Notable publications include: Russia's Last Capitalists: The Nepmen, 1921-1929 (UC Press, 1987) And Now My Soul Is Hardened: Abandoned Children in Soviet Russia, 1918-1930 (UC Press, 1994) Imagining America: Influence and Images in Twentieth-Century Russia (Rowman & Littlefield, 2003) Liberty's Tears: Soviet Portraits of the 'American Way of Life' During the Cold War (Oxford UP, 2015) His recent statistical analyses of court polarization, unanimous decisions, and historical voting patterns demonstrate rigorous quantitative approaches to legal history. Ball's teaching portfolio includes courses on Russian history, the Cold War, and Soviet perspectives on America. Academic background: Ph.D. in History, University of North Carolina at Chapel Hill (1982)