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

Heng Huangمشاهده پروفایل

استاد

• Machine Learning
• Data Mining
• Big Data Computing
• +۱۱ مورد دیگر

Heng Huang is the Brendan Iribe Endowed Professor in the Department of Computer Science and the Department of Electrical and Computer Engineering at the University of Maryland, College Park . He earned his Ph.D. in Computer Science from Dartmouth College and holds prior degrees from Shanghai Jiao Tong University. His research focuses on advancing the foundations and applications of artificial intelligence, particularly in machine learning, data mining, natural language processing, computer vision, and biomedical informatics . His work integrates large-scale optimization, fairness, and robustness in deep learning systems. Heng Huang’s recent publications demonstrate a strong trend in large language models, federated learning, model watermarking, continual learning, and medical image analysis . His work appears consistently in top venues like NeurIPS, ICML, CVPR, ICLR, and MICCAI, reflecting a broad impact across theoretical and applied AI. He actively mentors students and postdocs, seeking highly motivated researchers in machine learning and related domains. His work has significant implications for healthcare, privacy, and trustworthy AI.

Robin Jiaمشاهده پروفایل

استادیار

• Natural Language Processing (NLP)
• Deep Learning
• Artificial Intelligence
• +۷ مورد دیگر

Robin Jia is an Assistant Professor in the Thomas Lord Department of Computer Science at the University of Southern California (USC) , where he leads the AI, Language, Learning, Generalization, and Robustness (Allegro) Lab . His research focuses on enhancing the reliability and robustness of large language models (LLMs) through mechanistic understanding, benchmarking under distribution shifts, and neurosymbolic integration. Key affiliations include collaborations with the USC Keck School of Medicine and contributions to legal frameworks like the EU's Digital Services Act. Robin's research spans multiple domains, including: Scientific analysis of LLM capabilities in in-context learning , data memorization , and numerical reasoning Advancements in robust NLP systems , emphasizing uncertainty estimation and calibration Development of methods combining LLMs with symbolic solvers for complex reasoning tasks Interdisciplinary applications in medicine and law , such as privacy-preserving synthetic data generation and medical misconception evaluation . His recent publications (2024-2025) address Fourier-based numerical embeddings (NeurIPS), neurosymbolic planning (NAACL), and multimodal benchmarking (COLM), with a strong emphasis on privacy , fairness , and transparency . Scientific awards include the Google Research Scholar Award (2023) , SoCalNLP Symposium Best Paper Awards , and ACL/EMNLP outstanding papers . He advises PhD students like Johnny Wei and Ameya Godbole, and has secured grants from the NSF , USC-Capital One , and USC-Amazon .

Alessio Lomuscioمشاهده پروفایل

استاد

• Artificial Intelligence
• Machine Learning Verification
• Neural Network Verification
• +۵ مورد دیگر

Alessio Lomuscio is a Professor of Safe Artificial Intelligence at Imperial College London, holding the prestigious Royal Academy of Engineering Chair in Emerging Technologies and recognized as an ACM Distinguished Member. He leads the Safe AI Lab, which focuses on developing methods and tools for the verification of AI systems to ensure their safe and secure deployment in applications of societal importance. His research spans verification and robust learning for neural networks and decision trees, robust machine learning in aviation and finance, monitoring of machine learning systems, assurance for autonomous systems and AI, and verification and validation of neuro-symbolic systems. Lomuscio has made significant contributions to formal verification methods for AI systems, particularly in the context of safety-critical applications. His recent publications demonstrate a strong focus on neural network verification techniques, with applications across multiple domains including finance, aviation, and autonomous systems. His work bridges theoretical advances in formal methods with practical applications in real-world AI systems, addressing critical challenges in AI safety and trustworthiness. Scientific Awards: Royal Academy of Engineering Chair in Emerging Technologies ACM Distinguished Member Lomuscio has served in numerous leadership roles, including as Co-Director (2023-present) and Deputy Director (2019-2023) of the UKRI Centre for Doctoral Training in Safe and Trusted Artificial Intelligence. He has also held positions as Director of Strategy and Planning (2017-2020), Member of Management Committee (2013-2020), and Deputy Head of Department (2016-2017). His editorial service includes roles as Associate Editor for Artificial Intelligence Journal and Editorial Board Member for Journal of Artificial Intelligence Research and Journal of Autonomous Agents and Multi-agent Systems. His research group actively mentors students and researchers, with current openings for PhD and postdoctoral positions focused on AI verification and safety. Lomuscio's work has established him as a leading figure in the field of safe and verifiable AI systems, with significant contributions to both theoretical foundations and practical applications.

