Logo

research

data structures and software dependability

computer science department

brandenburg university of technology cottbus - senftenberg

Research

latest update: April 16, 2014, at 05:37 PM


GENERAL OBJECTIVES


bridging the gap
between qualitative and quantitative systems approaches to model and analyse natural as well as technical systems

managing diversity
collection and user-friendly preparation of (semi-) formal methods

user support
provision of tools for the practically working (computer) scientist



MAIN RESEARCH AREAS


software dependability engineering
engineering dependable software - just another way to waste your money?

Petri nets
and related modelling and analysis tools

computational biology
analysis/simulation methods in systems and synthetic biology


the end

Any comments or questions are welcome. Please direct them to monika [period] heiner [snail] b-tu [period] de