imogenimorris
Researcher In Automated Reasoning
PhD in nonstandard analysis and interactive theorem proving from the University of Edinburgh.
Experience: 5 years
Yearly salary: $120,000
Hourly rate: $0
Nationality: 🇬🇧 United Kingdom
Residency: 🇬🇧 United Kingdom
Experience:
| Period | Title | Company |
|---|---|---|
| 2017 - 2022 | Doctoral researcher | The University of Edinburgh |
Skills:
math
matlab
data-science
english