• Software Verification
• Formal Methods
• Programming Languages
• +۵ مورد دیگر

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.

Nate Fosterمشاهده پروفایل

استاد

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

Nate Foster is a Professor of Computer Science at Cornell University and currently serves as the Associate Dean for Research in the Ann S. Bowers College of Computing and Information Science. He is also a Visiting Researcher at Jane Street and served as a Visiting Professor at École Polytechnique Fédérale de Lausanne during the 2023-24 academic year. His research uses ideas from programming languages to solve problems in networking, databases, and security. BA in Computer Science, Williams College (2001) MPhil in History and Philosophy of Science, University of Cambridge (2008, all work completed in 2003) PhD in Computer and Information Science, University of Pennsylvania (2009) Foster's research focuses on developing languages and tools that make it easy for programmers to build secure and reliable systems. His current work centers on the design and implementation of languages and tools for programmable networks, particularly using the P4 language. His past work includes bidirectional languages (also known as 'lenses'), database query languages, data provenance, type systems, mechanized proof, and formal semantics. His research group at Cornell has made significant contributions to network verification, software-defined networking, and formal foundations for programmable data planes. Analysis of Foster's recent publications reveals a strong focus on network verification and programming language foundations for networking. His work consistently applies formal methods to practical networking problems, with a particular emphasis on the NetKAT and P4 languages. Over the past five years, his research has evolved toward more complex network verification techniques, including infinite state verification, active learning of network models, and dependently-typed approaches to network programming. His work bridges theoretical computer science with practical networking systems, making formal methods accessible to network engineers. ACM Fellow (2025) ACM SIGPLAN Robin Milner Award (2023) ACM SIGCOMM Rising Star Award (2018) NSF CAREER Award (2013) Alfred P. Sloan Fellowship (2012) Multiple distinguished paper awards across top conferences including POPL, PLDI, and SIGCOMM Foster has advised numerous PhD and Master's students who have gone on to prominent positions in both industry and academia, with many continuing work in programming languages and networking. He has led multiple significant research grants including an NSF CAREER Award and has been involved in the P4 Language Consortium, serving as Chair of the P4 Language Governing Board. His work has been supported by various organizations including NSF, DARPA, and industry partners like Intel and Jane Street. Foster is also active in the programming languages research community, serving on numerous program committees and as Vice Chair of DARPA's Information Science and Technology (ISAT) study group. Foster leads a vibrant research group at Cornell focused on programming languages for networks, with collaborators from academia and industry. His group has developed several influential tools and frameworks including NetKAT, Petr4, and KATch. They maintain strong connections with the P4 community and work closely with industry partners to ensure their research has practical impact on real-world networking systems.

Andrew Headمشاهده پروفایل

استادیار

• Human-Computer Interaction
• Programming
• Reading
• +۱۳ مورد دیگر

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.

• Soft tissue mechanics
• Articular cartilage mechanics and lubrication
• Cartilage tissue engineering
• +۷ مورد دیگر

Gerard A. Ateshian is the Andrew Walz Professor of Mechanical Engineering and Professor of Biomedical Engineering at Columbia University, where he has been a faculty member since 1991. He also served as Chair of the Department of Mechanical Engineering from 2011 to 2014 and is the founding director of the Musculoskeletal Biomechanics Laboratory (MBL), established in 1996. Education: BS (1986), MS (1987), MPhil (1990), and PhD (1991) in Mechanical Engineering from Columbia University. Research Interests: Professor Ateshian's research focuses on the mechanics of soft biological tissues , particularly articular cartilage . His work integrates theoretical, experimental, and computational approaches to understand cartilage lubrication, tissue engineering, and growth and remodeling in living tissues. He has extended continuum mechanics frameworks to model complex biological phenomena such as mass transport, osmotic effects, and reactive mechanics in tissue mixtures. His recent efforts include developing open-source computational tools (FEBio) and translating research into clinical treatments for osteoarthritis . Scientific Awards: H.R. Lissner Medal, ASME (2017) OARSI Basic Science Award (2013) Columbia Engineering Alumni Association Distinguished Faculty Teaching Award (2012) Great Teacher Award, Society of Columbia Graduates (2002) YC Fung Young Investigator Award, ASME (1997) Fellow: ASME, BMES, AIMBE Advising and Mentorship: Professor Ateshian has advised numerous PhD students, including recent graduates Vince Sise and Katherine Spack , who completed their dissertations on cartilage fatigue and osteochondral allografts, respectively. His lab actively mentors students from both Mechanical and Biomedical Engineering programs. Laboratory and Collaborations: He directs the Musculoskeletal Biomechanics Laboratory (MBL) , which collaborates closely with the Cellular Engineering Laboratory of Prof. Clark Hung and with Dr. Jeffrey Weiss at the University of Utah on computational modeling (FEBio). He also collaborates with Columbia University Medical Center faculty on clinical translation of cartilage research.

Andrew Childsمشاهده پروفایل

استاد

• Quantum Algorithms
• Quantum Information Processing
• Quantum Simulation
• +۲ مورد دیگر

Andrew Childs is a Professor at the University of Maryland, affiliated with the Department of Computer Science and the Institute for Advanced Computer Studies (UMIACS). He serves as Director of the NSF Quantum Leap Challenge Institute for Robust Quantum Simulation (RQS) and is a Fellow at the Joint Center for Quantum Information and Computer Science (QuICS). His research focuses on quantum algorithms for simulating physical systems, algebraic problems, and quantum walk protocols, with applications in quantum computing and computational complexity. University of Maryland Institute for Advanced Computer Studies (UMIACS) Joint Center for Quantum Information and Computer Science (QuICS) NSF Quantum Leap Challenge Institute for Robust Quantum Simulation Childs' research spans quantum simulation, quantum Fourier transform, phase estimation, and Hamiltonian dynamics. He has developed techniques to reduce quantum computational resources for simulating quantum systems and explored limitations of quantum computers through hidden subgroup problems and non-unitary dynamics. His publications cover diverse areas including quantum walk optimization, Hamiltonian simulation methods, and applications to cryptography and condensed matter physics. Recent works address spatial search algorithms, product formulas for commutators, and quantum routing protocols. As an educator, Childs has taught courses on quantum algorithms and information processing at both the University of Maryland and University of Waterloo, with lecture notes and materials spanning multiple years. Contact: amchilds@umd.edu | Office: ATL 3359 | Affiliated with University of Maryland's quantum research institutes.

Florian Kerschbaumمشاهده پروفایل

استاد

• Data security and privacy
• Confidentiality and integrity in data science
• Applied cryptography
• +۴ مورد دیگر

Florian Kerschbaum is a Professor and NSERC/RBC Industrial Research Chair in Data Security at the Cheriton School of Computer Science, University of Waterloo. His research focuses on data security and privacy, applied cryptography, and confidentiality in data science. Research interests span data collection/preparation management, secure multi-party computation, homomorphic encryption, differential privacy, and machine learning robustness/privacy. His work develops cryptographic solutions for practical data management challenges in distributed systems.

Vicente Ordóñez-Románمشاهده پروفایل

دانشیار

• Computer Vision
• Natural Language Processing
• Machine Learning
• +۳ مورد دیگر

Vicente Ordóñez-Román is an Associate Professor in the Department of Computer Science at Rice University, part of the George R. Brown School of Engineering. His research focuses on the intersection of computer vision, natural language processing, and machine learning, with an emphasis on fair, transparent, and interpretable AI. He leads the Vision, Language, and Learning Lab and contributes to the Ken Kennedy Institute's Closed-loop Computer Vision research cluster. Education: PhD in Computer Science (UNC Chapel Hill, 2015), MS in Computer Science (Stony Brook University), and Engineering (Escuela Superior Politécnica del Litoral, Ecuador). Prior roles include Assistant Professor at the University of Virginia (2016-2021) and visiting positions at Adobe Research, the Allen Institute for AI, and Amazon. Research Interests : Developing multimodal AI systems that integrate visual and textual data, mitigating biases in AI, and advancing generative models. His work emphasizes ethical AI and societal impact, as seen in his contributions to the whitepaper advocating for federal regulation of facial recognition technologies. Awards & Recognition : NSF CAREER Award (2021), Marr Prize (ICCV 2013), Best Paper at EMNLP 2017, and multiple industry grants from Google, Amazon, and Facebook. His research has been featured in media outlets like WIRED, The New York Times, and Bloomberg News. Advising & Grants : Supervises a diverse research group spanning PhD, MS, and undergraduate students. Secured over $1.8 million in external funding, including NSF grants, Amazon FAI awards, and Google Cloud credits. Leads initiatives on bias mitigation, AI ethics, and multimodal learning. Labs & Collaborations : Directs the Vision, Language, and Learning Lab (vislang.ai), collaborating with industry partners like Adobe, Amazon, and SAP. Engages in interdisciplinary projects at the Ken Kennedy Institute, focusing on closed-loop computer vision systems.

Zachary Ivesمشاهده پروفایل

استاد

• Data Integration
• Data Provenance
• Machine Learning Systems
• +۵ مورد دیگر

