Michael Tüxen (* 1966) ist ein deutscher Mathematiker, Informatiker, Mitglied der IETF und Professor an der FH Münster.
Leben Tüxen studierte Mathematik, theoretische Physik und Informatik an der Georg-August-Universität Göttingen bis 1993. Anschließend arbeitete er bis 1995 als wissenschaftlicher Mitarbeiter an der Uni Göttingen am Sonderforschungsbereich 170 (Geometrie und Analysis), war 1996 Mitglied eines DFG-Forschungsprojektes und legte im selben Jahr bei Hans Grauert seine Dissertation über Reelle Räume vor (Titel: Übertragung von komplex analytischen Ergebnissen auf den reellen Fall). abgerufen am 1. Dezember 2024.
1997 ging er zu Siemens nach München, wo er in der Abteilung Systementwicklung als Forschungsingenieur an der Entwicklung von Telekommunikationssystemen arbeitete. Er konzentrierte sich hierbei auf Performanceanalysen und das Design von Protokollen. Außerdem war er beteiligt an der Entwicklung von Standards bei der ITU, am ETSI und bei der IETF.
Forschung und Lehre Seit 2003 hat er eine Professur an der FH Münster. Er lehrt und forscht am Fachbereich Elektrotechnik und Informatik in den Gebieten Netzwerkprogrammierung, IP-Netze und Protokolle, sowie Compilerbau. Tüxen ist dort auch Leiter des Labors für Netzwerkprogrammierung. Sein Spezialgebiet ist das Stream Control Transmission Protocol (SCTP), insbesondere Performance, Implementation, Erweiterungen und die Anwendung für Signaltransporte über IP-Netzwerke (SIGTRAN), sowie fehlertolerante Kommunikation. Tüxen war und ist intensiv an der SCTP-Entwicklung beteiligt.
Außerdem ist er Co-Vorsitzender des TCP Maintenance and Minor Extensions Gremiums bei der IETF, wo er sich mit der Wartung und Weiterentwicklung des TCP-Protokolls beschäftigt.
Darüber hinaus ist Tüxen aktiver Contributor beim Open-Source Betriebssystem FreeBSD.
Veröffentlichungen Das Stream Control Transmission Protocol (SCTP) – ein neues Protokoll zum Transport von Signalisierungsmeldungen über IP-basierte Netze, Jungmaier, A.; Schopp, M.; Tüxen, M.; E&I, Elektrotechnik und Informationstechnik ÖVE-Verbandszeitschrift, Ausgabe 6/2000, pp. 381–388 Secure End-to-End Transport Over SCTP, Hohendorf, C.; Rathgeb, E.P.; Unurkhaan, E.; Tüxen, M.; JCP – Journal of Computers, 2(4): 31 – 40, 2007. A Formal Analysis of SCTP: Attack Synthesis and Patch Verification, Ginesin, J.; von Hippel, M.; Defloor, E.; Nita-Rotaru, C.; Tüxen, M.; Usenix Security 2024
Weblinks Webseite von Michael Tüxen an der FH Münster Liste der Veröffentlichungen, Beiträge und Patente
Einzelnachweise
Kategorie:Mathematiker (20. Jahrhundert) Kategorie:Hochschullehrer (Fachhochschule Münster) Kategorie:Absolvent der Georg-August-Universität Göttingen Kategorie:Deutscher Kategorie:Geboren 1966 Kategorie:Mann