Привет всем, в настоящее время я пытаюсь найти твердую тему магистерской диссертации, относящуюся к некоторой отрасли теории автоматов или связанной с формальными языками. Я пытаюсь выработать несколько хороших идей для приемлемой темы, чего-то амбициозного, но в то же время выполнимого.
Любые предложения будут очень признательны!
ds.algorithms
automata-theory
fl.formal-languages
soft-question
Винсент Руссо
источник
источник
Ответы:
В то время как я согласен с ответом Дэвида Эппштейна в целом (и я проголосовал за него), появляющееся поле автоматов, которые определяют биологические процессы и другие естественные вычислительные «вещи», является живой областью. Я не могу говорить о том, чтобы получить работу позже, но вам может быть интересно взглянуть на « Искусственную биохимию » Луки Карделли или « Эффективное универсальное вычисление Тьюринга с ДНК-полимерами » Цяня и др. Первая статья - последняя попытка Карделли предоставить формальные методы для биохимических процессов; вторая - теоретическая реализация стековой машины на основе ДНК.
источник
Я думаю, что Дэвид Эппштейн слишком пренебрежительно относится к области теории автоматов и формальных языков. Утверждение, что «опубликовать его на конференциях на высшем уровне и убедить кого-то нанять вас после окончания учебного заведения может быть проблематичным», похоже, то, что Холдейн назвал теоремой тети Джобиски: «Это факт, который знает весь мир».
Фактически, существуют хорошие конференции (такие как STACS и ICALP), которые регулярно публикуют результаты в теории автоматов и формальных языках; есть хорошо посещаемые конференции (такие как DLT), которые сосредотачиваются на области; это очень активная зона в Германии, Франции и Италии; в этом районе большие открытые проблемы; и я знаю многих студентов, у которых не было проблем с поиском работы.
источник
Помощь в теме диссертации является одной из причин, по которой у нас есть руководители для аспирантов, поэтому вы должны проконсультироваться с вашим руководителем об этом.
Общий совет, который я услышал, заключается в том, что вы должны выбрать материалы ряда недавних авторитетных конференций в той области, где вы хотите работать, и посмотреть на документы в них, пока не найдете что-то интересное и обсудить это со своим руководителем, чтобы выяснить, это разумная тема диссертации.
источник
Еще одна плодотворная область, не упомянутая здесь, - это связь между теорией автоматов и логикой. Полагаю, это направление исследований более популярно в Европе, чем в Северной Америке. Поскольку я не работаю в этой области, я не могу предложить вам конкретную проблему. Но вы можете проверить последние LICS 2010, а также предыдущие из последних работ. В конспектах от курса Леониды Либкиной является хорошим местом для начала.
источник
Теоретическое изучение теории автоматов и формальных языков является своего рода умирающим (имеется в виду, что вы, вероятно, все еще можете найти интересные исследовательские задачи для работы, но опубликовать их на конференциях на высшем уровне и убедить кого-то нанять вас по окончании обучения может оказаться проблематичным) , Тем не менее, я полагаю, что также проводится интересная работа по применению теории формального языка к обнаружению интернет-угроз / вторжений и т. Д., И эта область сейчас кажется гораздо более горячей.
См. Например
Вагнер и Дин, Обнаружение вторжений с помощью статического анализа, IEEE Symp. Безопасность и конфиденциальность 2001
Вагнер и Сото, Mimicry атаки на хост-системы обнаружения вторжений, ACM Conf. Компьютер и безопасность связи 2002
Гиффин, Джа и Миллер, Эффективное контекстно-зависимое обнаружение вторжений, NDSS 2004
Фенг и др., Формализация чувствительности в статическом анализе для обнаружения вторжений, IEEE Symposium on Security and Privacy 2004
источник