Facundo Domínguez is a Senior Principal Software Engineer at Modus Create, specializing in distributed algorithms, language integration, and formal specification and verification. With a Master's Degree in Formal Methods and a Bachelor's Degree in Computer Engineering from Universidad de la República, Facundo has held positions at various companies, including Senior Software Engineer roles at Tweag I/O and Parallel Scientific. Known for contributions to open source, Facundo's interests include compilers, functional programming, and mentoring within the programming community. They have also served as a teaching assistant at Universidad de la República and participated as a Program Committee member for several conferences, advocating for Liquid Haskell.
Location
Uruguay
This person is not in the org chart
This person is not in any offices