Sven Kosub. 1. Juli 1970 in Rudolstadt (Thüringen) verheiratet, keine Kinder. Lehrstuhl für Effiziente Algorithmen Innere Wiener Straße 5

Transkript

1 Sven Kosub GEBURTSDATUM FAMILIENSTAND 1. Juli 1970 in Rudolstadt (Thüringen) verheiratet, keine Kinder DIENSTANSCHRIFT PRIVATANSCHRIFT Lehrstuhl für Effiziente Algorithmen Innere Wiener Straße 5 Fakultät für Informatik München Technische Universität München Boltzmannstraße Garching b. München Telefon: (089) Telefon: (089) Telefax: (089) kosub@in.tum.de WWW: SCHUL- UND UNIVERSITÄTSAUSBILDUNG Mai 2001 Promotion (summa cum laude) Fakultät für Mathematik und Informatik Julius-Maximilians-Universität Würzburg Betreuer: Klaus W. Wagner März 1996 Diplom (magna cum laude) Studium der Mathematik (mit Nebenfach Informatik) Friedrich-Schiller-Universität Jena Juli 1990 Abitur (summa cum laude) Facharbeiterbrief (Elektronikfacharbeiter) Betriebsberufsschule Geschwister Scholl VEB Keramische Werke/Tridelta AG Hermsdorf (Thüringen) Juli 1987 Abschluss 10. Klasse Abitur in Russisch Zehnklassige Polytechnische Oberschule Rudolf Scheffel Spezialschule mit erweitertem Russisch-Unterricht Gera (Thüringen) Zehnklassige Polytechnische Oberschule Ernst Thälmann Gera (Thüringen) TITEL DER DISSERTATION Complexity and Partitions, 2000.

2 FORSCHUNGSSCHWERPUNKTE Komplexitätstheorie und effiziente Algorithmen Netzwerkanalytik und diskrete Netzwerkdynamiken Internet-Algorithmik und spieltheoretische Anwendungen BESCHÄFTIGUNG August 2001 Januar 1997 Juli 2001 Mai 1996 Dezember 1996 September 1990 August 1991 Juli 1990 Oktober 1991 (einschließlich Freistellung zum Wehrdienst) wissenschaftlicher Assistent Fakultät für Informatik Technische Universität München wissenschaftlicher Mitarbeiter Fakultät für Mathematik und Informatik Julius-Maximilians-Universität Würzburg wissenschaftliche Hilfskraft Fakultät für Maschinenbau Technische Universität Ilmenau Wehrdienst Programmierer Abteilung Forschung und Entwicklung Tridelta AG Hermsdorf (Thüringen) PREISE & STIPENDIEN Juli 2003 Minerva Short-Term Research Grant Minerva-Stiftung Gesellschaft für die Forschung Max-Planck-Gesellschaft Dezember 2002 September 1996 Dissertationspreis Unterfränkische Gedenkjahrstiftung für Wissenschaft Landesgraduiertenstipendium Bundesland Thüringen (nicht in Anspruch genommen) FORSCHUNGSAUFENTHALT The Hebrew University of Jerusalem The Selim and Rachel Benin School of Computer Science and Engineering Gast von: Noam Nisan AKTIVITÄTEN Januar 2006 Mai 2005 Mitarbeiter InnovaTUM Sicherheitsinitiative Technische Universität München Gutachter

3 September 2005 September 2004 März 2004 Juli 2001 August 2000 AMS Mathematical Reviews Kursbetreuer Ferienakademie der Friedrich-Alexander-Universität Nürnberg-Erlangen, Universität Stuttgart und der Technischen Universität München Kurs: Inside Google - Algorithmics of Search Engines Sarntal, Südtirol Kursbetreuer Ferienakademie der Friedrich-Alexander-Universität Nürnberg-Erlangen, Universität Stuttgart und der Technischen Universität München Kurs: Polynomials - Efficient Algorithms and Applications Sarntal, Südtirol Mitorganisator 50. GI-Workshop über Komplexitätstheorie, Datenstrukturen und Effiziente Algorithmen Technische Universität München Mitorganisator 44. GI-Workshop über Komplexitätstheorie, Datenstrukturen und Effiziente Algorithmen Julius-Maximilians-Universität Würzburg Mitorganisator 25th International Symposium on Mathematical Foundations of Computer Science Workshop: New Developments in Formal Languages versus Complexity Bratislava SERVICE Begutachtung für Journale European Journal of Combinatorics IEEE Transcations on Systems, Man, and Cybernetics Information and Computation Journal of Computer and System Sciences Journal of System Architecture Theoretical Computer Science Begutachtung für Konferenzen International Workshop on Computer Algebra and Scientific Computing (CASC): 2005 IEEE Conference on Computational Complexity (CCC): 1997, 2006 Conference on Computability in Europe (CiE): 2006, 2007 Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS): 2004 International Colloquium on Algorithms, Languages and Programming (ICALP): 2007

