Find Academic Supervisors

• Automated Theorem Proving
• Machine Learning Integration
• Formal Verification
• +7 more

Konstantin Korovin is a Reader at the Department of Computer Science, University of Manchester, with over 20 years of experience in automated reasoning and formal verification. He previously held roles as Senior Lecturer (2015-2023) and Royal Society University Research Fellow (2007-2015). His research spans automated theorem proving, machine learning integration, and constraint solving for hardware/software verification. Doctoral thesis: Knuth-Bendix orders in automated deduction (2003, University of Manchester) Current teaching: Logic and Modelling (COMP21111), Automated Reasoning (COMP60332) Research interests include: Automated Theorem Proving (ATP) and SMT solving Combining machine learning with formal verification Nonlinear constraint analysis via δ-complete procedures DNA computing and bio modeling applications Recent publications focus on symbolic ML verification (SMLP), conflict-driven quantifier elimination (VIRAS), and enhanced C++ model checking (ESBMC). His work has been recognized with best paper awards at FroCoS'19 and CP'09. Supervised: 9 PhD/PostDocs including Maryam Abdullah, Franz Brausse, and Andrzej Kucik Collaborated with industry (Intel, Google, MathWorks) on verification tools Contact: konstantin.korovin@manchester.ac.uk

Richard H. BlumView profile

Professor

• Anesthesiology
• Medical Simulation
• Patient Safety
• +7 more

Richard H. Blum is a prominent faculty member in the Department of Anesthesia at Harvard Medical School, affiliated with Boston Children's Hospital. His research is centered on medical simulation, patient safety, and resident competency assessment in anesthesiology. He serves as Principal Investigator on a major grant-funded study evaluating first-year anesthesia residents' clinical performance, supported by Harvard Medical School, the Anesthesia Patient Safety Foundation, and The Cathedral Fund. Medical School: University of Pennsylvania School of Medicine, 1988 Internship: Pediatrics, University of Washington School of Medicine/Children’s Hospital and Regional Medical Center Fellowship: Adult and Pediatric Cardiac Anesthesia, Massachusetts General Hospital/Harvard Medical School Fellowship: Pediatric Cardiac and General Pediatric Anesthesia, Tufts-New England Medical Center/Boston Floating Hospital for Infants and Children Dr. Blum’s research focuses on enhancing clinical competence and patient safety through simulation-based training. His work investigates crisis resource management, team communication, reflective practice, and the use of simulation to identify performance gaps in anesthesia residents. He has developed assessment tools and institutional guidelines to improve perioperative care and reduce medical errors. His recent publications show a strong trend in applying simulation to evaluate resident behavior, reflective capacity, and clinical decision-making. The research spans from technical performance to human factors such as ageism, compassion, and communication in clinical encounters. His work bridges anesthesiology with educational psychology and organizational behavior. Grant from Harvard School of Medicine's Department of Anaesthesia Funding from Anesthesia Patient Safety Foundation Support from The Cathedral Fund Dr. Blum leads a research team conducting simulation-based evaluations of anesthesia residents, aiming to establish objective, scalable standards for clinical competency. His work has influenced institutional policies on patient transport, postoperative care, and crisis management. He has developed training curricula and instructor certification guidelines adopted across multiple hospitals. His research initiatives include the development of simulation programs for bioterrorism preparedness, airway management, and team training. He has contributed to the creation of clinical practice guidelines and educational syllabi used in anesthesia training programs. His leadership in simulation-based education has helped shape modern approaches to resident assessment and faculty development in anesthesiology.

• Digestive System Surgery
• Oncologic Surgery
• Abdominal Wall Hernia Surgery
• +3 more

