Michael Kohlhase
Professor
FAU Erlangen-Nürnberg
Germany
This profile is automatically generated from trusted academic sources.
Google Scholar
.
ORCID
.
How do Vietnamese students reach out?
Sign in for free to see their profile details and contact information.
Meet Kite AI
Contact this professor
Research Interests
Algebra
10%
Mathematical Logic
40%
Mathematics
30%
Meta-synthesis
10%
Formal Methods
10%
Language Documentation
10%
Symbolic Computation
10%
Ask ApplyKite AI
Start chatting
How can you help me contact this professor?
What are this professor's research interests?
How should I write an email to this professor?
Articles4
Year:
2020
How do Vietnamese students reach out?
Sign in for free to see their profile details and contact information.
Meet Kite AI