Loading...
Loading...
Software Engineer (Scala/Python/R), building distributed/concurrent applications. Interested in using formal verification methods in business applications.
Coding for 15 years.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.
Starred tpetricek/fsharp-course
January 12th, 2026 8:23 AM