Marco Cognetta

Theoretical Computer Scientist


I am currently a graduate student in the Theory of Computation Lab at Yonsei University under Dr. Yo-Sub Han. I am primarily interested in problems from Formal Language and Automata Theory, especially related to the Descriptional Complexity of Finite Automata.


  • Yonsei University (2016-)
    • Computer Science (Joint Masters/PhD Program)
  • Florida State University (2016)
    • Scientific Computing (Non-Degree Seeking Graduate Student)
  • Georgia Institute of Technology (2011-2015)
    • Discrete Mathematics
    • Korean (Minor)
    • Undergraduate Thesis: A Python Library for Automatic Differentiation via Straight Line Programs
      • Advisor: Dr. Anton Leykin, Georgia Tech School of Mathematics


  • Formal Languages and Automata Theory
  • Approximation/Probabilistic Algorithms
  • Computer Algebra
  • Computational Geometry
  • Open Source Mathematical Software
  • Mathematics Education


  • Programming Languages
    • Python
    • Java
    • C
    • Julia
    • Bash
    • LaTeX
  • Human Languages
    • English (Native)
    • Korean (Intermediate)


  • cognetta [dot] marco [at] gmail [dot] com