Skip to content

Scientist · Computer Science

Christoph Matheja

Carl von Ossietzky Universität Oldenburg, Oldenburg, Germany

iD0000-0001-9151-0441

Citations, last 5 years: 143
Works, last 5 years: 35
h-index: 17
Citations, all time: 911
In Computer Science: #78,867

Research topics

Logic, programming, and type systems70Computer Science
Formal Methods in Verification69Computer Science
Software Testing and Debugging Techniques36Computer Science
Logic, Reasoning, and Knowledge18Computer Science
Teaching and Learning Programming10Computer Science

Recent works

Discussion

Ask Christoph about their research. When the scientist claims this card, they will see your question.

Start a discussion