4 ACM Symposium on Parallelism in Algorithms and Architecture (SPAA): 2006, 2007 Symposium on Theoretical Aspects of Computer Science (STACS): 2000, 2007 Symposium on Mathematical Foundations of Computer Science (MFCS): 2002, 2004 Workshop on Graph-Theoretical Concepts in Computer Science (WG): 2002, 2004, 2005 MITGLIEDSCHAFTEN Association for Computing Machinery (ACM) ACM Special Interest Group on Algorithms and Computation Theory (ACM SIGACT) European Association for Theoretical Computer Science (EATCS) European Complex Systems Society (ECSS) LEHRE SS 2007 WS SS 2006 WS SS 2005 WS SS 2004 Internet-Algorithmik: Routing-Methoden Algorithmische Aspekte nichtlinearer Optimierung (Seminarbetreuung) Datenkompression (Proseminarbetreuung) Internet-Algorithmik Algorithm Engineering (Seminarbetreuung) Grundlagen lokal selbststabilisierender Strukturen (Proseminarbetreuung) Grundlagen: Algorithmen und Datenstrukturen Textalgorithmen (Proseminarbetreuung) Forschungssemester Effiziente Algorithmen und Datenstrukturen II Internet-Algorithmik - Effiziente Gestaltung des Internetbetriebs (Seminarleitung) Markov-Ketten in der Algorithmik (Proseminarbetreuung) Effiziente Algorithmen und Datenstrukturen I Dynamische Graphenalgorithmen (Seminarleitung) Textalgorithmen und Pattern Matching (Proseminarbetreuung) Internet-Algorithmik

5 WS SS 2003 WS SS 2002 WS SS 2001 WS SS 2000 WS SS 1999 WS SS 1998 WS SS 1997 Effiziente Algorithmen und Datenstrukturen I Algorithmische Aspekte des Artificial Life (Proseminarleitung) Internet-Algorithmik (Vorlesung; Verschiebung erforderlich aus gesundheitlichen Gründen) Grundlegende Algorithmen Quantum Computing (Seminarbetreuung) Theoretische Grundlagen des Internets (Seminarleitung) Diskrete Strukturen I (Übungsgruppenleitung; Dozent: Wilfried Brauer) Ausgewählte Kapitel der Komplexitätstheorie (Übungsleitung; Dozent: Klaus W. Wagner) Berechenbarkeit und Logik (Übungsleitung; Dozent: Kathrin Tent) Komplexitätstheorie (Übungsleitung; Dozent: Klaus W. Wagner) Logik für Informatiker (Übungsleitung; Dozent: Klaus W. Wagner) Kryptographie (Hauptseminarbetreuung) Automatentheorie und Formale Sprachen (Übungsleitung; Dozent: Heribert Vollmer) Logik für Informatiker (Übungsleitung; Dozent: Klaus W. Wagner) Komplexitätstheorie I (Übungsleitung; Dozent: Heribert Vollmer) Kolmogorov Complexity (Übungsleitung; Dozent: Nikolay K. Vereshchagin) Einführung in die Theoretische Informatik (Übungsleitung; Dozent: Klaus W Wagner) Logik für Informatiker (Übungsleitung; Dozent: Klaus W. Wagner) STUDENTEN

6 Diplomarbeiten 1. Benjamin Hummel. Automata-based IP Packet Classification. Juni Tobias Haensse. Dynamische und persistente Iteratoren für Spannbäume. Januar Angelika Kneidl. Sichtenverwaltung in dynamischen Hierarchien. Juli Anna-Gwendolyn Huber. Effiziente Fahrstuhlsteuerung bei Umwegefreiheit. April Zakaria Jabara. Experimentelle Analyse von Algorithmen zur Inferenz von Internet- Hierarchien. März Melanie Liebl. Algorithmische Analyse der Attraktivität reiner Gleichgewichte in symmetrischen Belastungsspielen. Januar Georgios Mertzios. Improved Algorithms for the Fixed-Parameter Cluster-Detection Problem and Applications. Dezember Systementwicklungsprojekte 1. Zlatina Savova. Wrapper-Integration bei automatisierter Referenzengenerierung. Oktober Gemeinsame Betreuung mit Stefan Pfingstl. 2. Georgios Mertzios. Entwurf und Implementierung eines Algorithmus zur Identifikation von Teilgraphen mit konstantem Kantenüberschuss. August Matthias Hanitzsch. Automatisierte Referenzengenerierung aus Online-Zeitschriften. Februar VERÖFFENTLICHUNGEN Beiträge zu Büchern 1. S. Kosub. Local Density. In U. Brandes, T. Erlebach (Hrsg.), Network Analysis - Methodological Foundations, Band 3418 der Lecture Notes in Computer Science, Kap. 6, S Springer-Verlag, Berlin, Referierte Journalartikel 2. L. A. Hemaspaandra, C. M. Homan, S. Kosub. Cluster Computing and the Power of Edge Recognition. Information and Computation. Erscheint demnächst. 3. S. Kosub, K. W. Wagner. The Boolean Hierarchy of NP-Partitions. Information and Computation. Erscheint demnächst. 4. L. A. Hemaspaandra, C. M. Homan, S. Kosub, K. W. Wagner. The Complexity of Computing the Size of an Interval. SIAM Journal on Computing, 36(5): , K. Holzapfel, S. Kosub, M. G. Maaß, H. Täubig. The Complexity of Detecting Fixed- Density Clusters. Discrete Applied Mathematics, 154(11): , S. Kosub. NP-Partitions over Posets with an Application to Reducing the Set of Solutions of NP Problems. Theory of Computing Systems, 38(1):84 114, 2005.

7 7. M. Galota, S. Kosub, H. Vollmer. Generic Separations and Leaf Languages. Mathematical Logic Quarterly, 49(4): , S. Kosub, H. Schmitz, H. Vollmer. Uniform Characterizations of Complexity Classes of Functions. International Journal of Foundations of Computer Science, 11(4): , S. Kosub. A Note on Unambiguous Function Classes. Information Processing Letters, 72(5 6): , Beiträge in Tagungsbänden 10. S. Kosub, C. M. Homan. Dichotomy Results for Fixed Point Counting in Boolean Dynamical Systems. In Proceedings of the 10th Italian Conference on Theoretical Computer Science (ICTCS 2007). World Scientific Publishing, Singapore, Erscheint demnächst. 11. M. Baumgart, S. Eckhardt, J. Griebsch, S. Kosub, J. Nowak. All-Pairs Common-Ancestor Problems in Weighted Dags. In Proceedings of the International Symposium on Combinatorics, Algorithms, Probabilistic and Experimental Methodologies (ESCAPE 2007), Band NNNN der Lecture Notes in Computer Science. Springer-Verlag, Berlin, Erscheint demnächst. 12. S. Kosub, M. G. Maaß, H. Täubig. Acyclic Type-of-Relationship Problems on the Internet. In Proceedings of the 3rd Workshop on Combinatorial and Algorithmic Aspects of Networking (CAAN 2006), Band 4235 der Lecture Notes in Computer Science, S Springer-Verlag, Berlin, L. A. Hemaspaandra, C. M. Homan, S. Kosub. Cluster Computing and the Power of Edge Recognition. In Proceedings of the 3rd Annual Conference on Theory and Applications of Models of Computation (TAMC 2006), Band 3959 der Lecture Notes in Computer Science, S Springer-Verlag, Berlin, Journalversion: [2]. 14. S. Eckhardt, S. Kosub, M. G. Maaß, H.Täubig, S. Wernicke. Combinatorial Network Abstraction by Trees and Distances. In Proceedings of the 16th Annual International Symposium on Algorithms and Computation (ISAAC 2005), Band 3827 der Lecture Notes in Computer Science, S Springer-Verlag, Berlin, S. Kosub. Boolean NP-Partitions and Projective Closure. In Proceedings of the 4th International Conference on Discrete Mathematics and Theoretical Computer Science (DMT- CS 2003), Band 2731 der Lecture Notes in Computer Science, S Springer- Verlag, Berlin, K. Holzapfel, S. Kosub, M. G. Maaß, H. Täubig. The Complexity of Detecting Fixed- Density Clusters. In Proceedings of the 5th Italian Conference on Algorithms and Complexity (CIAC 2003), Band 2653 der Lecture Notes in Computer Science, S Springer-Verlag, Berlin, Journalversion: [5]. 17. L. A. Hemaspaandra, S. Kosub, K. W. Wagner. The Complexity of Computing the Size of an Interval. In Proceedings of the 28th International Colloquium on Automata, Languages and Programming (ICALP 2001), Band 2076 der Lecture Notes in Computer Science, S Springer-Verlag, Berlin, Journalversion: [4]

