Islam Hamada
Bis 2020, Research Assistant, Technische Universität Dresden
Abschluss: Bachelor of Science, German University in Cairo
Dresden, Deutschland
Werdegang
Berufserfahrung von Islam Hamada
Research Assistant in TU Dresden in the Knowledge Representation and Reasoning group. My focus topic is Weak Completion Semantics which is a three-valued logic that is used to model human reasoning.
Developing a software prototype for explaining answers for ontology-mediated data access using conjunctive queries and description logic ontologies
Student Assistant for developing the tool DUGGI, which is an LTL-to-Automata translator with focus on Unambiguous (Büchi) automata. Such transitions are used for the verification of probabilistic systems. Development is in C++.
3 Monate, Feb. 2019 - Apr. 2019
Junior Teaching Assistant
The German University in Cairo
Teaching Assistant in Media and Networks lab. I helped student with their projects, experiment and graded their reports.
Ausbildung von Islam Hamada
Bis heute 4 Jahre und 9 Monate, seit Okt. 2019
Informatik
TU Dresden
7 Monate, März 2018 - Sep. 2018
Informatik/ Computer Science
Karlsruhe Institute of Technology (KIT)
accelerated reliability analysis for circuits using graphics processing units.
4 Jahre und 8 Monate, Okt. 2014 - Mai 2019
Computer Science and Engineering
German University in Cairo
Sprachen
Englisch
Fließend
Arabisch
Muttersprache
Deutsch
Gut