Christian Hofmann

Title: Formal Verification of DNA Computing Models

DNA Computing describes an unconventional computing model which is based on
abstractions of molecular biological processes for applications in mathematics
and computer science. The DNA is used as a data carrier and as storage medium
for information. In this talk we introduce the syntax and discuss the
semantics of the DNA computing model TT6.