8 18. S. Kosub. On NP-Partitions over Posets with an Application to Reducing the Set of Solutions of NP Problems. In Proceedings of the 25th Symposium on Mathematical Foundations of Computer Science (MFCS 2000), Band 1893 der Lecture Notes in Computer Science, S Springer-Verlag, Berlin, Journal version: [6]. 19. S. Kosub, K. W. Wagner. The Boolean Hierarchy of NP-Partitions. In Proceedings of the 17th Symposium on Theoretical Aspects of Computer Science (STACS 2000), Band 1770 der Lecture Notes in Computer Science, S Springer-Verlag, Berlin, Journalversion: [3]. 20. D. Görsch, S. Kosub, K.-P. Zocher. Allgemeine Systeme der Toleranzgruppenoptimierung. Im Tagungsband zum 44. Internationalen Wissenschaftlichen Kolloquiums (IWK 99), Band 1, S Technische Universität Ilmenau, Ilmenau, D. Görsch, S. Kosub, K.-P. Zocher. Toleranzgruppenoptimierung in der Adaptiven und Selektiven Montage. Im Tagungsband zum 44. Internationalen Wissenschaftlichen Kolloquiums (IWK 99), Band 3, S Technische Universität Ilmenau, Ilmenau, S. Kosub, H. Schmitz, H. Vollmer. Uniformly Defining Complexity Classes of Functions. In Proceedings of the 15th Symposium on Theoretical Aspects of Computer Science (STACS 98), Band 1373 der Lecture Notes in Computer Science, S Springer- Verlag, Berlin, Journalversion: [8]. Qualifizierungsarbeiten 23. S. Kosub. Computational Analysis of Complex Systems: Discrete Foundations, Algorithms, and the Internet. Habilitationsschrift, Fakultät für Informatik, Technische Universität München, Mai Eingereicht. 24. S. Kosub. Complexity and Partitions. Dissertation, Fakultät für Mathematik und Informatik, Julius-Maximilians-Universität Würzburg, November Vollständige Arbeit erschienen in PhD Theses Series des Electronic Colloquium on Computational Complexity, S. Kosub. Clustermaschinen. Diplomarbeit, Fakultät für Mathematik und Informatik, Friedrich-Schiller-Universität Jena, Februar Journalversion: [9]. Technische Berichte 26. B. Hummel, S. Kosub. Acyclic Type-of-Relationship Problems on the Internet: An Experimental Analysis. Technischer Bericht TUM-I0709, Fakultät für Informatik, Technische Universität München, Februar S. Kosub, C. M. Homan. Dichotomy Results for Fixed Point Counting in Boolean Dynamical Systems. Technischer Bericht TUM-I0706, Fakultät für Informatik, Technische Universität München, Januar Konferenzversion: [10]. 28. S. Kosub. Dichotomy Results for Fixed-Point Existence Problems for Boolean Dynamical Systems. Technischer Bericht TUM-I0701, Fakultät für Informatik, Technische Universität München, Januar M. Baumgart, S. Eckhardt, J. Griebsch, S. Kosub, J. Nowak. All-Pairs Common-Ancestor

9 Problems in Weighted Dags. Technischer Bericht TUM-I0606, Fakultät für Informatik, Technische Universität München, April Konferenzversion: [11]. 30. S. Kosub, M. G. Maaß, H. Täubig. Acyclic Type-of-Relationship Problems on the Internet. Technischer Bericht TUM-I0605, Fakultät für Informatik, Technische Universität München, März Konferenzversion: [12]. 31. L. A. Hemaspaandra, C. M. Homan, S. Kosub. Cluster Computing and the Power of Edge Recognition. Technischer Bericht URCS-TR , Department of Computer Science, University of Rochester, September Ebenso als Technischer Bericht cs.cc/ , ACM Computing Research Repository, September Konferenzversion: [13]. Journalversion: [2]. 32. S. Eckhardt, S. Kosub, M. G. Maaß, H. Täubig, S. Wernicke. Combinatorial Network Abstraction by Trees and Distances. Technischer Bericht TUM-I0502, Fakultät für Informatik, Technische Universität München, März Konferenzversion: [14]. 33. L. A. Hemaspaandra, C. M. Homan, S. Kosub, K. W. Wagner. The Complexity of Computing the Size of an Interval. Technischer Bericht URCS-TR , Department of Computer Science, University of Rochester, Februar Ebenso als Technischer Bericht cs.cc/ , ACM Computing Research Repository, Februar Konferenzversion: [17]. Journalversion: [4]. 34. S. Kosub. Local Density. Technischer Bericht TUM-I0421, Fakultät für Informatik, Technische Universität München, Dezember Buchversion: [1]. 35. K. Holzapfel, S. Kosub, M. G. Maaß, H. Täubig. The Complexity of Detecting Fixed- Density Clusters. Technischer Bericht TUM-I0212, Fakultät für Informatik, Technische Universität München, Dezember Konferenzversion: [16]. Journalversion: [5]. 36. S. Kosub, E. W. Mayr, A. Steger (Hrsg.). Theoretische Grundlagen des Internets. Technischer Bericht TUM-I0210, Fakultät für Informatik, Technische Universität München, Oktober S. Kosub, K. W. Wagner. The Boolean Hierarchy of NP-Partitions. Technischer Bericht Nr. 233, Institut für Informatik, Julius-Maximilians-Universität Würzburg, Juli Überarbeitete und erweiterte Version als Technischer Bericht TUM-I0209, Fakultät für Informatik, Technische Universität München, September Konferenzversion: [19]. Journalversion: [3]. 38. M. Galota, S. Kosub, H. Vollmer. Generic Separations and Leaf Languages. Technischer Bericht TUM-I0104, Fakultät für Informatik, Technische Universität München, September Ebenso als Technischer Bericht Nr. 281, Institut für Informatik, Julius- Maximilians-Universität Würzburg, September Journalversion: [7]. 39. S. Kosub. Types of Separability. Technischer Bericht Nr. 267, Institut für Informatik, Julius-Maximilians-Universität Würzburg, November S. Kosub. Boolean Partitions and Projective Closure. Technischer Bericht Nr. 266, Institut für Informatik, Julius-Maximilians-Universität Würzburg, November Konferenzversion: [15]. 41. S. Kosub. On NP-Partitions over Posets with an Application to Reducing the Set of Solutions of NP Problems. Technischer Bericht Nr. 257, Institut für Informatik, Julius- Maximilians-Universität Würzburg, April Konferenzversion: [18]. Journalversion:

