University Assistant, MSc Institute of Logic and Computation Formal Methods in Systems Engineering TU Wien Favoritenstraße 9–11 1040 Wien, Austria Room: HA0305 Email: ta.ca.neiwutnull@adamah.malsi Website: —

 

Research Interests
Formal Methods, Model Checking

Current Position
I am a PhD student in the Doctoral College Logics for Computer Science at TU Wien (LogiCS@TUWien) that is co-funded by the EC H2020 Marie Skłodowska-Curie COFUND, within the Formal Methods in Systems Engineering group under the supervision of Prof. Georg Weissenbacher.

Education
MA in Computational Logic, TU Dresden, 2022
BA in Computer Science and Engineering, German University in Cairo, 2019

Publications

For an up-to-date list of publications, please visit TU Wien Informatics | Islam Hamada.

On disjunctions and the weak completion semantics
I Hamada, S Hölldobler
Proceedings of the Virtual MathPsych/ICCM. via mathpsych. org/presentation/571

On Contextual Programs Under Three-Valued Łukasiewicz Logic
I Hamada
Proceedings http://ceur-ws. org ISSN 1613, 0073

Humans Reason Skeptically
M Bhadra, I Hamada, S Hölldobler, L Moniz
in: Magnani, L. (eds) Handbook of Abductive Cognition pp 1–36. Springer, Cham.