Quentin Heinrich

QH

3

Publications

99

Citations

3

H-Index

2020

Active since

Affiliations

ETH Zurich(Current)

Quentin Heinrich is an author at ETH Zurich specializing in formal verification, argument mining, and computational complexity.

Publications per year

2020–2021

3

Publications

3