Find Academic Supervisors

Ashutosh TrivediView profile

Associate Professor

• Formal Methods
• Cyber-Physical Systems
• Reinforcement Learning
• +5 more

Ashutosh Trivedi is an Associate Professor of Computer Science at the University of Colorado Boulder, currently on leave from his position as Assistant Professor in the Department of Computer Science and Engineering at the Indian Institute of Technology Bombay. He is affiliated with multiple research initiatives including the Centre for Formal Design and Verification of Software (CFDVS) at IIT Bombay, Free and Open Source Software for Education (FOSSEE), and the Indo-French project on Algorithmic Verification of Real-Time Systems (AVeRTS). At CU Boulder, he leads the Programming Languages and Verification (CUPLV) research group focusing on trustworthy AI systems. Trivedi's research centers on bridging formal methods with artificial intelligence to create more trustworthy systems. His work spans formal verification of cyber-physical systems, reinforcement learning with formal guarantees, and developing techniques for ensuring software fairness and accountability. He specializes in using formal languages, automata, and logic to transform vague natural-language instructions into precise specifications for AI systems. His recent projects include developing reinforcement learning algorithms for cardiac pacemaker design based on formal safety requirements, using SAT solvers to ground large language model outputs in logical reasoning, and encoding state representations in reinforcement learning using formal languages. His publication trends reveal a strong focus on neurosymbolic approaches that combine neural networks with symbolic reasoning, particularly for safety-critical applications. Recent work demonstrates increasing integration of formal methods with reinforcement learning, with applications spanning medical devices, tax preparation software, and puzzle-solving AI. His research shows a clear trajectory toward making AI systems more explainable, accountable, and verifiable through principled mathematical frameworks. Distinguished Paper Award at CAV for Regular Reinforcement Learning (2024) NeuS 2025 Disruptive Idea Award for Stochastic Neural Simulation Relations for Transferring Control under Uncertainty ACM Senior Member recognition (2024) Royal Society Wolfson Visiting Fellowship (2024) Trivedi has successfully advised multiple PhD students to completion, including Shadi Tasdighi Kalat (2025), Mateo Perez (2025), John Komp (2024), Vishnu Murali (2024), and Taylor Dohmen (2024). His teaching portfolio includes foundational courses in automata theory, digital logic design, and cyber-physical systems at both IIT Bombay and CU Boulder. He has served on program committees for major conferences including FSTTCS, HSCC, and FORMATS, and organized workshops such as ICLA 2015 and ALC 2015. As leader of the CUPLV research group, Trivedi directs projects focused on formal verification of AI systems, reinforcement learning with safety guarantees, and software fairness. His group collaborates with medical researchers on cardiac device verification and with legal scholars on tax software accountability, reflecting his commitment to applying formal methods to real-world problems with significant societal impact.

Taylor Berg-KirkpatrickView profile

Associate Professor

• Natural Language Processing
• Machine Learning
• Unsupervised Learning
• +4 more

Taylor Berg-Kirkpatrick is an Associate Professor in the Department of Computer Science and Engineering at the University of California, San Diego. They lead the BergLab, focusing on natural language processing (NLP), machine learning, and unsupervised methods for analyzing diverse data types, including historical documents, music, and early modern books. Their work bridges computational techniques with interdisciplinary domains such as music information retrieval, paleography, and cultural heritage analysis. Taylor has been awarded an NSF CAREER grant for research on language evolution via probabilistic models. The BergLab develops tools like Klavier (music transcription), Ocular (historical document recognition), and Puck (constituency parsing). Taylor's research emphasizes deciphering hidden structures in human data, from handwritten texts to musical patterns. Their teaching includes courses on algorithms for NLP at CMU and UC Berkeley. Taylor advises numerous PhD students, many of whom have contributed to impactful projects such as compositor attribution in Shakespeare's works, music separation algorithms, and climate text understanding benchmarks like ClimaBench. Their work is featured in top venues like ACL, NeurIPS, and ICML, with applications spanning from improving AI safety to enhancing cultural preservation efforts.

David KinderlehrerView profile

Professor

• Applied Mathematics
• Partial Differential Equations
• Materials Science
• +8 more

David Kinderlehrer is an Alumni Professor of Mathematical Sciences and Professor of Materials Science and Engineering at Carnegie Mellon University. His research focuses on applied mathematics, particularly partial differential equations and optimal transport theory, applied to problems in materials science and cell biology. Education: Ph.D. from the University of California, Berkeley, with postdoctoral training at Scuola Normale Superiore, Pisa Key research areas include understanding the evolution of material microstructures through entropy-based theories, modeling grain boundary dynamics, and developing continuum-scale methods for stochastic systems. His work has revealed connections between materials science and information theory, such as analogies to prefix codes. Recent publications highlight applications of Wasserstein gradient flows to ion transport and the discovery of non-random texture order in materials via grain boundary character distributions. His investigations bridge discrete and continuous modeling paradigms. Scientific Awards Fellow of the American Mathematical Society SIAM Fellow

• Economics
• Labor Economics
• Education Policy
• +4 more

