The Stack Overflow podcast is back! Listen to an interview with our new CEO.
143
reputation
1
9

IARI

I am a student of computer science at the University of Freiburg.

Currently I am working on my Bachelor thesis about Petri Nets in the context of trace abstraction for automated program verification.

0
answers
5
questions
~7k
people reached

Top tags (12)

Score 0
Posts 2
Posts % 40
Score 0
Posts 2
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top posts (5) All Questions Answers | Votes Newest

Badges (10)

Gold

Silver

1

Rarest

Bronze

9

Rarest