Katalog der Deutschen Nationalbibliothek

Neuigkeiten Aktuell kommt es bei einigen unserer Dienste zu technischen Störungen. Wir arbeiten daran, das Problem zu lösen.
 
Neuigkeiten Die Deutsche Nationalbibliothek in Leipzig ist am Donnerstag, 18. Juni 2026 geschlossen. Die Ausstellungen des Deutschen Buch- und Schriftmuseums sind von 10 bis 20 Uhr geöffnet.
 
 

Ergebnis der Suche nach: nid=1046304518



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz https://d-nb.info/gnd/1046304518
Person Mousavi, Mohammad Reza
Akademischer Grad Dr.
Geschlecht männlich
Andere Namen Mousavi, Mohammad
Mousavi, Mohammad R.
Mousavi, M. R.
Mousavi, M.
Reza Mousavi, Mohammad
Mousavi, Mohammadreza
Quelle Homepage Högskolan i Halmstad (Stand: 29.03.2017): http://ceres.hh.se/mediawiki/index.php/Mohammad_Reza_Mousavi
Homepage University of Leicester (Stand: 13.07.2022): https://www.cs.le.ac.uk/people/mm789/
Homepage King's College London (Stand: 13.07.2022): https://www.nms.kcl.ac.uk/mohammad.mousavi/
Zeit Lebensdaten: 1978-
Land Schweden (XA-SE); Iran (XB-IR)
Beruf(e) Informatiker
Hochschullehrer
Weitere Angaben Derzeit (13.07.2022) Professor am Department of Informatics, King's College London. - Jetzt (14.11.2018) Professor am Department of Informatics, University of Leicester, davor Professor am Center for Research on Embedded Systems der Hochschule Halmstad (Högskolan i Halmstad) in Schweden. - 2005-2012: Assistant Professor am Department of Electrical Engineering der Technischen Hochschule Eindhoven (Technische Universiteit Eindhoven TU/e) in den Niederlanden. - 2005: Promotion am Department of Electrical Engineering der TU/e
Beziehungen zu Organisationen University of Leicester
King's College London
Thematischer Bezug Technische Informatik
Systemtechnik
Typ Person (piz)
Autor von 4 Publikationen
  1. Compositional Active Learning of Synchronizing Systems Through Automated Alphabet Refinement
    Henry, Léo. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
  2. DyNetKAT
    Caltais, Georgiana. - Konstanz : KOPS Universität Konstanz, 2022
  3. ...
Beteiligt an 6 Publikationen
  1. Verifying Quantum Based Systems : What do we have to change?
    Schmitt, Anna. - Darmstadt : Universitäts- und Landesbibliothek, 2025
  2. Complete property-oriented testing
    Krafczyk, Niklas. - Bremen : Staats- und Universitätsbibliothek Bremen, 2024
  3. ...





Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration