Concepedia

Ross Paterson

RP

10

Publications

1.1K

Citations

10

H-Index

1999

Active since

Affiliations

City, University of London(Current)

University of Oxford

University of Gothenburg

Oxford Research Group

Chalmers University of Technology

Ross Paterson is an author at City, University of London specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationSemanticsProgram AnalysisSoftware AnalysisData ScienceGraphic Symbols

Publications per year

1999–2012

10

Publications

10

Rows per page

1–5 of 10