Ask Ubuntu
user avatar
user avatar
user avatar
IARI
  • Member for 10 years
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
22
A theoremstyle with complete indentation using amsthm
13
Remove comma from moderncv's \cventry
13
Put multiple items in a python queue
13
python abstractmethod with another baseclass breaks abstract functionality

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.