Concepedia

Author

Adam Poswolsky

Also Known As

Adam Poswolsky

7

Publications

149

Citations

3

H-Index

14

Concepts

All Affiliations

AP

About

Adam Poswolsky is an author at Yale University specializing in formal verification, program analysis, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

51

2

Language Studies

1

1

51

3

Computer Science

1

1

51

4

Mathematical Foundations

1

1

51

5

Programming Languages

1

1

51

Adam Poswolsky

×

1

Publications

51

Citations

1

H-Index

YearCitations

Page 1