Hansjörg Schmid is a Full Professor at the Department of Moral Theology and Ethics , University of Fribourg, and serves as Director of the Swiss Center for Islam and Society (SZIG) . His work focuses on interreligious ethics, Christian-Muslim dialogue, and socio-ethical challenges in pluralistic societies. Education: Theology diploma (1998), habilitation (2012) at the University of Munich Research Highlights: Muslim organizations as social actors, Islam in post-secular contexts, conflict transformation, and integration of Muslim pastoral care in welfare systems Grants: Funded by Mercator Foundation Switzerland, State Secretariat for Migration, Robert Bosch Foundation Networks: Christian and Muslim Discussion Group, Building Bridges Seminar, advisory boards for interfaith projects in Germany and Switzerland His academic career spans roles at the University of Salzburg, Munich, and Freiburg, with a focus on intercultural theology and Islamic social work. Recent publications analyze antimuslim racism, chaplaincy practices, and religious education in Switzerland.
Prof. Rolf Eusterschulte serves as a Professor in the Department of Design and Media (F3DM) within the Faculty of Media, Information and Design at Hannover University of Applied Sciences and Arts. His role centers on interdisciplinary education and research bridging creative design practices with media technologies. His scholarly focus spans Design and Media Studies , with specialized expertise in: Visual Communication Digital Media Interactive Design Media Theory User Experience Design Creative Technologies These areas reflect the department's integration of aesthetic, technical, and theoretical approaches to contemporary media production. No scientific awards or fellowships were documented in the source material. Regarding academic mentorship and funding, the available information does not specify student supervision activities or research grant acquisitions.
Jill C Anderson, MD serves as a Clinical Assistant Professor in the Department of Dermatology at Northwestern University's Feinberg School of Medicine, specializing in Medical Dermatology. She maintains clinical practice at Northwestern Memorial Hospital and Northwestern Medicine Lake Forest Hospital, providing comprehensive dermatological care with hospital affiliations spanning major Chicago-area medical centers. Her academic foundation includes: MD from Rush Medical College (2009) Dermatology Residency at Rush University Medical Center (2010) American Board of Dermatology Certification Dr. Anderson's research centers on complex dermatological conditions with emphasis on pediatric presentations and vascular anomalies. Her clinical investigations bridge medical dermatology and pediatric dermatology, focusing on rare tumor manifestations within congenital vascular disorders. This specialized niche addresses critical diagnostic challenges in pediatric skin conditions through detailed case analysis and pathological correlation. Her publication activity demonstrates consistent engagement with pediatric dermatopathology, particularly in characterizing unusual tumor-vascular anomaly intersections. The 2013 Pediatric Dermatology publication established her scholarly contribution to understanding Masson tumor presentations in congenital contexts, reflecting ongoing commitment to advancing diagnostic precision in complex dermatological cases. Scientific Awards: No scientific awards documented in current profile Academic mentoring and research funding details remain undisclosed in available materials. While actively contributing to the Department of Dermatology's clinical mission, specific laboratory affiliations, research teams, or trainee supervision activities aren't specified in the institutional profile. Her professional focus appears centered on clinical practice within Northwestern's integrated hospital system, maintaining active patient care responsibilities across multiple clinical sites while fulfilling faculty obligations at the medical school.
Bernardo Cockburn is a Distinguished McKnight University Professor in the School of Mathematics at the University of Minnesota. He has been a faculty member since 1987, progressing from Assistant Professor to Associate Professor in 1992, and achieving full Professor status in 1997. He also held positions as an Affiliate Professor at the University of Delaware (2019-2020) and Chair Professor of Mathematics at King Fahd University of Petroleum and Minerals in Saudi Arabia (2012-2014). Education: Ph.D. from University of Chicago (1986), Doctorat de 3eme Cycle from University of Paris VI/INRIA (1983), Masters and Licenciatura from Universidad Nacional de Ingenieria in Lima, Peru Research Focus: Numerical methods for partial differential equations, particularly discontinuous Galerkin methods Cockburn's research primarily centers on the devising and analysis of efficient methods for numerically solving linear and nonlinear partial differential equations . His most significant contribution has been in the development and analysis of discontinuous Galerkin methods , particularly the hybridizable discontinuous Galerkin (HDG) methods which he pioneered. His work spans error estimation for hyperbolic problems, continuous dependence for Hamilton-Jacobi equations, and numerous applications across fluid dynamics, structural mechanics, and electromagnetics. He has developed theoretical frameworks for superconvergence properties and created practical algorithms for a wide range of engineering applications. Analysis of his recent publications reveals a strong focus on hybridizable discontinuous Galerkin methods , with significant contributions to superconvergence theory, error estimation, and applications to diverse physical problems including Stokes flow, linear elasticity, Timoshenko beams, and convection-diffusion problems. His work demonstrates a clear trajectory from theoretical foundations to practical implementation, with increasing emphasis on curved domains, adaptive methods, and coupling techniques between different numerical approaches. Doctor Honoris Causa from Universidad Nacional de Ingenieria, Lima, Peru (2013) Invited Speaker at the International Congress of Mathematicians, Numerical Analysis Section (2010) Distinguished McKnight University Professor, University of Minnesota (2007) Cockburn has supervised an impressive 23 PhD students throughout his career, many of whom have gone on to become professors at major universities worldwide including the University of Puerto Rico, Purdue University, and University of Concepcion in Chile. His advisees have produced significant research in discontinuous Galerkin methods, particularly in applications to structural mechanics, fluid dynamics, and Hamilton-Jacobi equations. His research has been supported by numerous grants from the National Science Foundation and other funding agencies, enabling extensive collaboration with researchers across the United States and internationally. Cockburn leads a vibrant research group focused on computational mathematics, with particular emphasis on developing and analyzing discontinuous Galerkin methods. His work has fostered significant collaboration between mathematicians and engineers, with applications spanning aerospace, civil engineering, and materials science. The research group maintains strong connections with institutions worldwide, including regular collaborations with researchers in Peru, Chile, and Europe, reflecting Cockburn's international background and influence.
Pierre-Henri Paris is an Associate Professor (Maître de Conférences) at Paris-Saclay University since September 2024. Previously, he worked as a Postdoctoral Researcher at Telecom Paris (Institut Polytechnique de Paris) from September 2020 to August 2024. His academic journey includes a PhD in Artificial Intelligence from Sorbonne University and CNAM (Conservatoire National des Arts et Métiers) completed in 2020. Education: PhD in Artificial Intelligence, 2020, Sorbonne University and CNAM M.Sc. in Artificial Intelligence, 2016, CNAM M.Sc. in Mathematics, 2008, CY Cergy Paris University (incomplete) Pierre-Henri Paris's research focuses on the intersection of artificial intelligence, knowledge representation, and natural language processing. His work particularly emphasizes knowledge graphs, entity linking, and data quality. He has made significant contributions to projects like YAGO 4.5, which enhances knowledge bases with cleaner, logically consistent structures, and MAFALDA, a benchmark for fallacy classification. His research often bridges theoretical foundations with practical applications, particularly in how knowledge can be effectively represented, extracted, and utilized in complex systems. His recent publications reveal a strong focus on knowledge graph enhancement, semantic representation, and natural language understanding. The work on YAGO 4.5 demonstrates his commitment to creating more robust knowledge bases, while MAFALDA shows his interest in the intersection of language understanding and logical reasoning. His research trajectory indicates a consistent exploration of how structured knowledge can be integrated with linguistic analysis to create more intelligent systems. Advising: PhD students: Simon Coumes (2022-), Chadi Helwe (2022-2024), François Amat (2022-) Master's students: Syrine El Aoud (2021), Ayoub Mountassir (2013-2015) Bachelor's students: Khalil Halloul (2013-2014) Pierre-Henri Paris is actively involved in teaching at Paris-Saclay University, where he instructs courses including Introduction to Machine Learning, Introduction to Neural Networks, Algorithms for Data Science, Databases, and Data Warehousing. His teaching reflects his research expertise, providing students with both theoretical foundations and practical applications in artificial intelligence and data science.
Nicola Nicolici is a Professor in the Department of Electrical and Computer Engineering at McMaster University. His research focuses on methods and algorithms for the design of digital integrated circuits and systems, with significant contributions in manufacturing test, post-silicon validation and debug. His work has expanded to include embedded systems, low-energy computing, and custom hardware-accelerated computing systems. Professor Nicolici's research interests span multiple areas of digital system design and validation. His early work focused on manufacturing test methodologies and power-aware testing strategies for integrated circuits. More recently, he has made significant contributions to post-silicon validation techniques, including constrained-random stimuli generation, trace signal selection, and bit-flip detection. His research has evolved to address emerging challenges in embedded computing systems, low-energy design, and specialized hardware acceleration for various applications including deep neural networks and signal processing. His recent publications reveal a strong trend toward hardware acceleration for specialized computing tasks. The research spans matrix multiplication algorithms (Strassen and Karatsuba), memory system optimization (DDR5 calibration), FPGA-based radar processing, and neural network acceleration. His work consistently bridges theoretical algorithm development with practical hardware implementation considerations, particularly focusing on precision analysis, fault tolerance, and energy efficiency. The research demonstrates a clear progression from traditional digital circuit testing to more complex system-level validation and acceleration techniques. Professor Nicolici has been actively involved in teaching courses related to system-on-chip design and test, digital systems, and embedded systems. His teaching portfolio includes advanced courses such as System-on-Chip (SOC) Design and Test and Digital Systems Design , reflecting his expertise in the field. While specific grant information isn't detailed in the provided text, his extensive publication record suggests ongoing research funding support. His research has contributed significantly to the fields of digital circuit testing, post-silicon validation, and hardware acceleration. The work has practical applications in semiconductor manufacturing, embedded systems design, and specialized computing architectures. His recent focus on neural network acceleration and memory system optimization reflects the evolving landscape of computer architecture research.
Hassan Z. Ashtiani is an Associate Professor in the Department of Computing and Software within the Faculty of Engineering at McMaster University. His academic profile shows consistent engagement in both teaching and research activities, with evidence of active participation in major machine learning conferences and journals through 2025. Dr. Ashtiani's research focuses on the theoretical foundations of machine learning, with particular expertise in privacy-preserving algorithms, Gaussian mixture models, and adversarial robustness. His work bridges statistical learning theory with practical algorithm design, often addressing fundamental questions about sample complexity and computational efficiency in learning systems. A significant portion of his recent work explores the intersection of differential privacy with statistical learning, developing methods for private density estimation and distribution learning. Analysis of his publication record reveals a strong trend toward increasingly sophisticated theoretical frameworks for private and robust learning. His work consistently appears in top-tier venues including NeurIPS, ICML, COLT, and ALT, with recent contributions extending into agnostic private density estimation and robust learning with tolerance. The research demonstrates progression from foundational work on nearest neighbor search and clustering algorithms toward more complex problems in private learning of high-dimensional distributions. Dr. Ashtiani teaches across multiple levels of computer science education, including undergraduate courses in Automata and Computability (COMPSCI 2AC3) and Principles of Programming (COMPSCI 2S03), as well as graduate-level courses such as Fundamentals of Machine Learning (COMPSCI 4ML3) and Theoretical Foundations of Unsupervised Learning (CAS 775). His teaching portfolio shows consistent involvement in machine learning education since at least 2019, with evidence of teaching multiple sections each academic year. His scholarly impact is reflected in mentions across 3 news outlets, reference in 1 policy source, engagement from 7 X users, and 90 readers on Mendeley, suggesting growing recognition of his contributions to theoretical machine learning.
Lars Augestad Lochstoer is a Professor of Finance at the UCLA Anderson School of Management, where he teaches Empirical Methods in Finance and Data Analytics and Machine Learning in the Master of Financial Engineering program. He previously held faculty positions at Columbia University and London Business School, and served on the Asset Allocation Advisory Committee for the Norwegian Sovereign Wealth Fund from 2016 to 2022. Dr. Lochstoer earned his Ph.D. in Finance from the University of California, Berkeley's Haas School of Business in 2005, following his Sivilingeniør Business Economics degree from the Norwegian University of Science and Technology in 1999. His research focuses on understanding the economic mechanisms that drive asset prices, including stock market return dynamics, cross-sectional stock returns, exchange rates, and commodity markets. He has made significant contributions to asset pricing literature, particularly in volatility expectations, risk-return tradeoffs, and currency risk. His publication record reveals a strong focus on behavioral aspects of asset pricing, with recurring themes of investor expectations, volatility dynamics, and market anomalies. His work often combines theoretical models with empirical evidence, frequently incorporating quantitative methods and data science approaches. Recent publications show increasing attention to currency risk and multi-horizon risk-return relationships, reflecting evolving market conditions and research interests. EFA Viz Risk Management Prize for best paper in Energy Markets, Securities and Prices (2009) Michigan Ross School of Business Mitsui Finance Symposium Best Discussant Award (2012) UCLA Anderson Excellence in Teaching Award (2017, 2020, 2021) RFS Distinguished Referee Award (2021) As an active member of the academic finance community, Lochstoer serves as an associate editor for the Review of Finance and the Critical Finance Review, having previously served in the same capacity for the Review of Financial Studies. His professional service includes committee roles in major finance associations and extensive reviewing for top finance and economics journals. He has also contributed to practical finance through his service on the Asset Allocation Advisory Committee for the Norwegian Sovereign Wealth Fund.
Professor B M Azizur Rahman is a distinguished academic in the field of photonics at City University London, where he has served as Professor of Photonics in the Department of Electrical and Electronic Engineering since 2000. Previously, he was Reader in Photonics (1996-2000) and Lecturer (1988-1996) at the same institution. His academic journey began with a BEng (1971-1976) and MSc (1976-1979) from Bangladesh University of Engineering and Technology, followed by a PhD from University College London (1979-1982). His educational background laid the foundation for his extensive research career focusing on photonics, integrated waveguides, and optical sensors. Professor Rahman has made significant contributions to fields including plasmonic biosensors, fiber optic sensing technologies, supercontinuum generation, and metamaterial-based sensing systems. His research bridges theoretical modeling with practical applications in environmental monitoring, healthcare diagnostics, and engineering solutions. An analysis of his most recent publications (2022-2025) reveals a strong focus on advanced sensing technologies with applications across multiple domains. His work demonstrates expertise in combining photonics principles with nanotechnology, artificial intelligence, and novel materials to develop highly sensitive detection systems. Key research trends include the integration of deep learning with optical sensing, development of plasmonic-enhanced biosensors, and innovative waveguide designs for improved optical performance. Professor Rahman has maintained a highly productive research career with over 443 publications documented in his ORCID profile. His work shows extensive international collaboration with researchers from institutions in the UK, Bangladesh, Thailand, and other countries. While specific grant information is not provided in the available data, his sustained publication record across high-impact journals indicates successful research funding and supervision of numerous research projects over his career. His research group appears to focus on experimental photonics, computational modeling of optical systems, and development of novel sensing platforms.
Chelsey R. Carter is an Assistant Professor of Public Health in the Department of Social and Behavioral Sciences at Yale School of Public Health with a secondary appointment in the Department of Anthropology. A Black feminist anthropologist of medicine, public health, and race from St. Louis, Missouri, Dr. Carter's interdisciplinary work bridges public health, anthropology, and critical race studies to address health inequities, particularly focusing on neurodegenerative diseases like ALS in Black communities. Dr. Carter received her BA in Anthropology from Emory University (2012), followed by an MPH and PhD from Washington University in St. Louis (2021), and completed a Presidential Postdoctoral Fellowship at Princeton University (2022). Her educational background reflects her commitment to both anthropological theory and public health practice. Her research examines the relationship between social determinants of health (particularly anti-Black racism, socioeconomic status, and gender) and neurodegenerative diseases such as amyotrophic lateral sclerosis (ALS) and motor neuron diseases. Dr. Carter employs ethnographic research and qualitative methodologies to investigate how embodied inequality impacts diagnosis, treatment, and engagement in clinical trials for Black individuals with ALS. She also leads research on precision medicine and genomic research in Black communities through The Black Genome Project and studies caregiving among persons impacted by ALS. Her scholarship has been funded by the National Science Foundation, the Andrew Mellon Foundation, and the Wenner Gren Foundation. Analysis of Dr. Carter's recent publication trends reveals a strong focus on health equity, particularly examining how systemic racism manifests in medical settings and contributes to health disparities. Her work spans multiple domains including neurodegenerative diseases, HIV/AIDS care, genomics, and mental health, with consistent attention to intersectional approaches that consider race, gender, and socioeconomic status. A notable pattern in her scholarship is the use of qualitative and mixed methods to center the lived experiences of marginalized communities, challenging dominant biomedical paradigms through a Black feminist lens. Principal's Development Fund Visiting Scholar (2024) Distinguished Teaching Award from Yale School of Public Health (2023) Funding from the National Science Foundation Support from the Andrew Mellon Foundation Wenner Gren Foundation grant Dr. Carter actively mentors students and has developed innovative teaching approaches, including her course 'Biomedical Justice: Public Health Critiques and Praxis,' which encourages students to bring their full selves into the classroom. Her research has been supported by significant grants that enable community-engaged work addressing health disparities. She emphasizes the importance of community partnerships in her research, ensuring that academic work serves and is accountable to the communities being studied. Dr. Carter is Founder and Director of The LEITH (Lived Experiences Igniting Transformations in Health) Lab, which addresses Black invisibility and misdiagnosis for rare neurodegenerative and genetic diseases. The lab brings together persons and caregivers impacted by rare diseases, researchers, clinical providers, educators, students, and activists to develop more humanizing and critical approaches in the rare neurodegenerative field. The LEITH Lab's vision centers on advancing anti-racist research, fostering awareness through education, creating palliative networks for support, and developing a pipeline of health equity scholars.
Elise Kleivane is an Associate Professor in Written Culture at the Department of Norse and Celtic Philology, Faculty of Humanities, University of Oslo. She has served as Head of Teaching at ILN (Institute of Language and Literature) from 2021 to 2024 and maintains an active research and teaching profile in Norse philology and related fields. Dr. Kleivane earned her PhD in Norse Philology from the University of Oslo in autumn 2011, following a Master of Arts in Norse Philology completed in spring 2003. Her academic journey has positioned her as a leading scholar in medieval Scandinavian writing culture. Her research focuses on epigraphy, runology, and medieval literacy, with particular emphasis on the intersection of written and material culture in medieval Norway. Kleivane examines how writing functioned in both public and private spheres, analyzing inscriptions in runes and Roman script as evidence of medieval communication practices. Her work bridges philology, archaeology, and cultural history to reconstruct literacy patterns in pre-modern Scandinavia. Recent projects have explored religious texts, biblical translations, and the role of writing in ecclesiastical contexts. Analysis of her publication record reveals a consistent trajectory through medieval epigraphy and literacy studies. Her work demonstrates increasing sophistication in connecting material evidence with textual analysis, moving from specific inscription studies to broader questions about writing culture. The pattern shows strong engagement with interdisciplinary approaches, combining philological expertise with archaeological and historical methodologies. Her research increasingly addresses questions of religious practice, vernacular literacy, and the transmission of knowledge in medieval Scandinavia. Among her significant appointments, she has been appointed to the Language Council's expert council for standardization and language observation (2023-2026) and to the Sources Commission (2023-2026), serving on the editorial board for the National Archives' scientific publication channels. Dr. Kleivane has secured substantial research funding, most notably leading the Norwegian Research Council-funded project 'Letters between runes and manuscripts' (2017-2021) and participating in the NORDCORP-funded 'Retracing the Reformation' project (2013-2017). She currently contributes to the Riksbanken Jubileumsfond-funded research program 'Modes of Modification' (2018-2025) as a member of its steering committee, where her research focuses on 'Texts in the Open and Out of Sight: Public and Private Communication in Epigraphy.' She teaches across multiple institutions including the University of Oslo and Stockholm University, covering subjects ranging from Norse literature and mythology to runology and medieval manuscript culture. Her teaching reflects her research interests in written culture across the medieval Scandinavian world.
Prof. Dr. Johanna Rahner serves as Professor of Dogmatics, History of Dogma and Ecumenical Theology at the Catholic Theological Faculty of the Eberhard Karls University of Tübingen since 2014. She also holds the position of Director of the Institute for Ecumenical and Interreligious Research at the same institution. Her research interests span a wide range of theological topics including: Biblical Hermeneutics for Systematic Theology (especially Christology), Ecumenical theology and its ecclesiological problem areas, the relationship between religion, culture, educational processes, politics and society, interaction of contemporary culture with worship and theology of the sacraments, theoretical foundations of dialogue between world religions in a globalized world, relationship between reason and faith, theology and philosophy, theology and natural sciences, patchwork religiosity and subjective religious pluralism, and religiosity of children and adolescents with special consideration of youth and cult literature and pop music. Prof. Rahner's publications demonstrate a consistent focus on contemporary challenges facing the Catholic Church, ecumenical dialogue, and the intersection of theology with modern culture. Her work frequently addresses the Second Vatican Council's implications for contemporary theology, the relationship between science and faith, and the practical application of theological concepts in interreligious contexts. She has made significant contributions to understanding eschatology, ecclesiology, and the practical application of theological concepts in interreligious contexts. Wissenschaftlicher Beirat des Kuratoriums zur Vorbereitung des Reformationsjubiläums 2017 Ökumenischer Arbeitskreis evangelischer und katholischer Theologen Editorial-Board der Ökumenischen Rundschau Wissenschaftlicher Beirat der Europäischen Melanchthonakademie, Bretten Societas oecumenica AG der deutschsprachigen katholischen Dogmatiker und Fundamentaltheologen Europäische Gesellschaft für Katholische Theologie. Deutsche Sektion e.V. AGENDA – Forum katholischer Theologinnen e.V. Prof. Rahner has been involved in several significant research projects including Moralische Urteilsfindung im säkularen Diskurs als Herausforderung für die christlichen Konfessionen, Intergenerationelle LehrerInnen-Ausbildung, Theorie und Praxis des interreligiösen Lernens, Kirche und Bildungsregime in Lateinamerika, Reformationsgedenken und Ökumene, and Grundfragen theologischer Anthropologie in Auseinandersetzung mit aktuellen naturwissenschaftlichen Modellen. She leads the Institute for Ecumenical and Interreligious Research, which serves as a hub for scholarly research on contemporary challenges in interfaith relations and ecumenical theology.
Ingrid Jeacle is a Professor of Accounting and Popular Culture at the University of Edinburgh Business School. With a PhD from the University of Limerick and a Master of Arts from Trinity College Dublin, she bridges interdisciplinary research with traditional accounting scholarship. A founding member of the Culture, Accounting & Society (CAS) Research Network, she explores how accounting practices permeate everyday life and popular culture. PhD, Accounting, University of Limerick (1999) MA, Economics and Business Studies, Trinity College Dublin (1989) Her research focuses on the intersection of accounting and popular culture, examining phenomena like calorie labeling, online reviews, and historical compensation systems. She employs methodologies such as netnography and actor-network theory to analyze how accountability systems shape societal norms. Recent publications include studies on cinematic portrayals of accountants (2024), calorie accounting in the UK food sector (2023), and historical valuations of human life in slavery abolition (2023). These works reflect her commitment to expanding accounting scholarship into cultural and social domains. AAAJ Hall of Fame Award (2019) Emerald Literati Highly Commended Awards (2015, 2017) Jeacle maintains leadership roles in editorial boards, including as Associate Editor for Accounting, Auditing & Accountability Journal and Financial Accountability & Management . She has served as Visiting Professor at South East Technological University (2022-2023) and guest-edited special issues across major journals.
Audrey Bowden is an Associate Professor at Vanderbilt University in both the Department of Biomedical Engineering and Department of Electrical and Computer Engineering . She is also the Dorothy J Wingfield Phillips Chancellor Faculty Fellow . Education: PhD in Biomedical Engineering (2007) from Duke University BSE in Electrical Engineering (2001) from Princeton University Research Interests: Bowden's work focuses on biomedical optics and point-of-care diagnostics , with a strong emphasis on addressing healthcare disparities through low-cost technologies. Key areas include: Biomedical Imaging Biophotonics Image Processing Machine Learning in Medical Imaging Optical Coherence Tomography (OCT) Functional Near-Infrared Spectroscopy (fNIRS) Publication Trends: Recent work combines machine learning with endoscopic imaging to differentiate cancer from inflammation, develops low-cost OCT systems for smartphones, and improves fNIRS accessibility for diverse patient populations. Her lab also focuses on 3D reconstruction algorithms for urological applications and specular reflection removal in endoscopic videos. Lab & Clinical Collaborations: The Bowden Biomedical Optics Laboratory (BBOL) collaborates with clinical departments including urology , dermatology , otolaryngology , and women's health . The lab integrates optics , microfluidics , and computer science to create hardware/software tools for resource-constrained environments.
Talia Ringer is an Assistant Professor in the Department of Computer Science at the University of Illinois, where she is a member of the PL/FM/SE (Programming Languages/Formal Methods/Software Engineering) research group. She leads the Illinois Theorem Provers (ITP) lab, which focuses on advancing proof engineering technologies to make formal verification accessible to programmers of all skill levels across all domains. Research Interests Dr. Ringer's research spans multiple aspects of proof engineering with a strong focus on integrating techniques from dependent type theory, program transformations, and neural proof synthesis to solve real-world verification challenges. Her work addresses how to build systems that allow programmers to prove the absence of costly or dangerous bugs in software. She is particularly interested in proof repair, machine learning for proofs, and developing new methodologies that can drive the creation of large, secure, and robust verified software and hardware systems. Research Trends Dr. Ringer's recent publications demonstrate a strong shift toward integrating machine learning with formal verification, particularly in proof repair and synthesis. Her work explores how large language models can assist with theorem proving, how reinforcement learning can automate verification processes, and how to make proof engineering more practical for real humans. Many publications involve collaborations with students and researchers from multiple institutions, reflecting her commitment to interdisciplinary research. Awards and Recognition Distinguished Paper Award at ESEC/FSE 2023 for "Baldur: Whole-Proof Generation and Repair with Large Language Models" ACM SIGPLAN Distinguished Service Award in 2023 Mentoring and Service Dr. Ringer is a dedicated mentor who has advised numerous undergraduate and graduate students. She is the founder and president of the Computing Connections Fellowship, which provides transitional funding for computer science PhD students needing to escape unhealthy environments. She is also the founder and previous chair of the SIGPLAN Long-Term Mentoring Committee (SIGPLAN-M), which connects more than 200 mentors and 300 mentees across more than 44 countries. Her service work was formally recognized with the 2023 ACM SIGPLAN Distinguished Service Award. Laboratory and Collaborations Dr. Ringer leads the Illinois Theorem Provers (ITP) lab with current members including postdocs, PhD students, masters students, and undergraduates. She collaborates extensively with researchers at the University of Washington, UMass Amherst, Google Research, Galois, and other institutions on various proof engineering projects.
