Age, Biography and Wiki
Michael Kohlhase was born on 13 September, 1964 in Erlangen, Germany, is a German computer scientist. Discover Michael Kohlhase's Biography, Age, Height, Physical Stats, Dating/Affairs, Family and career updates. Learn How rich is he in this year and how he spends money? Also learn how he earned most of networth at the age of 59 years old?
| Popular As |
N/A |
| Occupation |
N/A |
| Age |
59 years old |
| Zodiac Sign |
Virgo |
| Born |
13 September 1964 |
| Birthday |
13 September |
| Birthplace |
Erlangen, Germany |
| Nationality |
Germany
|
We recommend you to check the complete list of Famous People born on 13 September.
He is a member of famous computer with the age 59 years old group.
Michael Kohlhase Height, Weight & Measurements
At 59 years old, Michael Kohlhase height not available right now. We will update Michael Kohlhase's Height, weight, Body Measurements, Eye Color, Hair Color, Shoe & Dress size soon as possible.
| Physical Status |
| Height |
Not Available |
| Weight |
Not Available |
| Body Measurements |
Not Available |
| Eye Color |
Not Available |
| Hair Color |
Not Available |
Dating & Relationship status
He is currently single. He is not dating anyone. We don't have much information about He's past relationship and any previous engaged. According to our Database, He has no children.
| Family |
| Parents |
Not Available |
| Wife |
Not Available |
| Sibling |
Not Available |
| Children |
Not Available |
Michael Kohlhase Net Worth
His net worth has been growing significantly in 2023-2024. So, how much is Michael Kohlhase worth at the age of 59 years old? Michael Kohlhase’s income source is mostly from being a successful computer. He is from Germany. We have estimated Michael Kohlhase's net worth, money, salary, income, and assets.
| Net Worth in 2024 |
$1 Million - $5 Million |
| Salary in 2024 |
Under Review |
| Net Worth in 2023 |
Pending |
| Salary in 2023 |
Under Review |
| House |
Not Available |
| Cars |
Not Available |
| Source of Income |
computer |
Michael Kohlhase Social Network
Timeline
Michael Kohlhase (born 13 September 1964, in Erlangen) is a German computer scientist and professor at University of Erlangen–Nuremberg, where he is head of the KWARC research group (Knowledge Adaptation and Reasoning for Content).
Michael Kohlhase is president of the OpenMath Society and a trustee of the Interest Group for Mathematical Knowledge Management (MKM).
He was a trustee of the Conference on Automated Deduction and the CALCULEMUS Interest Group.
Michael Kohlhase obtained a degree in Mathematics (1989) from University of Bonn, a doctorate (1994) and habilitation (1999) in Computer Science at Saarland University.
He has pursued his doctoral and post-doctoral research in extended research visits at Carnegie Mellon University,
University of Amsterdam, the University of Edinburgh, and SRI International.
From 2000–2003, he has conducted research and taught at the School of Computer Science at Carnegie Mellon University, where he was appointed to an adjunct associate professor.
In September 2003 he was appointed as Professor of Computer Science at Jacobs University Bremen (International University Bremen until 2007), and 2006–2008 he was vice director of the Department of Safe and Secure Cognitive Systems of the German Research Centre for Artificial Intelligence (DFKI) Bremen.
He has been Conference Chair of CADE-21 and Program Chair of the KI-2006, MKM-2005, and CALCULEMUS-2000 conferences and has served on the Programme Committees of more than three dozen international conferences.
Kohlhase holds an adjunct associate professorship at Carnegie Mellon University and was (2006–2008) vice director of the Department of Safe and Secure Cognitive Systems at German Research Centre for Artificial Intelligence (DFKI) Lab Bremen.
In 2006, Michael Kohlhase ranked #8126 in CiteSeer's list of most cited computer science authors, having 305 citations.
In 2014, he became a member of the Global Digital Mathematics Library Working Group of the IMU.
Since September 2016 he holds the Professorship for Knowledge Representation and Processing at University of Erlangen–Nuremberg.
He has authored or edited four books and published almost 100 peer-reviewed papers.
Michael Kohlhase's current research interests include Automated theorem proving and knowledge representation for mathematics, inference-based techniques for natural language processing and semantics, and computer-supported education.
Much of his concrete work is based on web-based content markup formats like MathML, OpenMath, and OMDoc and systems for managing this data, e.g. semantic search engines for mathematical formulae, semantic extensions to LaTeX, or converting legacy LaTeX documents from the arXiv.
see a more complete bibliography
