Tim Duff

Tim Duff

I am a fifth-year PhD student in ACO/Mathematics at Georgia Tech.
My advisor is Anton Leykin.
You can read my PhD thesis here.
In Fall 2021, I will be a NSF Mathematical Sciences Postdoctoral Research Fellow at the University of Washington, mentored by Rekha Thomas.

Research Interests

  • Computational and combinatorial aspects of algebraic geometry
  • Algorithms for polynomial system solving and their implementation
  • Applications of the above. For instance, work in computer vision described in my talks here and here.

Upcoming activities

  • May 31 - June 2. SANNA MPI Leipzig (virtual)
  • Aug 16--20. SIAM AG 2021 Co-organizer of algebraic vision minisymposium.

    Papers, preprints, extended abstracts, ...

    1. Galois/monodromy groups for decomposing minimal problems in 3D reconstruction
      (With Viktor Korotynskiy, Tomas Pajdla, Margaret Regan.)
    2. Nonlinear Algebra and Applications
      (With Paul Breiding, Türkü Özlüm Çelik, Alexander Heaton, Aida Maraj, Anna-Laura Sattelberger, Lorenzo Venturello, Oğuzhan Yürük.)
    3. Polyhedral homotopies in Cox coordinates
      (With Simon Telen, Elise Walker, Thomas Yahl.)
    4. PL1P---Point-line minimal problems under partial visibility in three views
      (With Kathlén Kohn, Anton Leykin, Tomas Pajdla.)
      Proc. ECCV 2020. SIAM MDS20 talk (zoom out 50%)
    5. Numerical equality tests for rational maps and signatures of curves
      (With Michael Ruddy. )
      Proc. ISSAC 2020.
    6. TRPLP --- Trifocal Relative Pose from Lines at Points
      (With Ricardo Fabbri , Hongyi Fan , Margaret Regan, David da Costa de Pinho, Elias Tsigaridas, Charles Wampler, Jonathan Hauenstein, Benjamin Kimia, Anton Leykin, Tomas Pajdla.)
      Proceedings of CVPR 2020
    7. PLMP - Point-Line Minimal Problems in Complete Multi-View Visibility
      (With Kathlén Kohn, Anton Leykin, Tomas Pajdla.)
      Proceedings of ICCV 2019
      Won best student paper!
    8. Certification for polynomial systems via square subsystems
      (With Nickolas Hein and Frank Sottile.)
      Journal of Symbolic Computation. Extended abstract presented at MEGA 2019.
    9. Monodromy solver: sequential and parallel
      (With Nathan Bliss, Anton Leykin, Jeff Sommars.)
      Proceedings of ISSAC 2018, arXiv 1805.12212
    10. Solving polynomial systems via homotopy continuation and monodromy
      (With Cvetelina Hill, Anders Jensen, Kisun Lee, Anton Leykin, Jeff Sommars.)
      IMA Journal of Numerical Analysis, 2018, arXiv1609.08722
    11. Polynomial automata: Zeroness and applications
      (With Micheal Benedikt, Aditya Sharad, James Worrell.)
      LICS (ACM/IEEE Symposium on Logic in Computer Science), 2017.
    12. Robust graph ideals
      (With Adam Boocher, Bryan Brown, Laura Lyman, Takumi Murayama, Amy Nesky, Karl Schaefer.)
      Annals of Combinatorics, 2015, arXiv1309.7630.