Ask Ubuntu
IARI
  • Member for 9 years, 7 months
Profile Activity
Stats
183
reputation
0
reached
0
answers
0
questions
Communities
View all
About

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.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
1
bronze badge
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
40
Uncover lines of an align environment with beamer
20
A theoremstyle with complete indentation using amsthm
13
Remove comma from moderncv's \cventry
13
python abstractmethod with another baseclass breaks abstract functionality
11
Put multiple items in a python queue

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.