10 [6]. 42. S. Kosub. Persistent Computations. Technischer Bericht Nr. 217, Institut für Informatik, Julius-Maximilians-Universität Würzburg, Dezember S. Kosub, H. Schmitz, H. Vollmer, Uniformly Defining Complexity Classes of Functions. Technischer Bericht Nr. 183, Institut für Informatik, Julius-Maximilians-Universität Würzburg, September Konferenzversion: [22]. Journalversion: [8]. 44. S. Kosub. On Cluster Machines and Function Classes. Technischer Bericht Nr. 172, Institut für Informatik, Julius-Maximilians-Universität Würzburg, Mai Journalversion: [9]. PRÄSENTATIONEN Eingeladene Vorträge 1. Dichtebasierte Clusterung, Kolloquium, Institut für Informationssysteme, Universität Hannover, 2. Juni Projektiv abgeschlossene NP-Partitionen, 1. Würzburger Herbstworkshop, 10. Oktober Komplexität des Findens dichter Teilgraphen, Kolloquium, Lehrstuhl für Theoretische Informatik, Julius-Maximilians-Universität Würzburg, 15. Juli Komplexität von Partitionen, Kolloquium, Lehrstuhl für Effiziente Algorithmen, Technische Universität München, 31. Januar Vorträge auf Konferenzen und Workshops 5. Fixpunktanalyse boolescher dynamischer Systeme, 53. GI-Workshop über Komplexitätstheorie, Datenstrukturen und Effiziente Algorithmen, Dortmund, Mai Acyclic type-of-relationship problems on the Internet, 3rd Workshop on Combinatorial and Algorithmic Aspects of Networking (CAAN 2006), Chester, Juli Ebenso: 51. GI-Workshop über Komplexitätstheorie, Datenstrukturen und Effiziente Algorithmen, Erlangen, März Cluster computing and the power of edge recognition, 3rd International Conference on Theory and Applications of Models of Computation (TAMC 2006), Beijing, Mai Frugality of path mechanisms, GI-Dagstuhl-Seminar Game-Theoretic Analyses of the Internet, IBFI Schloss Dagstuhl, September Lokale Dichte in Netzwerken, GI-Dagstuhl-Seminar Network Analysis, IBFI Schloss Dagstuhl, April Boolean NP-partitions and projective closure, 4th International Conference on Discrete Mathematics and Theoretical Computer Science (DMTCS 2003), Dijon, Juli Ebenso: 48. GI-Workshop über Komplexitätstheorie, Datenstrukturen und Effiziente Algorithmen, Hannover, Juni Komplexität des Findens dichter Teilgraphen, 46. GI-Workshop über Komplexitätstheo-

11 rie, Datenstrukturen und Effiziente Algorithmen, Marburg, Dezember Neues zur Einbettungsvermutung, Ellwangen-Workshop, Würzburg, Februar NP-partitions over posets with an application to reducing the set of solutions of NP problems, 25th International Symposium on Mathematical Foundations of Computer Science (MFCS 2000), Bratislava, September Ebenso: 40. GI-Workshop über Komplexitätstheorie, Datenstrukturen und Effiziente Algorithmen, Ilmenau, März The boolean hierarchy of NP-partitions, 17th Symposium on Theoretical Aspects of Computer Science (STACS 2000), Lille, Februar Ebenso: 37. GI-Workshop über Komplexitätstheorie, Datenstrukturen und Effiziente Algorithmen, Berlin, März Ebenso: Ellwangen-Workshop, Ulm, Dezember Allgemeine Systeme der Toleranzgruppenoptimierung, 44. Internationales Wissenschaftliches Kolloquium (IWK 1999), Ilmenau, September Uniforme Definierbarkeit von Funktionenklassen, Forum für Formale Sprachen und Automatentheorie, Würzburg, October Ebenso: Ellwangen-Workshop, Ulm, Mai Clustermaschinen und Funktionenklassen, 31. GI-Workshop über Komplexitätstheorie, Datenstrukturen und Effiziente Algorithmen, März Ebenso: DMV-Jahrestagung (Studentenkonferenz), Jena, September REFERENZEN Prof. Dr. Ernst W. Mayr Lehrstuhl für Effiziente Algorithmen Fakultät für Informatik Technische Universität München Boltzmannstraße Garching b. München Prof. Dr. Klaus W. Wagner Lehrstuhl für Theoretische Informatik Fakultät für Mathematik und Informatik Bayerische Julius-Maximilians-Universität Würzburg Am Hubland Würzburg Prof. Dr. Lane A. Hemaspaandra Department of Computer Science University of Rochester Rochester, NY , USA Stand: 31. Mai 2007