Tyler Ransom is an Assistant Professor of Economics at the University of Oklahoma and a Research Affiliate at the Institute for the Study of Labor (IZA) . He focuses on economics, education policy, labor markets, and migration studies. Institutional Affiliations: University of Oklahoma, IZA, Duke University, London School of Economics & Political Science (LSE), Federal Reserve Bank of New York His research explores college attrition , wage returns to schooling , geographic labor mobility , and Covid-19 impacts on education . He has published extensively on topics like admissions preferences , STEM education , and economic policy . His recent work on vegetable seed oils and obesity (2024) highlights intersections of public policy, nutritional biochemistry, and economic behavior. Over 15 years, his publications span labor economics, educational dynamics, and migration economics.

Jill HunterView profile

Professor

• Criminal Trials
• Law of Evidence and Procedure
• Jury Systems
• +6 more

Professor Jill Hunter is a distinguished academic at the University of New South Wales (UNSW), where she serves as a Professor in the School of Law, Society & Criminology. With a BA LLB from UNSW and a PhD from London, she has established herself as a leading expert in criminal trial law, evidence procedures, and jury systems. Her work bridges legal theory with practical criminal justice applications, contributing significantly to law reform and judicial practices in Australia. Dr. Hunter's educational background includes foundational legal training at UNSW followed by doctoral studies at the London School of Economics & Political Science, where she received prestigious awards including the WG Hart Award in Law for Excellence. Her academic journey reflects a strong commitment to legal scholarship and reform. Her research interests focus on the interdisciplinary examination of criminal trials, particularly the role of juries, judges, and the law of evidence and procedure. She has pioneered work on judicial wellbeing, Indigenous representation in juries, and the human dimensions of legal processes. Her current research centers on the jury trial, judicial officers' psychological health, and the Bugmy Bar Book initiative, reflecting her commitment to empirical research and practical impact in legal reform. Hunter's scholarship incorporates historical perspectives and comparative analysis to address contemporary challenges in criminal justice. The analysis of her recent publications reveals a consistent focus on systemic issues within criminal justice, with particular emphasis on diversity and inclusion in jury systems, judicial wellbeing, and evidence procedures. Her work demonstrates a trajectory from traditional legal scholarship toward more interdisciplinary, empirically grounded research that directly informs judicial practice and law reform. Key themes include the intersection of law with psychology, the historical evolution of legal procedures, and addressing systemic barriers for marginalized communities within the justice system. Finalist, Australian Legal Research Awards, 2024 (for The Australian Jury in Black and White: Barriers to Indigenous Representation on Juries ) UNSW Universitas 21 Fellowship [2001] Runner up, Butterworths ($25,000) Book Prize [1995] Special Award for Excellence (London School of Economics) WG Hart Award in Law for Excellence (London School of Economics) Professor Hunter actively supervises doctoral candidates including Alexandre Fleck, David Lusty, Alanna Van der Veen, Clem Ng, and Voleak Srun, guiding research on topics ranging from social media's impact on courts to access to justice for Indigenous children. Her substantial research funding includes multiple ARC Discovery Projects through 2028, with recent grants totaling over $1.2 million focusing on jury deliberation, judicial wellbeing, and Indigenous representation in juries. She has established herself as a leading researcher who bridges academic scholarship with practical legal reform through extensive collaboration with judicial bodies and legal practitioners. As a foundation member of the Bugmy Bar Book Committee at the Public Defenders' Office in Sydney, Hunter plays a significant role in developing resources that address the impact of trauma and cultural strength in sentencing Indigenous offenders. Her research team regularly collaborates with judicial commissions and legal aid organizations to translate academic findings into practical courtroom resources, demonstrating her commitment to making legal processes more equitable and accessible.

• Evidence Law
• Federal Rules of Evidence
• Legal Ethics
• +4 more

Daniel J. Capra is a distinguished faculty member at Fordham University School of Law specializing in evidence law and the Federal Rules of Evidence. His extensive scholarship addresses both foundational principles and emerging challenges in evidence law, with particular expertise in hearsay rules, expert testimony, electronic discovery, and the impact of new technologies on evidentiary standards. Professor Capra's research focuses on the intersection of traditional evidence principles with contemporary legal challenges. His work spans theoretical examinations of evidence rulemaking processes and practical analyses of courtroom applications. He has made significant contributions to debates about evidence reform, arguing for thoughtful evolution of evidence rules through the established rulemaking process rather than judicial improvisation. His recent scholarship addresses cutting-edge issues including deepfake technology, visual evidence presentation, and the ongoing relevance of the Federal Rules of Evidence in modern litigation. Professor Capra's scholarly output demonstrates consistent engagement with the most pressing issues in evidence law. His publications reveal a trajectory from foundational work on jurisdiction and civil procedure to increasingly specialized focus on evidence rules and their adaptation to technological change. The 2024 publications on deepfakes and visual evidence illustrate his commitment to addressing the most current challenges facing evidence law. Professor Capra maintains an active collaborative research agenda, most notably with Liesa L. Richter of the University of Oklahoma College of Law. His work frequently bridges academic scholarship and practical legal application, as evidenced by collaborations with sitting judges and practitioners. While specific advising information isn't provided in the available materials, his extensive publication record suggests he likely mentors students interested in evidence law, civil procedure, and legal theory.