Alex Weisberger is a full-stack engineer currently working at Datadog on the Database Monitoring product. At work, he's been working on database health analysis and recommendations. His extracurricular tech interests are around applying formal methods to day-to-day work: things like property-based testing, model-based testing, TLA+, and simulation. His weekends are mostly filled with Nerf fights, Super Smash Bros., and various sports with his kids.