Hallo zusammen, ich versuche gerade, ein solides Thema für eine Masterarbeit zu finden, das sich auf einen Zweig der Automatentheorie bezieht oder sich auf formale Sprachen bezieht. Ich versuche, einige gute Ideen für ein akzeptables Thema zu generieren, etwas Ehrgeiziges, aber gleichzeitig Machbares.
Anregungen wäre sehr dankbar!
ds.algorithms
automata-theory
fl.formal-languages
soft-question
Vincent Russo
quelle
quelle
Antworten:
Während ich der Antwort von David Eppstein im Allgemeinen zustimme (und sie positiv bewertet habe), ist das aufkommende Feld der Automaten, die biologische Prozesse und andere "Dinge" des natürlichen Rechnens definieren, ein lebendiger Bereich. Eine spätere Einstellung ist nichts, mit dem ich sprechen kann, aber Sie könnten daran interessiert sein, sich die künstliche Biochemie von Luca Cardelli oder die effiziente Turing-Universal-Berechnung mit DNA-Polymeren von Qian et al. Das erste Papier ist Cardellis jüngster Versuch, formale Methoden für biochemische Prozesse bereitzustellen. die zweite ist eine theoretische DNA-Implementierung einer Stapelmaschine.
quelle
Ich denke, David Eppstein ist zu abweisend gegenüber dem Bereich der Automatentheorie und der formalen Sprachen. Die Behauptung, dass es problematisch sein könnte, "es auf hochrangigen Konferenzen zu veröffentlichen und jemanden davon zu überzeugen, Sie nach Ihrem Abschluss einzustellen", scheint das zu sein, was Haldane den Satz von Tante Jobiska nannte: "Es ist eine Tatsache, die die ganze Welt kennt."
Tatsächlich gibt es gute Konferenzen (wie STACS und ICALP), die routinemäßig Ergebnisse in der Automatentheorie und in formalen Sprachen veröffentlichen. Es gibt gut besuchte Konferenzen (wie DLT), die sich auf das Gebiet konzentrieren. Es ist ein sehr aktives Gebiet in Deutschland, Frankreich und Italien. Es gibt große offene Probleme in der Region. und ich kenne viele Studenten, die keine Probleme hatten, Jobs zu bekommen.
quelle
Die Unterstützung beim Thema der Abschlussarbeit ist einer der Gründe, warum wir Betreuer für Doktoranden haben. Sie sollten sich daher an Ihren Betreuer wenden.
Der allgemeine Rat, den ich gehört habe, ist, dass Sie die Protokolle einer Reihe von kürzlich in dem Bereich, in dem Sie arbeiten möchten, ausgewählten Konferenzen auswählen und sich die darin enthaltenen Papiere ansehen sollten, bis Sie etwas Interessantes finden, und es mit Ihrem Vorgesetzten besprechen, um festzustellen, ob Es ist ein vernünftiges Thema.
quelle
Ein weiterer fruchtbarer Bereich, der hier noch nicht erwähnt wurde, ist die Verbindung zwischen Automatentheorie und Logik. Ich denke, diese Forschungsrichtung ist in Europa populärer als in Nordamerika. Da ich auf diesem Gebiet nicht arbeite, kann ich Ihnen kein bestimmtes Problem vorschlagen. Sie können sich jedoch sowohl die aktuellen als auch die vorherigen LICS 2010 für aktuelle Arbeiten ansehen . Die Vorlesungsunterlagen aus einem Kurs von Leonid Libkin sind ein guter Anfang.
quelle
Das theoretische Studium der Automatentheorie und der formalen Sprachen ist ein bisschen moribund (das heißt, Sie können wahrscheinlich immer noch interessante Forschungsprobleme finden, an denen Sie arbeiten können, aber es kann problematisch sein, es auf Konferenzen auf höchster Ebene zu veröffentlichen und jemanden davon zu überzeugen, Sie nach Ihrem Abschluss einzustellen). . Ich glaube jedoch, dass auch interessante Arbeiten zur Anwendung der formalen Sprachtheorie auf die Erkennung von Bedrohungen / Eindringlingen im Internet usw. durchgeführt werden, und dieser Bereich scheint derzeit viel heißer zu sein.
Siehe z
Wagner und Dean, Intrusion Detection mittels statischer Analyse, IEEE Symp. Sicherheit und Datenschutz 2001
Wagner und Soto, Mimicry-Angriffe auf hostbasierte Intrusion Detection-Systeme, ACM Conf. Computer- und Kommunikationssicherheit 2002
Giffin, Jha und Miller, Efficient Context-Sensitive Intrusion Detection, NDSS 2004
Feng et al., Formalisierung der Empfindlichkeit in der statischen Analyse zur Erkennung von Eindringlingen, IEEE-Symposium für Sicherheit und Datenschutz 2004
quelle