Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=1028534892
Link zu diesem Datensatz | https://d-nb.info/gnd/1028534892 |
Person | Emerson, E. Allen |
Geschlecht | männlich |
Andere Namen |
Emerson, Ernest Allen Allen Emerson, E. |
Zeit | Lebensdaten: 1954- |
Land | USA (XD-US) |
Geografischer Bezug | Geburtsort: Dallas, Tex. |
Beruf(e) |
Informatiker Mathematiker Hochschullehrer |
Weitere Angaben | Fachgebiete: automatische Programmsynthese, Verifizierung parametrisierter Systeme und Datenstruktur-Beweisen |
Beziehungen zu Organisationen | University of Texas |
Typ | Person (piz) |
Beteiligt an |
3 Publikationen
|