Prof. Dr. Dursun Buğra is a faculty member at Koç University School of Medicine and serves as Professor of General Surgery at American Hospital since 2010. He previously held academic positions at Istanbul University (1996-2011) including Chair of General Surgery Department. His clinical expertise spans digestive system surgery, oncologic surgery, and laparoscopic techniques. Current Director of Digestive System Health Group at American Hospital Active member in international surgical societies Key research areas include: Digestive system surgery (esophagus to anus) Cancer and sarcoma oncologic surgery Abdominal wall hernia repair Minimally invasive laparoscopic procedures Professional Society Involvement: Former President/Secretary of Turkish Society of Colon and Rectal Surgery (2003-2013) Turkish representative at European Society of Coloproctology (2015-2018) Current member of ESCP Regional Activities Study Group Board member of ISUCRS

• Transplant Surgery
• Abdominal Organ Transplantation
• Liver Transplantation
• +3 more

Nidal K. Abdel Muhdi serves as Assistant Professor in the Department of Surgery at Albert Einstein College of Medicine and Surgical Director of the Pancreas Transplant Program at Montefiore Medical Center. His clinical expertise centers on liver, pancreas, and kidney transplantation for complex patient cases, with dedicated focus on improving surgical outcomes and patient care standards. Dr. Muhdi's academic credentials include: Medical Degree (M.B.,B.S.) from Jordan University of Science and Technology (2006) General Surgery Residency at King Abdullah University Hospital (2012) Specialized Medicine and General Surgery Certification from Jordan University of Science and Technology (2012) Abdominal Transplant and Hepatobiliary Surgery Fellowship at Montefiore Einstein (2022) Master of Health Administration from University of Phoenix (2024) His research program investigates optimization strategies for solid organ transplantation, particularly examining patient risk stratification models and expanded criteria donor utilization to enhance graft survival rates. This work bridges clinical innovation with operational efficiency in transplant systems. Professional recognitions include: Board Certification in General Surgery (Jordanian Board) Board Certification in Abdominal Transplant Surgery (ASTS) Fellowship in American College of Surgeons (FACS) Membership in Royal College of Physicians and Surgeons of Glasgow (MRCS) Fellowship in International College of Surgeons (FICS) Dr. Muhdi actively contributes to transplant medicine advancement through clinical leadership at Montefiore's Rosenthal Pavilion, educational initiatives at the medical college, and ongoing research to expand access to life-saving transplantation procedures.

• Emergency Medical Services
• Transitional Care
• Mobile Health Interventions
• +4 more

Laurel Caren O'Connor serves as Associate Professor in the Department of Emergency Medicine at UMass Chan Medical School's T.H. Chan School of Medicine. Her academic appointment includes dual roles within the primary Department of Emergency Medicine and the Division of Research, reflecting her integrated clinical and scholarly contributions to emergency care systems. Dr. O'Connor's research spans critical domains in emergency medicine innovation, with emphasis on mobile health interventions for chronic disease management (particularly COPD), transitional care models, and prehospital systems optimization. Her work demonstrates consistent focus on digital health solutions, including remote patient monitoring, AI-assisted clinical decision support, and augmented reality applications for field procedures. Recent publications reveal growing expertise in SARS-CoV-2 diagnostics and pandemic response infrastructure through biorepository development. Analysis of her 15 most recent publications (2023-2025) shows dominant themes in mobile integrated health programs (32%), COPD management systems (24%), and prehospital/emergency department innovations (28%). Her methodological approach combines implementation science with clinical trials, frequently employing mixed-methods designs to evaluate stakeholder perspectives alongside clinical outcomes. Notable collaborations include extensive work with Apurv Soni, John Broach, and David McManus across multiple high-impact studies. Dr. O'Connor's scientific contributions have generated significant engagement across academic and clinical communities, with publications cited in major medical journals and featured across 81+ news outlets. Her work on SARS-CoV-2 diagnostics was particularly influential, receiving 1488+ mentions on X and coverage by 81 news organizations. Additional visibility includes features on Facebook, Bluesky, and Reddit, along with substantial academic readership on Mendeley (27+ readers for key publications). Her leadership extends to designing novel educational curricula, including a point-of-care ultrasound program for critical care personnel. Current research trajectories indicate strong momentum in digital health intervention development, with multiple ongoing COPD management studies and emergency care system redesign projects. Dr. O'Connor maintains active clinical engagement through her emergency medicine department affiliation while driving innovation in post-acute care coordination and community-based health interventions.

