Florian Dewald

Florian Dewald
Office: S2|02 E322
Phone: +49 6151 16-25255
Fax: +49 6151 16-25251
Mail: dewaldatmais.informatik.tu-darmstadt.de

TU Darmstadt

Department of Computer Science

Modeling and Analysis of Information Systems

Hochschulstraße 10

D-64289 Darmstadt


GPG-Key: 4096R/5C866695, Fingerprint: 828E 8270 83CB 250B 61D1 471C 94A3 B2D5 5C86 6695

Short Bio

I received my B.Sc. and M.Sc. degree in computer science at Technische Universität Darmstadt in 2016 and 2018, respectively. Afterwards, I joined the MAIS group as a PhD candidate in the Software-Factory 4.0 project. My current focus is to obtain reliable correctness guarantees for (semi-)automatic parallelization of sequential software.

Research Interests

  • Program Analyses
  • Concurrency
  • Formal Methods
  • Information Flow Analyses including Side Channels

Theses Topics and Student Assistant Positions

Are you looking for a thesis topic or a position as student assistant? Are you interested in applying formal methods to obtain correctness results? Feel free to contact me via e-mail for open thesis topics or student assistant positions connected to my current research topics.


These documents have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.


  • Florian Dewald, Johanna Rohde, Christian Hochberger and Heiko Mantel. Improving Loop Parallelization by a Combination of Static and Dynamic Analyses in HLS. In ACM Transactions on Reconfigurable Technology and Systems, 2022.
    BibTeX entry | URL ]


  • Jan-Patrick Lehr, Christian Bischof, Florian Dewald, Heiko Mantel, Mohammad Norouzi and Felix Wolf. Tool-Supported Mini-App Extraction to Facilitate Program Analysis and Parallelization. In International Conference on Parallel Processing (ICPP), 2021.
    BibTeX entry | URL ]




  • Florian Dewald. Timing-Sensitive Information-Flow Analysis of AVR Assembly Programs. Bachelor's thesis, TU Darmstadt, 2016.
    BibTeX entry ]

A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang