足球竞彩网_365bet体育在线投注-【中国科学院】

图片

图片

Foundations of Software & Systems Engineering

Since 2007, Dr. Alexander Knapp holds a professorship for foundations of software & systems engineering. Ever more complex and ever more heterogeneous software systems make models for abstracting with respect to different perspectives, declarative specifications, and learning methods for stressing the “what?” over the “how?”, as well as integrated qualtiy assurance by the use of formal methods grow ever more decisive. Professor Knapp works on modelling languages, their semantics, and consistency checks; declarative constraint languages for perference and decision optimisation; and verification and testing of concurrent and adpative systems also using machine learning techniques.

How to contact us:

Address:
Universit?tsstra?e 6a

86159 Augsburg


Tel.: +49 821 598 ? 2180

Fax: +49 821 598 2175

E-Mail: knapp@informatik.uni-augsburg.de

?

Building: N

? University of Augsburg

Search