		życiorys	(2008-11-14, PDF: 100kB, HTML)
		curriculum vitae	(2008-11-14, PDF: 97kB, HTML)
		mein Lebenslauf	(2008-11-14, PDF: 98kB, HTML)

		list of papers	(2008-11-01, PDF: 318kB, HTML)
		papers in DBLP
		Forschungsleistungsdokumentation - UIbk
		praca doktorska (PhD Thesis) Nr: 32975

Quality Engineering

Institut für Informatik

Universität Innsbruck

SQUAM info web page with OCL Editor

my office and postal address

Triathlon

strona prywatna Opoków

kropka, czyli moje refleksje

private homepage of the Opokas

The world left behind rocky horizon seems to be unreal with its absurd problems. Here everything takes another meaning. The rhythm of the time slows down, amazing things happen, thoughts can not keep up with events, and words can not keep up with thoughts... [jdvco]

Research interest:

Model Driven Software Engineering
Model Driven Testing
Systematic Quality Assessment of Models
Applications and extensions of Object Constraint Language

Projects I'm involved in: MedFlow, Telling TestStories, Softnet.

Teaching

WS 08/9:Formal Specification (lecture)
SS 2009:Formal Specification (lab)
SS 2009:Semantic of Programming Languages (lecture)
SS 2009:Model Engineering (lecture)
SS 2010:Selected Topics of Software Engineering (lecture)