Zachary Ives is the Adani President's Distinguished Professor and Department Chair of the Computer and Information Science Department at the University of Pennsylvania. He holds affiliations with the ASSET Center for Safe, Explainable and Trustworthy AI, the Warren Center for Network and Data Science, the Center for Neuroengineering and Therapeutics, and serves as a Distinguished Research Fellow at the Annenberg Center for Public Policy. His research focuses on data integration and sharing, data provenance and trustworthiness, and machine learning systems. He develops data science platforms at the intersection of databases, machine learning, and distributed systems, with applications in Web question answering and scientific domains like genetics and neuroscience. His work addresses fundamental challenges in integrating heterogeneous data, ensuring trustworthy results, and facilitating collaborative data science. His recent publications demonstrate a strong focus on data lakes, learned database systems, fine-grained provenance, and question answering systems. These works span top conferences including SIGMOD (where his paper was selected as Best Paper in 2024), VLDB, ACL, and PODS, showing the breadth of his contributions across database systems, natural language processing, and data management. NSF CAREER award recipient Fellow of the ACM Christian R. and Mary F. Lindback Foundation Award for Distinguished Teaching IEEE Technical Committee on Data Engineering Education Award SIGMOD Best Paper Award ICDE 2013 ten-year Most Influential Paper award As Department Chair, Ives has overseen significant departmental growth, hiring 25 new faculty since 2018. He advises numerous PhD students and postdocs, and maintains extensive collaborations across Penn and with external institutions. His research has been funded by NSF, NIH, DARPA, Google, Amazon, and other organizations. He has developed courses including NETS 212 'Scalable and Cloud Computing' and teaches Big Data Analytics. His research group, the Penn Database Group, works on projects including data lake management, data provenance, and collaborative data science platforms. His work with neuroscientists on seizure prediction has received significant attention, including a competition with 504 teams achieving 82% accuracy.

Suguman Bansalمشاهده پروفایل

استادیار

• Formal Methods
• Artificial Intelligence
• Programming Languages
• +۴ مورد دیگر

Suguman Bansal is an Assistant Professor in the School of Computer Science at Georgia Institute of Technology. Her research focuses on formal methods and their applications to artificial intelligence, programming languages, and machine learning. Previously, she held an NSF/CRA Computing Innovation Postdoctoral Fellowship at the University of Pennsylvania (2020-2022) and completed her PhD at Rice University (2016-2020). Education: PhD in Computer Science, Rice University (2016-2020) MS in Computer Science, Rice University (2014-2016) BSc (Honors) in Mathematics and Computer Science, Chennai Mathematical Institute (2011-2014) Research Interests: Formal methods, reinforcement learning, reactive synthesis, quantitative verification, and trustworthy AI systems. Her work bridges logic-based formal methods with modern AI challenges, emphasizing safety, reliability, and generalization in AI systems. Key Contributions: Pioneering work on specification-guided reinforcement learning, compositional synthesis algorithms, and formal verification of AI systems. Notable tools include Lisa (LTLf synthesis tool) and DiRL (compositional reinforcement learning framework). Awards: 2020 NSF CI Fellowship, 2021 MIT EECS Rising Star, 2023 ATVA Best Paper Award, and Keynote Speaker at SAS 2022. Advising & Grants: Advises PhD and Master’s students in reinforcement learning and formal methods. Lead PI on a collaboration grant with IIT Bombay (2024) and recipient of a ~$250K NSF/CRA postdoctoral grant. Labs/Teams: Leads the BansalLab at Georgia Tech, focusing on trustworthy AI through formal methods and algorithmic innovation.

Arvind Narayananمشاهده پروفایل

استاد

• AI Policy
• Societal Impact of Digital Technologies
• Fairness in Machine Learning
• +۶ مورد دیگر

