Seth Fogarty
Associate Professor
San Antonio, Texas, United States
Summary
👤
Senior🎓
Top SchoolSeth Fogarty is an Associate Professor of Computer Science at Trinity University with a PhD from Rice and nine years of professional experience focused on automata-theoretic formal verification and bespoke data structures for verification. He teaches discrete math, functional programming, programming languages, and compilers, and maintains dsmodels, a DSL for visualizing dynamical systems. An avid Haskell and Smalltalk enthusiast who nonetheless writes much production code in C, Seth tackles PSPACE-scale problems and prefers practical trade-offs between NP and intractable 2-EXPTIME domains. He also brings interdisciplinary interests in security, philosophy of computation, and computational anthropology, and has sought industry-academic collaboration abroad, notably in Copenhagen/Malmö.
9 years of coding experience
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Rice UniversityUniversity of Illinois Urbana-Champaign
Stackoverflow
21reputation
85reached
0answers
1question
Github Skills (35)
r-package9
pair-programming9
r-language9
meta-analysis8
dynamical-systems8
discrete-mathematics7
hackage7
cabal7
agent-based-modeling6
world-of-warcraft6
upstream6
r6
haskell5
collaboration5
react5
Programming languages (7)
Github contributions (5)
Trinity-Automata-Research/dsmodels
Oct 2016 - Jul 2019
The dsmodels domain-specific-language for visualizing dynamical systems in R.
Contributions:56 commits, 51 PRs, 63 pushes in 2 years 9 months
dataminingagent-based-modelingdynamical-systemsdynamicalmeta-analysis
TU-CSCI2322-FL22/workspace-11-30
Aug 2022 - Dec 2022
Contributions:36 commits, 32 pushes, 1 branch in 3 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.