Cameron RiviereView profile

Adjunct Assistant Professor

• Medical Robotics
• Surgical Robotics
• Bioengineering
• +7 more

Cameron Riviere is an Adjunct Assistant Professor in the Department of Rehabilitation Science and Technology at the University of Pittsburgh and a faculty member at the Robotics Institute, Carnegie Mellon University. He leads the Surgical Mechatronics Laboratory, focusing on robotic systems for microsurgery and medical interventions. Ph.D. in Mechanical Engineering, Johns Hopkins University (1995) B.S. in Ocean Engineering, Virginia Tech (1989) B.S. in Aerospace Engineering, Virginia Tech (1989) His research spans medical robotics , surgical mechatronics , and bioengineering , with emphasis on handheld micromanipulators, tremor suppression, and robot-assisted intraocular and cardiac procedures. He develops systems that enhance precision, safety, and autonomy in surgery through advanced sensing, control, and machine learning. The recent publications highlight a strong trend in image-guided surgical robotics , particularly using monocular vision and electromagnetic tracking for retinal and cardiac interventions. Themes include physiological motion compensation, force control, needle steering, and real-time localization. His work bridges engineering innovation with clinical application, aiming to improve surgeon workflow and patient outcomes. Second Place, 1995 Whitaker Student Paper Competition, IEEE Engineering in Medicine and Biology Society As director of the Surgical Mechatronics Laboratory, Dr. Riviere mentors students and researchers in developing next-generation surgical robots. While no specific grants are listed, his sustained publication record suggests continuous funding in robotics and biomedical engineering. His work includes collaborations across institutions and disciplines, particularly in integrating robotics into ophthalmology and cardiology. He directs the Surgical Mechatronics Laboratory at Carnegie Mellon, where his team develops innovative robotic tools such as the Micron handheld device, epicardial wire robots, and soft actuators for ablation catheters. The lab focuses on practical, deployable systems that address clinical challenges in minimally invasive surgery.

• Contemporary History
• World War II History
• Holocaust Studies
• +5 more

Professor Witold Stankowski holds a position at the Department of Central European Studies within the Institute of European Studies at Jagiellonian University in Kraków. He maintains additional appointments at the Capt. W. Pilecki Małopolska State University in Oświęcim and the Pilecki Institute in Warsaw. Appointed Professor of History by decree of the President of the Republic of Poland in 2011, his academic career spans contemporary European history with particular emphasis on Polish-German relations. Stankowski's research interests focus on the contemporary history of Poland and Europe, specializing in World War II history, postwar Germany, Holocaust studies, and war memory. His scholarly work examines personal testimonies, historical sources, and the impact of totalitarian regimes on European societies. His biographical studies of significant historical figures like Szymon Wiesenthal and Witold Pilecki demonstrate his commitment to preserving historical memory through individual narratives. His recent publications reveal consistent thematic focus on WWII documentation, Holocaust victim and perpetrator studies, and the examination of historical sources from occupied Poland. The 2024-2025 publications particularly emphasize judicial systems under Nazi rule, personal accounts of wartime experiences, and the role of family in shaping moral responses to oppression. Best History Book of the Year 2011 Silver Cross of Merit Gold Cross of Merit Medal of the National Education Commission Cross of Merit on the Ribbon of the Order of the Federal Republic of Germany Stankowski has received prestigious scholarships from multiple institutions including the Foundation for Polish Science, German Academic Austauschdienst, Alexander von Humboldt Foundation, German Parliament, and Lanckoroński Foundation. His research projects include 'Polish Intelligence during World War II' at the Pilecki Institute (2021), demonstrating his ongoing engagement with critical historical investigations. His academic work bridges historical scholarship with contemporary human rights discourse, particularly through his studies on education and human rights violations.

