University of Bamberg
open search form
You are here

Information Systems and Applied Computer Sciences

Software Technologies Research Group

  1.  University of bamberg
  2. Faculties
  3. Information Systems and Applied Computer Sciences
  4. Subject groups
  5. Computer Science
  6. Software Technologies Research Group
  7. News
  8. Continued Funding from the DFG

Continued Funding from the DFG

The German Research Foundation (DFG) continues to fund the SWT Team's foundational research into heterogeneous specification formalisms that combine operational and declarative styles of specifications. One research focus is interface theories extending the well-known interface automata of de Alfaro and Henzinger.

We are pleased that Mr. Ngoc Tri Nguyen, M.Sc. who wrote his Master's thesis at the SWT Chair under the supervision of Dr. Eugene Yip, joins the SWT Team until August 2021 on this project, in order to design and implement a domain-specific language for interface theories together with support for symbolic execution and automated verification.