Andreas Zelend

Andreas Zelend: Andreas Zelend was born in 1982. From 2004 to 2010 he studied Computer Science at the University of Augsburg. Afterwards he worked as a researcher for the professorship for programming methodology and multimedia informations systems at the University of Augsburg. His research topics include algebra-based feature-oriented program-synthesis, program verification, algebraic descriptions of systems as well as automated reasoning. In 2020 he received his doctor's degree for the thesis presented in this book.