• Canon Law
• Ecclesiastical Procedural Law
• Marriage Law
• +2 more

Rev. Dr. Wojciech Witkowski SDB is an Assistant Professor at the Department of Ecclesiastical Procedural Law, Faculty of Law, Canon Law and Administration, John Paul II Catholic University of Lublin. He earned his master's degree in theology under Rev. Prof. Marian Graczyk and a doctorate in canon law under Archbishop Andrzej Dzięga. His teaching includes Marriage Law, Ordinary Process, and Monastic Law at KUL and the Salesian Major Seminary in Kraków. Educated in theology and canon law Ordained priest in 2001 Teaching since 2006 Doctoral studies completed in 2012 His research focuses on ecclesiastical procedural law, particularly document verification, evidentiary value, and canonical processes. Publications include studies on medieval church documents, document management in diocesan/parish offices, and marriage nullity proceedings. He has presented at international conferences on canonical collaboration and human rights protection. His scientific work spans 2010–2017, emphasizing canonical documentation systems, historical evolution of ecclesiastical processes, and marriage preparation formalities. Publications appear in journals like Kościół i Prawo and the Polish-Italian series Człowiek - Rodzina – Prawo . He serves as an auditor at the Lublin Metropolitan Court since 2017 and taught at the Salesian Major Seminary in Łódź (2006–2008). His career combines academic work with practical roles in church administration and judicial processes.

Markus StoffelsView profile

Professor

• Civil Law
• Labor Law
• Corporate Law
• +3 more

Professor Markus Stoffels holds the Chair for Civil Law, Labor Law and Corporate Law at the Institute for Civil Law, Labor Law and Insolvency Law within Heidelberg University's Faculty of Law. His academic position includes teaching core civil law courses and specialized labor law instruction. His research focuses span Civil Law, Labor Law, Corporate Law, Collective Labor Law, and Insolvency Law, with particular emphasis on practical applications in German legal contexts. Recent scholarly activity includes the 5th edition of 'AGB-Recht' and 'Fälle zum kollektiven Arbeitsrecht' (2024). His publication trends show consistent contribution to German labor law scholarship, particularly in collective labor relations and standard contract law. The 2024 co-authored work on civil law beginner's training demonstrates his commitment to legal education. Active supervision of doctoral candidates (Promotion inquiries) Oversight of research assistants and junior scholars Professor Stoffels leads a comprehensive research and teaching team including scientific staff members Philipp Keller, Johannes Tegel, Ferdinand Feith, and Julian Wanner, supported by a dedicated secretariat.

Christoph SteinertView profile

Research Fellow

• International Organizations
• Human Rights Violations
• Political Imprisonment
• +3 more

Christoph Steinert is a postdoctoral researcher at the University of Zurich, leading the Swiss National Science Foundation (SNSF)-funded project An Empirical Study of the United Nations Human Rights Complaint Mechanisms . He also holds postdoctoral positions at the University of Geneva and the University of St. Gallen, and serves as a Policy Fellow for "Diplomacy and International Actors" at the Swiss think tank Foraus. PhD in Political Science, University of Mannheim (2022) MPhil in International Relations, University of Oxford (2018) BA in Political Science & Public Law, University of Mannheim (2016) His research focuses on political imprisonment, human rights mechanisms, and conflict recurrence. He has analyzed UN Special Procedures' complaint systems, the duration of political imprisonment in China, and pro-government militias' role in conflict relapse. His work bridges empirical political science with human rights law and authoritarian regime studies. Recent publications explore topics like the Belt and Road Initiative's influence on UN voting patterns, environmental pollution's impact on authoritarian politics, and the socioeconomic biases in international human rights remedies. These studies span methodologies from survival analysis to comparative case studies. Glenn Palmer Prize (Conflict Management and Peace Science, 2023) Will H. Moore Prize (Peace Science Society International) NEPS Medal (Network of European Peace Scientists) Palmer Prize (Peace Science Society International) Steinert's work has received funding from the Swiss National Science Foundation and the German Institute for Development Evaluation (DEval). He contributes policy analyses to platforms such as the Washington Post Monkey Cage and the Center for Security Studies at ETH Zurich. He is affiliated with research projects at the University of Geneva ("Debating Human Rights") and has evaluated human rights programs at DEval. His expertise spans international organizations, political imprisonment, and empirical conflict research.

• Patent Law
• Intellectual Property
• Law and Economics
• +5 more

Jonathan S. Masur is a Professor of Law at the University of Chicago Law School . His scholarship bridges Patent Law , Intellectual Property , and Law and Economics , focusing on how legal frameworks interact with innovation, regulatory policy, and empirical legal studies. He has co-authored influential works on the social cost of carbon , AI in legal education , and patent licensing , often collaborating with scholars like Lisa Larrimore Ouellette and Amy R. Motomura. His recent articles, including Can AI Hold Office Hours? (2025) and Disclosures Puzzles in Patent Law (2025), explore generative AI , legal pedagogy , and patent system efficiency . He has contributed to debates on cost-benefit analysis in regulatory contexts, such as Climate Regulation and the Limits of Cost-Benefit Analysis (2011) and Chevronizing Around Cost-Benefit Analysis (2025).

• Immigration Law
• Constitutional Law
• Citizenship
• +4 more

Stella Burch Elias is a Professor of Law at the University of Iowa College of Law, where she has established herself as a prominent scholar in immigration law, constitutional law, and human rights. Her academic work spans over fifteen years, with publications appearing in prestigious law journals including the Columbia Human Rights Law Review, Wisconsin Law Review, and Iowa Law Review. Professor Elias's research focuses on the intersection of immigration policy with constitutional protections, federalism, and human rights. Her work examines how immigration enforcement impacts constitutional rights, analyzes the balance of power between state and federal governments in immigration matters, and explores comparative approaches to detention policies and citizenship requirements. She has published extensively on topics including refugee policy, minority language rights in Europe, and the legal frameworks for detaining terrorist suspects from a comparative perspective. Her scholarly contributions demonstrate a consistent focus on how law functions as both a protective mechanism and potentially as an instrument of control in immigration contexts. Elias's recent work, including her 2025 publication on Attorney General Self-Referral in Immigration Law, continues to address timely issues at the forefront of legal scholarship and policy debates. Professor Elias has collaborated with scholars from various institutions, including Northwestern University, demonstrating her engagement with the broader legal academic community. Her work has been cited in legal scholarship and appears to influence ongoing debates about immigration policy and constitutional rights. While specific details about her teaching responsibilities are not provided in the available information, her scholarly output suggests she is actively engaged in both research and likely in teaching courses related to immigration law, constitutional law, and human rights at the University of Iowa College of Law.

• Patent Law
• Civil Procedure
• Federal Circuit Jurisdiction
• +4 more

Paul R. Gugliuzza is a Professor at the University of Texas at Austin School of Law, where he has established himself as a leading scholar in patent law and civil procedure. With 41 scholarly publications to his name, his research has appeared in prestigious law journals including Duke Law Journal, Vanderbilt Law Review, and Virginia Law Review. He has testified before both the House Committee on Energy and Commerce and the Senate Judiciary Committee on patent-related matters, demonstrating his influence in shaping patent policy. Professor Gugliuzza's research focuses on the intersection of patent law and civil procedure, with particular expertise in Federal Circuit operations, venue selection, judicial behavior in patent cases, and mandamus practice. His work consistently examines how procedural mechanisms affect substantive patent rights, with recent scholarship exploring judge shopping, gender and racial inequality in patent litigation, and the evolving relationship between the Supreme Court and the Federal Circuit in patent matters. His research combines doctrinal analysis with empirical insights to reveal systemic patterns in patent adjudication. An analysis of his 15 most recent publications reveals a clear trajectory toward examining equity issues within patent law while maintaining his foundational focus on procedural mechanisms. His recent work increasingly addresses gender and racial disparities in patent litigation while continuing to analyze the structural aspects of patent adjudication. The scholarship demonstrates sophisticated methodology, often combining quantitative analysis with traditional legal scholarship to produce insights relevant to both practitioners and policymakers. Professor Gugliuzza has established significant collaborative relationships with leading scholars including Mark A. Lemley, Jonas Anderson, and Rachel Rebouché. His scholarship has been cited by courts and has influenced congressional hearings on patent reform. His testimony before congressional committees on patent demand letter practices and patent eligibility demonstrates the practical impact of his academic work on legislative processes.

