About

Sorin Lerner is a professor at Cornell University, where he develops programming language techniques and applies them to various domains including program verification, security/privacy, and human-computer interaction (HCI). His research involves creating innovative methods and tools for automated theorem proving, live programming, web security, and proof navigation, among other areas. Lerner's work is characterized by a focus on formal verification, interactive proof systems, and the integration of machine learning with software engineering practices. He has contributed to numerous projects and publications that advance the state of the art in software verification, live programming environments, and security. His research includes the development of systems such as Rango for retrieval-augmented proving, Projection Boxes for live programming visualization, and Proverbot for proof discovery with machine learning. Lerner actively mentors students and postdoctoral researchers, many of whom have gone on to prominent academic and industry positions. His work is recognized through awards and a broad publication record in top conferences and journals.

Research topics

• Medicine
• Internal medicine
• Urology
• Environmental health
• Surgery
• Oncology
• Pathology

Selected publications

• Epidemiology of Bladder Cancer in 2023: A Systematic Review of Risk Factors

  European Urology · 2023 · 453 citations

  • Medicine
  • Environmental health
  • Pathology

  CONTEXT: Bladder cancer (BC) is common worldwide and poses a significant public health challenge. External risk factors and the wider exposome (totality of exposure from external and internal factors) contribute significantly to the development of BC. Therefore, establishing a clear understanding of these risk factors is the key to prevention. OBJECTIVE: To perform an up-to-date systematic review of BC's epidemiology and external risk factors. EVIDENCE ACQUISITION: Two reviewers (I.J. and S.O.) performed a systematic review using PubMed and Embase in January 2022 and updated it in September 2022. The search was restricted to 4 yr since our previous review in 2018. EVIDENCE SYNTHESIS: Our search identified 5177 articles and a total of 349 full-text manuscripts. GLOBOCAN data from 2020 revealed an incidence of 573 000 new BC cases and 213 000 deaths worldwide in 2020. The 5-yr prevalence worldwide in 2020 was 1 721 000. Tobacco smoking and occupational exposures (aromatic amines and polycyclic aromatic hydrocarbons) are the most substantial risk factors. In addition, correlative evidence exists for several risk factors, including specific dietary factors, imbalanced microbiome, gene-environment risk factor interactions, diesel exhaust emission exposure, and pelvic radiotherapy. CONCLUSIONS: We present a contemporary overview of the epidemiology of BC and the current evidence for BC risk factors. Smoking and specific occupational exposures are the most established risk factors. There is emerging evidence for specific dietary factors, imbalanced microbiome, gene-external risk factor interactions, diesel exhaust emission exposure, and pelvic radiotherapy. Further high-quality evidence is required to confirm initial findings and further understand cancer prevention. PATIENT SUMMARY: Bladder cancer is common, and the most substantial risk factors are smoking and workplace exposure to suspected carcinogens. On-going research to identify avoidable risk factors could reduce the number of people who get bladder cancer.

  DOI

• Primary chemoablation of low-grade upper tract urothelial carcinoma using UGN-101, a mitomycin-containing reverse thermal gel (OLYMPUS): an open-label, single-arm, phase 3 trial

  The Lancet Oncology · 2020 · 134 citations

  Senior authorCorresponding
  • Medicine
  • Urology
  • Internal medicine
  DOI

• Intravesical nadofaragene firadenovec gene therapy for BCG-unresponsive non-muscle-invasive bladder cancer: a single-arm, open-label, repeat-dose clinical trial

  The Lancet Oncology · 2020 · 428 citations

  • Medicine
  • Urology
  • Internal medicine
  DOI

Recent grants

• NIH Grant M01RR000188

  NIH · $31.8M · 2011

• SPORE in Genitourinary Cancer

  NIH · $16.5M · 2001–2019

Frequent coauthors

• Yair Lotan

  The University of Texas Southwestern Medical Center

  365 shared

• Shahrokh F. Shariat

  Medical University of Vienna

  317 shared

• Pierre I. Karakiewicz

  Université de Montréal

  238 shared

• Jonathan E. Rosenberg

  Memorial Sloan Kettering Cancer Center

  213 shared

• Arthur I. Sagalowsky

  209 shared

• Todd M. Morgan

  198 shared

• Patrick J. Bastian

  Ruhr University Bochum

  183 shared

• Joaquim Bellmunt

  Dana-Farber Cancer Institute

  179 shared

Labs

• Sorin Lerner LabPI

Awards & honors

• National Science Foundation CAREER Award

Similar researchers at Cornell University

• Edward Bucklerh-182
• Robert Sternbergh-168
• John P. Mooreh-153
• Olivier Elementoh-150
• Andy Clarkh-142