60 https://www.uni-bremen.de/data-science-center/forschung/unsere-mitglieder/dr-muhammad-hassan Profil DSC Mitglied Dr. Muhammad Hassan de Universität Bremen Sat, 18 Apr 2026 13:36:02 +0200 Sat, 18 Apr 2026 13:36:02 +0200 Universität Bremen content-480013 Fri, 06 Mar 2026 10:30:26 +0100 https://www.uni-bremen.de/data-science-center/forschung/unsere-mitglieder/dr-muhammad-hassan#c480013 <p>FB 03: Mathematik und Informatik</p> <p><em>Rechnerarchitektur</em></p> <p>Cyber-Physical Systems, DFKI</p> <p><strong>Kompetenzen</strong></p> <p>Analog/Mixed-Signal-Verifikationsmethoden auf Systemebene; Compilerbau; Informationssicherheit; Hardwaresicherheit; Maschinelles Lernen; Künstliche Intelligenz; Rechnerarchitektur.</p> Content content-480015 Fri, 06 Mar 2026 10:30:26 +0100 https://www.uni-bremen.de/data-science-center/forschung/unsere-mitglieder/dr-muhammad-hassan#c480015 <p>Muhammad Hassan absolvierte 2010 seinen Bachelor of Science in „Telecommunication Engineering “ an der National University of Computer and Emerging Sciences (NUCES-FAST) Islamabad, Pakistan. Danach arbeitete er als Design-Engineer bei And-Or Logic, Pakistan, an der Erforschung und Entwicklung von Kommunikationsverschlüsselungssystemen mit ARM-Controllern und FPGAs. Später schloss er seinen Master of Science in Nachrichtentechnik an der RWTH Aachen, Deutschland, ab. Seit September 2015 ist er Doktorand in der Arbeitsgruppe von Prof. Dr. Rolf Drechsler an der Universität Bremen, wo er sich mit der statischen und dynamischen Erfassung von Daten von Systemen (Design under Verification) mit Hilfe von Compilertechniken beschäftigt. Die Daten werden in verschiedenen Verifikationsmethodiken verwendet. Seit April 2017 arbeitet er in der Gruppe Cyber-Physical Systems am Deutschen Forschungszentrum für Künstliche Intelligenz (DFKI) an der Verifikation auf Systemebene von analogen/mixed-signal Systemen.<br /> <br /> Seine aktuelle Forschung umfasst datengetriebene Verifikationsmethoden, bei denen von den Systemen generierte Simulationsspuren (Daten) verwendet werden, um ein qualitativ hochwertiges verifiziertes System zu erhalten. Darüber hinaus arbeitet er an neuartigen Verifikationstechniken, wie z.B. dem metamorphic testing, bei dem kein Referenzmodell erforderlich ist, um die Systemkorrektheit zu gewährleisten. Infolgedessen wird eine Beziehung zwischen verschiedenen Datenpunkten hergestellt, um die korrekte Funktionalität zu verifizieren.<br />  </p> Content content-480016 Fri, 06 Mar 2026 10:30:26 +0100 https://www.uni-bremen.de/data-science-center/forschung/unsere-mitglieder/dr-muhammad-hassan#c480016 <p>Universität Bremen<br /> Fachbereich 03 – Mathematik und Informatik<br /> Deutsches Forschungszentrum für Künstliche Intelligenz (DFKI)<br /> Bibliothekstr. 5<br /> 28359 Bremen</p> <hr /> <p>Tel. +49 (421) 218 63937</p> <p>Fax: +49 (421) 218 98 63937</p> <p>E-Mail: <a class="mail" href="mailto:Muhammad.hassan@dfki.de" title="Öffnet ein Fenster zum Versenden der E-Mail">Muhammad.hassan@dfki.de</a> & <a class="mail" href="mailto:hassan@uni-bremen.de" title="Öffnet ein Fenster zum Versenden der E-Mail">hassan@uni-bremen.de</a></p> Content