Florian Dewald

Florian Dewald
Office: S2|02 E321
Phone: +49 6151 16-25256
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

Germany

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.

Publications

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.


2018

  • Florian Dewald. Exploring the Robustness of Dependency Graphs Based on Operational Semantics. Master's Thesis, TU Darmstadt, 2018.
    BibTeX entry ]

2017

2016

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

 

Last modified on 17 April 2018.

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