KO

Michael Kohlhase

Professor of Computer Science at FAU Erlangen-Nürnberg. The @KWARC group works (on systems for) the representation and management of mathematical knowledge

Erlangen, Germany

Website

Joined April 2013

97 Followers

0 Following

AI Insights & Achievements

25/ 100

Veteran

Coding for 13 years.

Influencer

97 followers.

Organizations

SA KW OP MA TH UN OM OP IC UF

Public Repos

10

Total Stars

10

Total Forks

1

Public Gists

0

Top Languages

Based on primary language of repositories

Recent Activity

Contribution Graph

Activity Timeline

Commits and contributions grouped by day, week, or month.

High productivity periods

Most active day: January 24th, 2026 • 4 contributions

Most active week: Nov 24–Nov 30 • 21 contributions

Most active month: May 2025 • 62 contributions

MemberEvent on ICMS-conference/icms-conference.github.io

February 5th, 2026 6:16 AM

opened issue in slatex/stextools

February 3rd, 2026 5:47 AM

assigned issue in slatex/stextools

February 3rd, 2026 5:47 AM

opened issue in slatex/stextools

February 3rd, 2026 5:45 AM

assigned issue in slatex/stextools

February 3rd, 2026 5:45 AM

opened issue in slatex/stextools

February 2nd, 2026 9:35 AM

assigned issue in slatex/stextools

February 2nd, 2026 9:35 AM

IssueCommentEvent on slatex/stextools

February 2nd, 2026 9:35 AM

labeled issue in slatex/stextools

February 2nd, 2026 9:04 AM

opened issue in slatex/stextools

February 2nd, 2026 9:04 AM

GitHub Analytics

Michael Kohlhase

Veteran

Influencer