Arvind Narayanan is a Professor of Computer Science at Princeton University and Director of the Center for Information Technology Policy (CITP). His research focuses on the societal impact of digital technologies, particularly artificial intelligence, with emphasis on policy implications, fairness, and privacy. He leads interdisciplinary efforts connecting technical research with real-world policy challenges. Dr. Narayanan earned his Ph.D. from the University of Texas, Austin in 2009. His academic journey has established him as a leading voice in the critical examination of AI systems and their societal consequences. Narayanan's research spans multiple domains where technology intersects with society. His work on AI includes critical analysis of AI capabilities versus marketing claims (AI Snake Oil), fairness in machine learning systems, and the reproducibility crisis in ML-based science. In privacy research, he led the Princeton Web Transparency and Accountability Project which uncovered how companies track users online, developing the OpenWPM tool used in over 100 studies. His early work demonstrated fundamental limits of de-identification techniques and how machine learning reflects cultural stereotypes. His recent publications reveal a consistent focus on demystifying AI capabilities while identifying genuine opportunities and risks. Narayanan's work bridges technical computer science with policy relevance, emphasizing the importance of evidence-based approaches to AI governance. His research increasingly addresses the limitations of prediction systems, the challenges of evaluating AI systems, and the need for transparency in foundation models. Presidential Early Career Award for Scientists and Engineers (PECASE) Privacy Enhancing Technologies Award (twice recipient) Privacy Papers for Policy Makers Award (three-time recipient) TIME's inaugural list of 100 most influential people in AI 2025 Graduate Mentoring Award Narayanan is recognized as an exceptional mentor, receiving Princeton's Graduate Mentoring Award in 2025. His policy engagement extends to congressional testimony, advisory roles, and frequent media commentary. He has secured significant research funding supporting his work on web transparency, AI policy, and cryptocurrency analysis. His research group has produced influential tools like OpenWPM for web privacy studies and contributed to foundational textbooks on cryptocurrencies and fairness in machine learning. At Princeton, Narayanan leads the Web Transparency and Accountability Project, a major research initiative that has conducted large-scale measurements of online tracking across millions of websites. He also co-founded and directs the CITP's AI Policy Initiative, which brings together researchers from multiple disciplines to address pressing AI governance questions. His work frequently involves collaboration with social scientists, legal scholars, and policymakers to develop practical solutions to technology governance challenges.

• Natural Language Processing
• Embodied Artificial Intelligence
• Machine Learning
• +۴ مورد دیگر

Yonatan Bisk is an Assistant Professor at Carnegie Mellon University (CMU) in the School of Computer Science , with dual appointments in the Language Technologies Institute and Robotics Institute . His research bridges Natural Language Processing (NLP) with robotics, focusing on grounded and embodied language understanding. Assistant Professor, Language Technologies Institute, CMU (2021–Present) Courtesy Appointment, Robotics Institute, CMU Research Themes : Language as a social codification of embodied experience Interpretable multimodal model training Human-robot collaboration frameworks Embodied question-answering systems Selected Trends : His recent publications show increasing focus on cross-modal attention mechanisms (Vid2Robot), error detection in toolchains (Tools Fail), and theory-of-mind reasoning in language agents (SOTOPIA). Multimodal integration spans vision, audio, and robotic control contexts (ANAVI). Labs & Collaborations : Founder of CLAW Lab (Connecting Language to Action and the World) Collaborations with Microsoft Research, Meta Inc, and CMU's REAL (Robotics, Embodied AI, Learning) community

Joseph Eremondiمشاهده پروفایل

استادیار

• Programming Languages
• Type Theory
• Dependent Types
• +۱۲ مورد دیگر

Joseph Eremondi is an Assistant Professor in the Department of Computer Science at the University of Regina, Faculty of Science, Canada. He began his tenure in 2024 after serving as a Royal Society Newton International Fellow at the University of Edinburgh, where he conducted postdoctoral research with Ohad Kammar in the Laboratory for Foundations of Computer Science. He earned his PhD from the University of British Columbia (UBC) under the supervision of Ron Garcia at the UBC Software Practices Laboratory. His research is centered on programming languages theory, with a strong focus on type systems that enhance software reliability and usability. He is particularly known for his work in dependent types, gradual typing, and the integration of both paradigms. His research interests include: Dependent pattern matching and its semantic foundations Gradual dependent types and approximate normalization Error message generation and usability in dependently typed languages Static analysis using set constraints and SMT solvers Theoretical properties of reversal-bounded counter automata and shuffle operations His recent publications, appearing in premier venues like POPL, ICFP, and CPP, reflect a consistent trajectory toward making advanced type systems more accessible and practical. Key themes include coverage semantics for dependent pattern matching, formal models of gradual dependent typing, and improving the developer experience through better tooling and error diagnostics. Notable scientific recognitions include the NSERC Discovery Grant (awarded in 2025) and the prestigious Royal Society Newton International Fellowship. These awards underscore the impact and promise of his research program on the usability of dependently typed programming languages. Joseph is actively mentoring and recruiting graduate students, particularly in areas such as dependently typed programming (Lean, Agda, Idris, Coq), gradual typing, live programming environments, and static analysis. He emphasizes close collaboration within a small, focused research group. He has also served on program committees, including for TyDe and POPL Artifact Evaluation, demonstrating active engagement in the programming languages community. His work bridges theoretical rigor with practical implementation, evident in his artifact releases on GitHub and integration with tools like Ott and DrRacket. He maintains a personal website and open-source repositories that support reproducibility and community involvement.