Jenna Wise DiVincenzo is an Assistant Professor at the Elmore Family School of Electrical and Computer Engineering at Purdue University. She specializes in research areas such as software verification, formal methods, and programming languages, with a focus on gradual verification techniques that combine static and dynamic analysis. Her work emphasizes usability and scalability in verification tools, and she has contributed to projects like Gradual C0 and gradual null-pointer analysis. Dr. DiVincenzo earned her PhD in Software Engineering from Carnegie Mellon University (2023) and a BS in Mathematics and Computer Science from Youngstown State University (2017). She has interned at IBM Research, MIT Lincoln Laboratory, and the Software Engineering Research and Empirical Studies Lab at YSU. Her awards include the Google PhD Fellowship, NSF GRFP Fellowship, and 2022 Rising Star in EECS. Her research projects span theoretical advancements in gradual verification, empirical studies on usability, and practical tool development. She advises PhD students (e.g., Craig Liu, Conrad Zimmerman) and collaborates on initiatives like gradual verification for Rust and educational tools to teach verification concepts. Her work also explores leveraging large language models for specification generation and enhancing verification tool soundness through formal proofs.
Benjamin Carrison-Schafer is an Associate Professor and Assistant Dean for Graduate Student Success at the Department of Electrical and Computer Engineering, Erik Jonsson School of Engineering and Computer Science, University of Texas at Dallas. He leads the Design Automation and Reconfigurable Computing Laboratory (DARClab), focusing on systems, high-level design, and programming methodologies for VLSI computing systems and FPGAs. Education: MBA from McGill University, Canada (2012) PhD in Electrical and Electronic Engineering from University of Birmingham, UK (2003) Research Interests: His work spans modeling, analysis, synthesis, optimization, and implementation of VLSI systems. Current projects include: Approximate Computing, High-Level Synthesis Design Space Exploration, Hardware Security, Behavioral MPSoC Optimization, and Automatic Fault-Tolerant System Generation. His research blends theory and practice, using analytical and experimental techniques to solve real-world problems. Publication Trends: Recent publications demonstrate strong focus on hardware security, FPGA optimization, and automated design methodologies. Key themes include High-Level Synthesis innovations, hardware acceleration techniques, and cross-disciplinary applications of reconfigurable computing. His work frequently addresses challenges in hardware trustworthiness, energy efficiency, and design automation scalability. Professional Activities: Associate Editor: IEEE Transactions on Sustainable Computing (2022-present) Conference Chair: ICCD 2024, DCAS 2024 Program Committee: ASP-DAC, DATE, FCCM, GLSVLSI Advising & Labs: Supervises multiple PhD and Master's students at DARClab. Current research includes domain-specific architecture design, hardware security, sustainable computing, and ML for VLSI design. The lab collaborates with industry partners like Renesas Electronics and develops commercial tools through spin-off company highX Technologies.
Florentina Bunea is a Professor in the Department of Statistics and Data Science at Cornell University’s Bowers College of Computing and Information Science, and an active member of the Graduate Fields of Statistics, Applied Mathematics, and Computer Science. She also serves on the Diversity and Inclusion Council of her college, championing workforce diversity in data-science disciplines. Education & Institutional Roles Professor, Department of Statistics and Data Science, Cornell University Member, Graduate Fields of Statistics, Applied Mathematics, Computer Science Member, Diversity and Inclusion Council, Bowers College of Computing and Information Science Research Interests Professor Bunea’s research lies at the intersection of statistical machine-learning theory and high-dimensional inference. She develops rigorous methodology supported by sharp theoretical guarantees to tackle core problems in modern data science. Recent themes include: Soft-max mixtures for understanding large-language-model/AI algorithms Optimal transport for high-dimensional mixture distributions Wasserstein-distance inference for sparse mixing measures in topic models Latent-space clustering and cluster-based inference in high dimensions Network modeling and hidden-structure inference Applications spanning genetics, systems immunology, neuroscience, sociology, and economics Research Funding & Awards Her work is supported by grants from the National Science Foundation (NSF-DMS). She is a Fellow of the Institute of Mathematical Statistics and a recipient of the IMS Medallion Award. Editorial & Service Contributions Associate Editor: Annals of Statistics, Bernoulli, JASA, JRSS-B, EJS, Annals of Applied Statistics Co-Editor: Chapman & Hall/CRC Statistics and Applied Probability Monograph Series Advising & Collaboration Professor Bunea has mentored numerous doctoral and post-doctoral researchers, including Xin Bing, Shuyu Liu, Seth Strimas-Mackey, and Yang Ning, among others. Collaborative projects extend across Cornell and external institutions, producing widely-used software packages and high-impact publications. Contact Office: 1184 Comstock Hall, Cornell University Email: fb238@cornell.edu Phone: (607) 255-8449
Sarita V Adve is the Richard T. Cheng Professor of Computer Science at the University of Illinois at Urbana-Champaign, where she conducts research spanning hardware, programming languages, operating systems, and applications with a focus on domain-specific systems. Her work bridges theoretical foundations and practical implementations, particularly in extended reality and heterogeneous computing. Her educational background includes a Ph.D. and M.S. in Computer Science from the University of Wisconsin-Madison (1993, 1989) and a B.Tech in Electrical Engineering from the Indian Institute of Technology Bombay (1987). Prior to joining Illinois, she served on the faculty at Rice University from 1993 to 1999. Adve's research centers on generalizable and scalable specialization for domain-specific systems, with current emphasis on extended reality (XR) systems including virtual, augmented, and mixed reality. She chairs the ILLIXR consortium to democratize XR research and developed the first fully open-source XR system (ILLIXR). Her foundational contributions include memory consistency models for C++ and Java programming languages, the Spandex coherence framework for heterogeneous systems, and software-driven approaches for hardware reliability. Her work spans hardware reliability (SWAT and RAMP projects), power management (GRACE system), and instruction-level parallelism. Recent publications reveal a strong focus on energy-efficient XR systems, hardware-software co-design for AI workloads, and resilience analysis. Her team explores rendering offload, visual-inertial odometry optimization, and compositional error injection frameworks, often targeting tradeoffs between energy, latency, and accuracy in mobile and edge environments. Fellow of the American Academy of Arts and Sciences Fellow of the ACM and IEEE ACM/IEEE-CS Ken Kennedy Award Anita Borg Institute Woman of Vision in Innovation Award ACM SIGARCH Maurice Wilkes Award Alfred P. Sloan Research Fellowship UIUC University Scholar University of Illinois Campus Award for Excellence in Graduate Student Mentoring Adve actively mentors students and has received multiple teaching awards. She co-founded the CARES movement to address discrimination in CS research events and chairs CS@Illinois CARES. Her service includes leadership roles in ACM SIGARCH (2015-2019), DARPA/ISAT study group, ACM Council, and Computing Research Association. She has secured significant funding including DARPA initiatives and Google Faculty Research Awards. She leads the ILLIXR consortium and has established collaborative research programs such as the $8.3M DARPA Joint University Microelectronics Program. Her lab focuses on open-source XR development, heterogeneous system architectures, and reliability-aware designs, with strong industry and government partnerships.
Christopher Potts is Professor and Chair of Linguistics at Stanford University, with a courtesy appointment as Professor of Computer Science. He serves as Director Emeritus of the Stanford Center for the Study of Language and Information (CSLI) and leads the Pragmatic Enrichment & Contextual Interface Lab. His work bridges theoretical linguistics and computational approaches to language understanding. Education: B.A. in Linguistics from New York University (1999) Ph.D. in Linguistics from University of California, Santa Cruz (2003) Potts' research focuses on how computational methods can illuminate linguistic phenomena, particularly in the areas of semantics, pragmatics, and sentiment analysis. His work explores how emotion is expressed in language and how linguistic production and interpretation are influenced by context. He has made significant contributions to understanding conventional implicatures, sentiment analysis frameworks, and the application of neural networks to linguistic problems. His recent work has increasingly focused on the interpretability of large language models and the development of frameworks like DSPy for building reliable AI systems. An analysis of Potts' recent publications reveals a strong trend toward the intersection of linguistic theory and practical AI applications. His work spans theoretical linguistics (e.g., compositionality, preposing constructions), neural network interpretability, and practical NLP systems (e.g., ColBERT, DSPy). The research demonstrates consistent focus on making language models more transparent, controllable, and linguistically informed, with particular attention to how context shapes meaning. Scientific Awards: Best Paper Award at 2024 ACL for 'Mission: Impossible Language Models' Outstanding Paper Award at 2024 ACL for 'CausalGym' ACL Test of Time Award 2023 Dean's Award for Distinguished Teaching (2015-2016) Best New Data Set or Resource Award at 2015 EMNLP Potts has secured numerous research grants as PI or Co-PI from major organizations including Google, Amazon, NSF, Office of Naval Research, and Stanford's HAI institute. His current projects focus on evaluation of retrieval-augmented generation systems, LLM-mediated communication in organizations, interpretability techniques for language models, and frameworks like DSPy for building next-generation AI systems. He has mentored numerous researchers who have gone on to make significant contributions in NLP and computational linguistics. As Director of CSLI (2013-2020) and current Chair of Linguistics at Stanford, Potts has played a key leadership role in shaping interdisciplinary research at the intersection of language, computation, and cognition. His Pragmatic Enrichment & Contextual Interface Lab continues to be a hub for innovative research combining formal linguistic theory with cutting-edge computational methods.
Diane E. Austin is a Professor and Director of the School of Anthropology at the University of Arizona. She also serves as a Research Anthropologist at the Bureau of Applied Research in Anthropology (BARA). Her work focuses on environmental anthropology, particularly community dynamics in industrial and environmental contexts, with a strong emphasis on social justice and collaborative research. She has over 25 years of experience leading interdisciplinary projects in the U.S., Mexico, and Gulf Coast regions. Austin's research spans diverse areas including Native American communities, U.S.-Mexico border sustainability, Gulf Coast oil industry impacts, and urban food systems in arid regions. She has pioneered long-term partnerships with tribal organizations, federal agencies, and community groups, earning recognition such as the University Distinguished Outreach Professor (2008) and Distinguished Director (2023). Her recent work highlights longitudinal studies on the Deepwater Horizon oil spill's social effects, binational environmental initiatives in Nogales, and community-based approaches to disaster resilience. She coordinates BARA's internship and post-baccalaureate programs, supporting hundreds of students in applied anthropological research. Awards: Partners in Conservation Award (2010), Border Research Partnership Award Finalist (2012) Leadership Roles: Chair of the Good Neighbor Environmental Board, Member of the Gulf Research Program Advisory Board Key Projects: Southern Paiute cultural preservation, Gulf Coast oil industry studies, Nogales reforestation initiatives Austin’s teaching includes courses on ethnographic methods, data analysis, and mixed-methods research. She actively engages in policy advocacy, contributing expert testimony in legal proceedings related to environmental disasters and labor rights.
Eric Wong is an Assistant Professor in the Department of Computer and Information Science at the University of Pennsylvania, affiliated with the ASSET Center and leading the Brachio Lab. His research focuses on robust and reliable machine learning, including model debugging, adversarial robustness, and explainable AI. He holds a PhD from Carnegie Mellon University (CMU), advised by J. Zico Kolter, and completed a postdoc with Aleksander Madry. His work bridges theory and practice, addressing challenges in model interpretability, safety, and scalability. Teaching includes CIS 5200 (Machine Learning), CIS 3333 (Mathematics for Machine Learning), and a specialized course on debugging ML pipelines. Notable contributions include the FIX Benchmark for interpretable features and defenses against LLM jailbreaking attacks. He received an Amazon Research Award in 2024 and has published extensively in top conferences like ICML, NeurIPS, and ICLR. Affiliations: University of Pennsylvania (CIS), ASSET Center, Brachio Lab Education: PhD in Machine Learning (CMU), Postdoc at MIT Key Projects: FIX Benchmark, DOLPHIN framework, SmoothLLM defense Awards: Amazon Research Award (2024) Lab Focus: Safe AI, model debugging, neurosymbolic learning
Rana Hanocka is an Assistant Professor of Computer Science at the University of Chicago, leading the 3DL research group focused on AI-driven 3D geometry processing. She earned her Ph.D. in 2021 from Tel Aviv University under Professors Daniel Cohen-Or and Raja Giryes. Her work explores neural networks for unstructured 3D data, including mesh convolutional networks and self-priors for shape reconstruction. Key research areas include geometric deep learning, human-AI collaboration in 3D modeling, and interpretable neural networks. Notable contributions include MeshCNN (SIGGRAPH 2019) and Point2Mesh (NeurIPS 2020), advancing mesh analysis and point cloud processing. Awards include the 2023 Pazy Research Award and 2020 Rising Star in EECS. Education : Ph.D. Computer Science, Tel Aviv University (2021) Labs/Groups : 3DL Group at UChicago Grants : NSF Grant for AI-driven 3D modeling tools (2023) Research directions emphasize creative human-AI partnerships, unsupervised learning from shape collections, and explainable 3D neural networks. Ongoing projects include style-aware 3D synthesis, interactive segmentation, and multimodal shape interfaces.
Mohsen Goudarzi is an Associate Professor of Islamic Studies at Harvard Divinity School (HDS), part of Harvard University. He joined the faculty in 2021 after teaching at the University of Minnesota. His academic background includes a PhD from Harvard University and an MA from Stanford University. His research focuses on the Qur’an and early Islamic history, employing literary, linguistic, comparative, and historical approaches. Key interests include the Qur’an’s role in Late Antique religious developments, Islamic exegetical traditions (tafsīr), and theological frameworks (kalām). His current projects explore the Qur’anic worldview’s interpretation and the significance of Meccan cultic rituals to early Islamic identity. He has received teaching excellence awards, including a certificate from the University of Minnesota’s Center for Educational Innovation and three teaching distinctions from Harvard’s Office of Undergraduate Education. Research outputs include groundbreaking articles on Qur’anic exegesis, cultic practices, and interreligious dynamics. Notable works analyze the Qur’an’s engagement with Abrahamic traditions, ritual practices in Mecca, and the textual history of early Islamic manuscripts. His collaborative work on the Ṣan‘ā’1 codex redefined understandings of early Qur’anic canonization. Teaching spans HDS and Harvard’s Faculty of Arts and Sciences (FAS), covering Islamic studies, Qur’anic studies, and religious history. He advises students in HDS programs and contributes to interdisciplinary initiatives at the intersection of theology, history, and textual criticism.
David Trend is a Professor and former Chair of the Department of Art at the Claire Trevor School of the Arts, University of California, Irvine. He previously served as Dean of Creative Arts at De Anza College and Graduate Program Coordinator at San Francisco State University's Inter-Arts Center. Trend specializes in visual culture, cultural studies, and critical pedagogy, teaching courses like Language and Vision in Everyday Life and Media, Art, and Technology . His research bridges media analysis, education policy, and radical democracy. He has authored over 200 articles and 16 books, including Elsewhere in America and Reading Digital Culture . As a Getty Scholar, his work explores cultural belonging, digital media impacts, and educational innovation. He advises on state arts councils and the National Endowment for the Arts. His academic contributions span visual arts education, media literacy, and the sociopolitical role of art. Education: - MFA in Photography, Visual Studies Workshop Program, SUNY Buffalo - PhD in Curriculum Theory, Miami University Research Interests: Trend's work examines cultural crises of meaning, digital media's societal impact, and the intersection of art with education and activism. He critiques gentrification's artistic drivers, explores identity formation in digital spaces, and advocates for culturally democratic pedagogical frameworks. Publications Trends: Recent works focus on gentrification's artistic dimensions ( 2022 ), creativity crises ( 2020 ), and belonging in fragmented cultures ( 2016 ). Earlier work addressed media violence myths ( 2007 ), digital literacy ( 2001 ), and radical democracy ( 1996 ). His writing spans academic critiques to practical pedagogical solutions. Awards: Getty Scholar Grants & Consulting: Extensive NEA collaborations, foundation advising, and state arts council consultations. His work emphasizes bridging educational institutions with Silicon Valley corporations through multimedia partnerships. Labs/Teams: Affiliated with UCI's University Art Galleries, Institute and Museum of California Art, and Electronic Art + Design programs.
Jianguo Wang is an Assistant Professor in the Department of Computer Science at Purdue University, joining in Spring 2021. His research focuses on database systems for the cloud and large language models, including disaggregated databases and vector databases. He holds a PhD from the University of California, San Diego, and has worked at Zilliz (Milvus) and Amazon Web Services (AWS). Education: PhD in Computer Science (UC San Diego, 2019), MPhil (Hong Kong Polytechnic University), BSc (Zhengzhou University) Research interests include Disaggregated Databases, Vector Databases for Large Language Models, and cloud-native systems. Notable work includes OpenAurora (an open-source Amazon Aurora prototype) and contributions to Milvus. He has received grants like the NSF CAREER Award and honors such as the IEEE TCDE Rising Star Award. Advising a team of students in database systems and teaching courses like CS592 (Disaggregated Database Systems) and CS440 (Large-scale Data Analytics). Serves on program committees for SIGMOD, VLDB, and ICDE.
Xiangyu Zhang is the Samuel D. Conte Professor of Computer Science at Purdue University. He specializes in AI security, software analysis, and cyber forensics, with a focus on detecting vulnerabilities in traditional software and AI systems. His research includes dynamic slicing, program profiling, and securing AI models against backdoors. He has led projects funded by DARPA, IARPA, NSF, and industry, securing over $13 million in grants. He has mentored 30+ PhD students and postdocs, many of whom hold academic positions or industry roles. His work has been recognized with awards like the ACM SIGPLAN Distinguished Dissertation Award and NSF Career Award. Education: PhD, Computer Science, University of Arizona (2006) MS & BS, Computer Science, University of Science and Technology of China (2000 & 1998) Research Interests: AI Security: backdoor detection, adversarial attacks, model integrity Program Analysis: dynamic slicing, static/dynamic debugging Cyber Forensics: log analysis, attack investigation Software Reliability: fault localization, vulnerability detection Key Projects: DARPA V-SPELLS: domain-specific program analysis IARPA TrojAI: AI backdoor detection competitions NSF-funded research on model debugging and co-reasoning of software/NL artifacts Awards & Recognition: Top performer in IARPA TrojAI competitions (13/18 rounds) ACM SIGPLAN Distinguished Dissertation Award (2006) NSF Career Award (2009) Ranked 8th globally in systems research productivity (2024) Career Contributions: Secured over $13M in research funding Guided 25 PhDs and 8 postdocs Published 89+ top-tier papers (2014–2024)
Eytan Adar is a Professor of Information and Computer Science at the University of Michigan, holding dual appointments in the School of Information and the College of Engineering's Electrical Engineering and Computer Science department. His work sits at the intersection of human-computer interaction and artificial intelligence, focusing on large-scale systems analysis and novel interface design. Adar's research spans multiple domains including social media analysis (Twitter, Reddit), academic citation networks, meme propagation, information extraction, and political networks. His methodological expertise includes data mining, data visualization, and graph-based network analysis. His work often operates at internet scale, examining language, creativity, social network dynamics, and text production. His recent publications reveal a strong focus on AI-human collaboration, with particular attention to generative AI interfaces, visualization techniques for complex data, and ethical considerations in AI systems. His work shows a consistent pattern of bridging theoretical insights with practical system implementations. Best Paper Award at ProtoAI: Model-Informed Prototyping for AI-Powered Interfaces, IUI'21 Honorable Mention Award at CHI'24 for feminist interaction techniques research Best Paper Award at ICWSM'18 for Wikipedia language edition analysis Best Paper Award at ICML 2016 Workshop for neural language model visualization Best Student Paper at WSDM'09 for web dynamics research Best of CHI at CHI 2008 for web revisitation patterns analysis Adar has advised numerous PhD students who have gone on to prominent positions at organizations including Google, Apple, RAND, Northwestern University, and Stanford. His research is generously supported by the NSF, IARPA, NIH, the Education Department, and major technology companies including Adobe, Microsoft, Facebook, Google, and Yahoo. He is also a founder of the International Conference on Web and Social Media (ICWSM) and has served as Co-General Chair for WSDM and Co-Program Chair for UIST.
Elena Agapie is an Assistant Professor in the Department of Informatics at the Donald Bren School of Information & Computer Sciences, University of California, Irvine. Her research lies at the intersection of human-computer interaction (HCI), health, and behavior change, focusing on designing technologies that support individuals in adopting and maintaining healthy behaviors through human-centered approaches. She is affiliated with the Connected Learning Lab and the Institute for Future Health at UCI. Her educational background includes a PhD in Human Centered Design and Engineering from the University of Washington, an MS in Computer Science from Harvard University, and a BS in Computer Science from Jacobs University Bremen in Germany. She has also conducted research at Microsoft Research, FXPAL, Intel Labs, and NASA Jet Propulsion Lab. Elena's research focuses on designing tools that integrate evidence-based behavioral interventions with user needs, particularly in mental health, chronic disease management, and social support systems. She explores how technology can support therapist-client collaboration, enable tailored health interventions, and leverage crowd expertise for personalized behavior change plans. Her work often involves participatory design, qualitative studies, and prototyping of interactive systems for diverse populations, including youth, hospitalized patients, and underserved communities. Her recent publications, primarily in top-tier venues like CHI and CSCW, reflect a strong trend toward social computing in health, longitudinal behavior support, and the design of inclusive digital health tools. Key themes include goal setting, conversational agents, social sharing in health tracking, and cross-disciplinary collaboration in health technology development. Best Paper Award (top 1%) at CHI 2017 Honorable Mention Best Paper Award (top 5%) at CHI 2016 Best Paper Award (top 1%) at HCOMP 2015 Honorable Mention Best Paper Award (top 5%) at CHI 2013 Elena has been funded by the National Science Foundation, National Institutes of Health, and UCI internal grants. She actively mentors PhD students including Bruna Oewel, Meeshu Agnihotri, and Mehreen Masood, and is currently recruiting students interested in HCI, health, and behavior change. She previously led the outreach program in the HCDE department at the University of Washington, creating workshops that introduced K–12 students to engineering and human-centered design, reaching over 2,000 students across public schools and community events. She runs initiatives to broaden participation in computing and advises undergraduate students in outreach and curriculum development. Her lab collaborates with clinical partners and interdisciplinary teams to ensure real-world impact of her research.
Ana Klimovic is an Assistant Professor at the Department of Computer Science, ETH Zürich, and Deputy Head of the Institute for Computing Platforms. She leads the Efficient Architectures and Systems Lab (EASL) and focuses on optimizing cloud computing performance and resource efficiency. Education: Ph.D. in Electrical Engineering (Stanford University), M.S. in Electrical Engineering (Stanford), B.A.Sc. in Engineering Science (University of Toronto) Previous Roles: Research Scientist at Google Brain Her research spans cloud computing, operating systems, distributed systems, and their intersection with machine learning. Key areas include cloud-native programming models, elastic storage, GPU sharing, and data pipeline optimization. The 2025-2024 articles highlight trends in serverless computing, large language model (LLM) serving, GPU optimization, and data-centric ML systems. Themes include elasticity, resource multiplexing, heterogeneous computing, and infrastructure for AI/ML workloads. Scientific Awards: Microsoft Research PhD Fellowship, Stanford Graduate Fellowship She has led research projects on ephemeral storage, distributed training automation, and cost-efficient ML preprocessing, with grants from Microsoft Research and Stanford.
