LabCompass

Daniel P. Friedman

Computer Science · Indiana University

OpenAlex
Logic, programming, and type systemsParallel Computing and Optimization TechniquesFormal Methods in VerificationLogic, Reasoning, and KnowledgeTeaching and Learning Programming

Publications

133

Citations

5,023

Est. group size

—

Recurring co-author estimate

Active years

56

Publishing since 1969

Research summary
AI-generated

Daniel P. Friedman works in programming languages and computer science, focusing on how programs are structured, verified, and reasoned about. His recent work includes logic programming systems (a style of programming based on formal logic rules), compilers, and type systems, along with occasional contributions to programming education and applied projects.

Logic programmingProgramming languages and type systemsCompilers and search techniquesFormal methods and verificationTeaching programming

Publication activity has been sparse and intermittent over the last decade, with a small number of papers appearing in scattered years rather than at a steady pace.

Generated by claude-opus-4-8 from public bibliographic data · Jul 11, 2026

Publication cadence
Publications per year over the last 10 years — averaging 0.4/year recently
172018: 2 publications218192021222023: 1 publication232024: 1 publication242526
Recent publications
Publishes in
  • Lecture notes in computer science×1
  • ACM SIGPLAN Notices×1
  • DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)×1
  • Annals of Global Health×1

This profile was generated automatically from public scholarly data (OpenAlex). Group size and activity levels are estimates derived from co-authorship patterns.

Last updated Jul 11, 2026.

Claim or correct this profile