Cynthia H. ChuangView profile

Professor

• Reproductive Wellness
• Contraceptive Policy
• Women's Health
• +3 more

Cynthia H. Chuang, MD, MSc, serves as Professor of Medicine and Public Health Sciences at Pennsylvania State University's College of Medicine and Penn State Health Milton S. Hershey Medical Center. She holds concurrent professorships in the Department of Public Health Sciences and Department of Obstetrics and Gynecology, and serves as Chief of the Division of General Internal Medicine. Her leadership encompasses academic physicians and scientists developing innovative educational programs and research initiatives, including critical patient care responses during the COVID-19 pandemic. Dr. Chuang's research focuses on reproductive wellness and contraceptive policy, with particular emphasis on how state and federal policies affect women's access to care. Her work consistently addresses preventive care frameworks and evidence generation for reproductive health interventions. As a physician-scientist and general internist, she bridges clinical practice with health services research to improve primary care delivery for women. Analysis of her 15 most recent publications reveals strong thematic continuity in reproductive health policy research, with increasing emphasis on post-pandemic healthcare delivery, contraceptive coverage mandates, and equity-focused implementation science. Her work demonstrates methodological diversity spanning randomized controlled trials, policy analyses, and large-scale observational studies. Key scientific recognition includes the 2014 Outstanding Collaborative Research Team award. Her research portfolio demonstrates sustained NIH, PCORI, and AHRQ funding, particularly for projects examining contraceptive coverage policies and reproductive life planning interventions. Dr. Chuang has led significant research collaborations including the MyNewOptions study (PCORI-funded), which tested web-based reproductive life planning tools for contraceptive decision-making among 984 privately insured Pennsylvania women. Her current R01 project examines how state and federal contraceptive coverage policies affect women's access to care, reflecting ongoing commitment to policy-relevant research.

• Thoracic Surgery
• General Surgery
• Lung Cancer
• +3 more

Osita I. Onugha, MD , is a Clinical Assistant Professor in the Department of Surgery at Charles R. Drew University of Medicine and Science . With a focus on thoracic surgery and minimally invasive techniques, his work addresses advancements in procedures for lung cancer, diaphragmatic conditions, and trauma care. Institution: Charles R. Drew University of Medicine and Science Department: Surgery Academic Rank: Clinical Assistant Professor His research spans Lung Neoplasms , Thoracic Surgical Procedures , and Medical Technology , emphasizing improved clinical outcomes through innovative surgical methods. Recent publications highlight applications of Indocyanine Green in thoracic surgery, resource optimization during the SARS-CoV-2 pandemic , and diagnostic accuracy in stage I lung cancer . Key trends in his publications include: Minimally Invasive Techniques: VATS (Video-Assisted Thoracoscopic Surgery) applications in lung cancer, diaphragmatic surgery, and rib fracture management. Diagnostic Innovation: Blood-based biomarkers and wire localization for early-stage lung cancer detection. Clinical Efficiency: Tracheostomy protocols during pandemics and comparative studies on surgical tools like staplers versus sutures. His work frequently intersects General Surgery , Thoracic Surgery , and Cancer Therapeutics , with citations in journals like Surgical Technology International and BMC Cancer .