Personal Information
Organization / Workplace
Copenhagen Area, Capital Region, Denmark Denmark
Occupation
Professor at IT University of Copenhagen
Industry
Education
Website
http://www.itu.dk/~wasowski
About
I research use of modeling and analysis in engineering of complex software systems. I have experience with structural modeling, variability modeling, discrete dynamics modeling, real-time dynamics modeling, probabilistic dynamics modeling in scenarios following stepwise refinement methods and component-based development methods. In my work foundational research interacts with pragmatics and innovation. I draw on mathematical theories (semantics, logics, and probability), engineering (building and improving tools) and empirical science (observing real systems). I am very fond of intensive collaboration with industrial partners on concrete engineering problems, but I also spend time on abst...
Tags
finding bugs
ros
variability
linux
bugs
dependency
modularity
vamos
software engineering
rxros
rxcpp
fp
functional programming
c++
reactive programming
rx
dsl
sysml
uml
mbse
mdd
mdse
mde
models
ituniversity
bug finding
program analysis
cognition
itu
type-and-effects systems
software modernization
shape analysis
software development
privacy
legacy systems
See more