Concepedia

Jeremy Seligman

JS

8

Publications

272

Citations

8

H-Index

2001

Active since

Affiliations

University of Auckland(Current)

Tsinghua University

Université de Montpellier

Jeremy Seligman is an author at University of Auckland specializing in automated reasoning, formal methods, and engineering.

Top concepts

Automated ReasoningEngineeringFormal MethodsComputer ScienceSemanticsEpistemologySocial InfluenceFormal VerificationTheory Of ComputingMathematical Foundations

Publications per year

2001–2021

8

Publications

8

Rows per page

1–5 of 8