Osbert Bastani is an Associate Professor at the Department of Computer and Information Science, University of Pennsylvania, leading the trustml@Penn research group. He is affiliated with the ASSET , PRECISE , and PRiML centers, and the PLClub research group. His research focuses on Trustworthy Neurosymbolic Systems , Synthesizing Neurosymbolic Programs , and Machine Learning for Programmer Productivity , with applications in verification, fairness, and human-AI collaboration. He received the NSF CAREER Award in 2023. His recent publications (2024-2025) emphasize AI Safety , LLM Robustness , and Algorithmic Fairness , including work on adversarial robustness, conformal prediction, and program synthesis. Students he has advised include Sagnik Anupam, Stephen Mell, Jason Ma, Shuo Li, and others. Awards: NSF CAREER Award (2023)
Steven Jackson is a Professor of Information Science and Science and Technology Studies at Cornell University's Bowers College of Computing and Information Science, with additional graduate field appointments in Communication and Public Affairs. Since July 2023, he has served as Vice-Provost for Academic Innovation at Cornell, and previously held leadership positions as Chair of Information Science and Dean of William Keeton House. His work bridges academic research with significant institutional leadership in higher education innovation. Dr. Jackson's research focuses on critical intersections of technology, society, and the environment, with three primary strands: technology ethics, law and policy; maintenance, repair and sustainability; and technology, inequality and global development. His work draws from American pragmatism, political economy, and science and technology studies, integrating methods from sociology, anthropology, philosophy, and media studies. He is particularly interested in how computing practices meet social and material worlds, with implications for infrastructure, collaboration, sustainability, and cultural practice. His recent publications reveal a strong emphasis on repair as both theoretical concept and practical methodology, exploring 'ordinary hope' as a framework for technological engagement and examining unmaking as a necessary counterpart to design. The research spans diverse geographical contexts from the global North to South, addressing caste dynamics in computing, digital authoritarianism, and infrastructure challenges in developing contexts. Dr. Jackson has received significant recognition including an NSF CAREER award and more than twenty paper awards at leading computing and information science venues. His research has been supported by major organizations including the U.S. National Science Foundation, Social Science Research Council, Ford Foundation, Sloan Foundation, World Bank, Intel Research, Atkinson Center for Sustainability, and the Canadian Social Science and Humanities Research Council. As an advisor, Dr. Jackson has mentored numerous graduate students who have gone on to prominent positions at institutions worldwide. He currently advises Jen Liu, Amy Cheatle, Daniel Mwesigwa, Johan Michalove, and Ritik Batra, while his former students include Palashi Vaghela (Assistant Professor at Simon Fraser University), Samir Passi (Responsible AI Researcher at Microsoft), Maggie Jack (Assistant Professor at NYU), and Ranjit Singh (Senior Researcher at Data and Society). Dr. Jackson convenes the Computing On Earth Lab, an experimental collaboration bringing together social scientists, humanists, artists, and engineers to rethink the material and planetary foundations of computing. The lab reflects his commitment to interdisciplinary approaches that address computing's environmental impacts and sustainability challenges.
Haijun Xia is an Assistant Professor at the University of California, San Diego (UCSD), where he directs the Foundation Interface Lab and contributes to the Cognitive Science and Design Lab. His work focuses on Human-Computer Interaction (HCI) and Human-AI Collaboration , emphasizing the development of dynamic, malleable interfaces that integrate human cognition with intelligent systems to enhance thinking and working paradigms. Education: Bachelor's, Tsinghua University Master's and PhD, University of Toronto His research spans generative AI , interface design , and creative collaboration , with applications in data visualization, programming, and scholarly work. He advocates for treating information as a malleable material that can be flexibly manipulated by users and AI agents. Recent publications highlight advancements in: 2025 CHI Conference - Generative user interfaces, malleable overview-detail designs, and compositional structures for human-AI co-creation 2024 CHI Conference - Structured design space exploration with LLMs, ASCII diagram analysis, and adaptive presentation systems 2023 CHI/UIST Conferences - Data particle visualization, contextual logging tools, and metaphor generation for science communication Scientific recognitions include: Multiple Best Paper Awards and Honorable Mentions at CHI and UIST Hellman Fellowship and grants from NSF , Microsoft , Google , Meta , Apple , and Adobe He actively recruits undergraduate and graduate interns and has an upcoming postdoc position in early 2025 for researchers interested in foundational interface development.
Andrew Head is an Assistant Professor at the University of Pennsylvania in the Computer and Information Science department. His research focuses on human-computer interaction, programming, and reading, particularly in developing technology for interactive reading and reasoning. He advises PhD students Alyssa Hwang, Hita Kambhamettu, Litao Yan, Jeffrey Tao, and Jessica Shi, and co-leads the Penn Human-Computer Interaction (Penn HCI) group with Danaé Metaxa. His work is published in top venues like ACM CHI, UIST, and ICSE. Research Interests: Andrew's work bridges interactive systems with programming environments, aiming to enhance how scientists and programmers interact with their tools. Key areas include AI-assisted code understanding, math notation accessibility, and medical note interpretation through interactivity. He employs user studies to identify needs and builds interactive systems to address them. Recent Article Trends: His publications emphasize systems-centric HCI approaches, integrating AI into code and document interfaces. Topics span code explanation (e.g., Ivie), property-based testing (e.g., Tyche), math notation augmentation (e.g., FreeForm), and medical informatics (e.g., Explainable Notes). Recent work also explores notebook environments (e.g., Bolt-on, Tyche) and literate programming (e.g., Colaroid). Scientific Awards: Distinguished Paper Award, ICSE 2024 Best Paper Awards at CHI (2024, 2023, 2022, 2019), UIST (2023, 2018), and others. Nominated for Best Paper at CHI 2023 and VL/HCC 2015. Advising & Grants: Andrew advises multiple PhD students and has secured significant grants, including a $1M NSF award for 'Property-based Testing for the People' (2024). His group collaborates with Penn’s MindCORE center and teams like PLClub and PennNLP. Labs & Teams: He co-leads the Penn HCI group, which works closely with other Penn research teams and labs. The group focuses on creating interactive tools that enhance scientific and programming workflows, supported by grants and cross-institutional partnerships.
Takako Fujioka is an Associate Professor of Music at Stanford University, affiliated with the Center for Computer Research in Music and Acoustics (CCRMA). Her research focuses on the neural mechanisms underlying auditory perception, auditory-motor coupling, and music-supported therapy for neurorehabilitation. She holds a Ph.D. in Physiology from the Graduate University for Advanced Studies, Japan, and M.Sc./B.Eng. degrees in Electrical Engineering from Waseda University. Her work combines neurophysiological techniques such as MEG and EEG to study brain plasticity in development, aging, and stroke recovery. Notable contributions include investigating how music influences motor and cognitive recovery in stroke patients, as well as exploring the neural basis of musical perception through rhythmic synchronization and pitch discrimination studies. Supported by awards from the Canadian Institutes of Health Research during her postdoctoral work at the Rotman Research Institute, her research bridges clinical neuroscience and music cognition. Dr. Fujioka’s expertise spans auditory neuroscience, neurorehabilitation, and technology-assisted music therapy. She has pioneered studies on tactile mapping for cochlear implant users and networked music performance systems, emphasizing cross-modal perception and human-technology interaction. Her findings contribute to both theoretical understanding of auditory processing and practical applications in medical and educational settings. Awards: Canadian Institutes of Health Research Awards (postdoctoral phase) Labs/Teams: CCRMA, Stanford Music Perception Laboratory, Rotman Research Institute collaborations Key Themes: Neuroplasticity, Music-Mediated Rehabilitation, Auditory-Motor Integration, Multisensory Processing Her recent work examines aging-related changes in binaural hearing and the role of beta/gamma oscillations in rhythmic processing. She advocates for translational research that connects neural mechanisms with real-world therapeutic interventions.
Sanjit A. Seshia is the Cadence Founders Chair Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley . He is affiliated with the Group in Logic and the Methodology of Science and participates in centers like the Industrial Cyber-Physical Systems Center , Berkeley AI Research , and the Simons Institute for the Theory of Computing . Research interests include formal methods for automated verification and synthesis of dependable systems, with applications to cyber-physical systems , AI-based autonomy , and computer security . His work spans SMT solving, model counting, syntax-guided synthesis, and algorithmic improvisation, with tools like UCLID5 , VerifAI , and Scenic for verifying autonomous systems and educational platforms like CPSGrader . Students and collaborators include notable researchers such as Dorsa Sadigh (Stanford), Daniel Fremont (UC Santa Cruz), and Hazem Torfah (Chalmers). He has co-founded startups like Decyphir and 20ⁿ Labs based on his research.
François Guimbretière is a Professor in the Department of Information Science at Cornell University, with affiliations to the Department of Design & Technology. He holds a PhD in Computer Science from Stanford University and previously served on the faculty at the University of Maryland before joining Cornell in 2009. His research centers on human-computer interaction, human-robot interaction, and interface design, with a strong emphasis on hardware/software co-design to create seamless, sustainable, and innovative interactive systems. His work spans multiple domains including interactive fabrication, remote collaboration, and low-power interfaces. Guimbretière's recent research explores novel fabrication methods such as interactive printing and yarn-based electronics, as well as immersive remote embodiment systems that reduce reliance on physical travel. These efforts reflect a broader trend toward sustainable and accessible interaction technologies. His publications demonstrate consistent contributions to top-tier venues in HCI and ubiquitous computing, focusing on tangible, wearable, and environmentally conscious interfaces. Scientific Recognition: He advises graduate and undergraduate researchers in the development of next-generation interactive systems. His lab supports projects in digital fabrication, remote presence, and sustainable design, often involving interdisciplinary collaboration. While specific grants are not listed, his research trajectory suggests sustained funding in human-centered technology innovation. He leads a research group focused on building practical, user-centered systems that bridge the digital and physical worlds through creative engineering and design. The lab emphasizes hands-on prototyping, real-world deployment, and the integration of traditional craft with advanced technologies.
Danqi Chen is an Associate Professor in the Department of Computer Science at Princeton University's School of Engineering and Applied Science. Their research focuses on advancing large language models (LLMs), with emphasis on model alignment, safety, and long-context reasoning capabilities. Key research areas: LLMs, AI safety, retrieval systems, and model optimization Recent work explores theorem proving, context encoding, and ethical content generation Their 2025 publications highlight innovations in formal verification scaffolding, attention mechanism efficiency, and copyright-aware generation. 2024 studies investigate continual memorization, rule-based chatbot representations, and scientific literature retrieval benchmarks. Current projects demonstrate commitment to improving model robustness, interpretability, and security compliance in multimodal systems.
Michael S. Horn is a Professor of Learning Sciences and Computer Science at Northwestern University, serving as Program Coordinator for Learning Sciences. He holds a PhD in Computer Science from Tufts University and a ScB in Computer Science from Brown University. His research focuses on the intersection of human-computer interaction and learning, emphasizing the use of emerging technologies in museums, classrooms, and informal settings. Notable projects include multi-touch tabletops in natural history museums, tangible programming languages for early education, and the TIDAL Lab’s innovative exhibits like Build-a-Tree and DeepTree. Education background includes: PhD in Computer Science (Tufts University, 2009) MS in Computer Science (Tufts University, 2006) ScB in Computer Science (Brown University, 1997) Research interests span tangible interaction design, computational literacy, and museum-based learning. He has led projects such as the ‘Energy Monsters’ board game and the TunePad music-coding platform. His work integrates technology with pedagogical practices to foster collaborative and exploratory learning environments. Active collaborations include the Computer History Museum and the California Academy of Sciences. Advising contributions include mentoring doctoral students like Dr. Mmachi Obiorah and Pei-Yi. His lab, TIDAL, explores interactive technologies for education, with grants from NSF and industry partnerships. Recent articles highlight innovations in computational thinking integration, music-coding hybrid practices, and AI-driven qualitative analysis.
Adam Finkelstein is a Professor in the Department of Computer Science at Princeton University, where he has been a faculty member since 1997. He holds a PhD and Master's in Computer Science from the University of Washington and a dual degree in Physics and Computer Science from Swarthmore College. Finkelstein is renowned for his interdisciplinary work at the intersection of computer graphics, audio processing, and machine learning, and he co-organized the Art of Science exhibition at Princeton. Education: PhD, Computer Science, University of Washington MS, Computer Science, University of Washington BA, Physics and Computer Science, Swarthmore College His research spans audio processing (e.g., speech enhancement, voice conversion, audio metrics), computer graphics (e.g., line drawing algorithms, stylized rendering, image manipulation), and machine learning (e.g., self-supervised learning, differentiable programming). His work often bridges technical and creative domains, exemplified by collaborations at Pixar and Adobe Creative Technologies Lab. Recent publications highlight advancements in audio super-resolution and voice conversion using deep learning frameworks, as well as stylized line rendering for animated 3D models. His contributions to perceptual audio metrics and shader optimization further underscore his impact on human-centric computational systems. Scientific Awards: NSF CAREER Award Alfred P. Sloan Fellowship Fellow of the Association for Computing Machinery (ACM) Finkelstein has secured foundational grants for his research and actively mentors students, though no specific advisees are listed. He also explores collaborative tools for internet music performance, reflecting his broader interest in distributed systems and user interfaces.
N. Rich Nguyen is an Assistant Professor in the Department of Computer Science at the University of Virginia (UVA), where he joined in August 2018. He's part of the School of Engineering and Applied Science and is on a teaching track , focusing on making machine learning accessible and engaging for all students. Research and Innovation: Rich Nguyen's research interests include biomedical image analysis , machine learning , and computer science education . He aims to reinvent instructional activities to make them adaptive and engaging by incorporating art and music elements to help everyone learn coding. Notable research contributions include: Floodwatch : A system for flood monitoring using crowdsourced images TuneScope : A digital music creation tool combining SoundScope and Snaps! technology CAD Library : Open-source design tools for educators AI for early sepsis detection : Highlighted in UVA Today Teaching Accomplishments: Before UVA, Rich taught computer science courses at UNC Charlotte for four years to a total of 1,458 students. At UVA, he teaches several courses including: CS 4774: Machine Learning (multiple semesters) CS 2501: Machine Learning for All (launched in Fall 2021) SYS 6016 / SDS 6050: Deep Learning CS 2150: Data and Program Representation (multiple semesters) CS 6316: Machine Learning (Graduate Level) CS 2910: CS Education Practicum (for Teaching Assistants) He previously taught at UNC Charlotte: ITCS 1600: Computing Professionals ITCS 2600: Computing Professionals for Transfer Students ITCS 4156: Introduction to Machine Learning ITCS 2215: Design and Analysis of Algorithms Academic Achievements: Rich Nguyen has received several notable awards and grants: Google Faculty Award for Machine Learning Education with TensorFlow (2019) Best Paper Award at IEEE BigDataSE (2022) Best Poster Award at SITE Conference (2022) CCI Faculty Innovation Award (2018) NSF grants for Smart and Connected Communities (2022) and Computational Thinking (2021) 3 Cavaliers Grant on Coding and Music (2021) Student Mentorship: Rich has mentored numerous students and teaching assistants who have achieved recognition. Notable students include: Joy Qiu - Published in Clinical Infectious Diseases Louisa Edwards and Zach Boner - Invited to Ken Ono Podcast Mike Ferguson - Winner of CS Louis T. Rader Undergraduate Teaching Award He has also served as faculty advisor for HooHacks (UVA's hackathon) and co-founded CharlotteHack at UNC Charlotte. Labs and Collaborations: Rich Nguyen leads the ML4VA (Machine Learning for Virginia) initiative, engaging students in project-based learning to apply machine learning to real-world problems affecting Virginia communities. He collaborates with institutions for symposiums on smart cities, particularly with ASEAN universities, and has partnered with Premier Healthcare for hackathons and with Glen Bull on educational technology projects.
Michael S. Horn is a Professor at Northwestern University with a joint appointment in Computer Science and the Learning Sciences. He directs the Tangible Interaction Design and Learning (TIDAL) Lab and coordinates the Learning Sciences PhD Program. His work focuses on leveraging interactive technology to design innovative learning experiences, such as tangible programming languages (e.g., Tern) and music-coding platforms (e.g., TunePad). He holds a PhD from Tufts University and has collaborated with institutions like the California Academy of Sciences and the Museum of Science, Boston. Education: PhD in Computer Science, Tufts University MS in Computer Science, Tufts University BS in Computer Science, Brown University Research Interests: Dr. Horn explores how emerging technologies can create engaging learning environments. His projects include museum exhibits (e.g., DeepTree, Build-a-Tree), educational tools for computational literacy (e.g., TunePad, Strawbies), and collaborative design with educators. Recent work emphasizes integrating music and coding to foster computational thinking. Publications: His recent work addresses computational thinking in STEM education, AI-driven qualitative analysis, and hybrid music-coding practices. Themes include equitable participation, teacher professional development, and immersive AR/VR tools for learning. Awards: Recipient of the 2018 Edith Ackermann Award for innovative work in child-computer interaction. His research has led to commercial products like Osmo Coding and Kibo Robotics. Grants & Labs: Principal investigator on NSF grants (e.g., #1612619, #1451762) and collaborator with labs like the Center for Connected Learning (CCL) and the Collaborative Technology Laboratory (CollabLab).
Nick Montfort is a Professor of Digital Media at Massachusetts Institute of Technology (MIT) and Professor II & Principal Investigator at the University of Bergen 's Center for Digital Narrative. He directs MIT's Trope Tank lab/studio and contributes to platform studies, critical code studies, and electronic literature. Ph.D. in Computer and Information Science from University of Pennsylvania (2007) M.A. in Creative Writing (Poetry) from Boston University (2001) S.M. in Media Arts and Sciences from MIT (1998) B.S./B.A. in Computer Science and Liberal Arts from University of Texas at Austin (1995) Montfort's research focuses on computational creativity and digital poetics , particularly through exploratory programming and constraint-based writing . He has developed over ten computer-generated print books and co-edited MIT Press volumes like The Future and The New Media Reader . His work bridges computer science and literary arts , emphasizing algorithmic expression and platform-specific creation. His recent computational works include All the Way for the Win (2025), written entirely in three-letter words, and collaborations like The Deletionist and Sea and Spar Between . Notable books cover interactive fiction ( Twisty Little Passages ), platform studies ( Racing the Beam ), and generative literature ( 10 PRINT ). He also co-edits the Hardcopy and Using Electricity book series. Montfort's academic contributions span digital narrative systems , creative code , and computer-generated literature . His 101 BASIC Poems and Output: An Anthology of Computer-Generated Text exemplify his focus on code as cultural artifact and algorithmic literary practice . He has presented at major conferences including ELO, C&C, and Digital Arts and Culture, addressing topics from minimalist computational poems to narrative modeling . Through collaborations with institutions like University of Bergen and MIT's Comparative Media Studies/Writing, Montfort explores digital storytelling , machine-generated poetry , and platform-specific creativity . His academic leadership includes directing the Trope Tank and co-founding Bad Quarto press.
Vera Liao is a Principal Researcher at Microsoft Research, where she is part of the FATE (Fairness, Accountability, Transparency, and Ethics of AI) group. She will join the University of Michigan Computer Science and Engineering department as an Associate Professor in fall 2025. Her work focuses on human-AI interaction, explainable AI, and responsible computing. Liao has made significant contributions to IBM products such as AI Explainability 360 and Uncertainty Quantification 360 during her time at IBM T.J. Watson Research Center. Dr. Liao received her education from the University of Illinois at Urbana-Champaign and Tsinghua University. Her academic journey has positioned her at the intersection of human-computer interaction and artificial intelligence, with a strong emphasis on creating AI systems that are transparent, accountable, and user-centered. Vera Liao's research primarily centers around human-centered AI explainability and transparency. She investigates how to design AI systems that effectively communicate their capabilities, limitations, and decision-making processes to users. Her work examines the intersection of AI transparency with trust, control, and user experience. Liao has pioneered approaches to bridging the socio-technical gap in AI evaluation and has developed frameworks for contextualized evaluation of explainable AI systems. Her research spans multiple domains including conversational interfaces, data storytelling, and creative work with generative AI. Liao's publications reveal a clear trend toward addressing the challenges of large language models and their impact on human-AI interaction. Her recent work focuses on understanding how uncertainty communication affects user trust, how to design for appropriate reliance on AI systems, and how to create authentic co-creation experiences with generative models. She has been examining the risks in AI-infused information ecosystems and developing methods for human-centered evaluation of language technologies. Her scientific contributions have been recognized with multiple honors: Best Paper Award, Honorable Mention at CHI 2025 (two papers) Best Paper Award at CHI 2024 Best Paper Award, Honorable Mention at FAccT 2023 Best Paper Award, Honorable Mention at HCOMP 2022 Best Paper Award, Honorable Mention at CHI 2021 Best Paper Award, Honorable Mention at CHI 2014 Outstanding Paper Award at IUI 2019 Dr. Liao is an active mentor, having guided numerous research interns from top universities including Cornell, Princeton, CMU, Stanford, and MIT. She serves in editorial roles as Co-Editor-in-Chief of the Springer Human-Computer Interaction Book Series and as an Editor for ACM CSCW. Liao has secured research funding through her work at Microsoft Research and previously at IBM, focusing on projects related to AI explainability, transparency, and responsible AI development. As part of Microsoft Research's FATE group, Liao collaborates with a multidisciplinary team of researchers focused on the ethical implications of AI technologies. Her work bridges the gap between technical AI development and human-centered design principles, ensuring that AI systems are developed with user needs and societal impacts in mind.
Yasmin Kafai is a Professor at the University of Pennsylvania's Graduate School of Education (GSE), Department of Learning Sciences. Her research focuses on computational thinking, AI education, and equitable K-12 computing pedagogy. She has pioneered work on integrating electronic textiles (e-textiles) and participatory design into STEM education to engage youth in critical perspectives of technology. Kafai's recent work emphasizes algorithmic literacy, youth-led auditing of machine learning systems, and bridging technical and societal dimensions of computing. Key research areas include: computational empowerment, AI ethics in education, youth agency in technology design, and culturally responsive computing curricula. Her projects often involve hands-on making activities, such as constructing generative AI models or debugging e-textile systems, to foster both technical and critical understandings. Publications from 2024-2025 highlight trends in youth engagement with generative AI, algorithm auditing frameworks, and the intersection of physical computing with growth mindset practices. She has also explored the role of storytelling methodologies in reimagining computing narratives for marginalized groups. Kafai collaborates extensively with teachers to develop scalable professional development programs addressing equity in CS education. Her work frequently appears in learning sciences and computing education journals, with a focus on practical classroom implementations and systemic educational reforms. Ongoing efforts include designing 'Hour of Code' activities that integrate critical AI literacy and fostering youth as co-designers of ethical technology solutions.
