Maksym Figat is an Assistant Professor and robotics researcher with 11 years of experience translating formal methods into practical robot controllers, specializing in model-driven engineering and Hierarchical Petri nets. His PhD work produced a universal specification method that enables verification and automated code generation for robotic systems—a contribution recognized by the Polish Prime Minister’s Award and fellowships that funded research at JPL and multiple international labs. He leads and delivered funded projects on formal specification and cybersecurity for children online, and has published in top robotics journals demonstrating both theoretical depth and applied impact. Comfortable moving between hands-on development, project leadership and teaching, he has repeatedly converted formal models into working servo-vision controllers and demonstrator robots. A lifelong scout and educator, he also organized large volunteer-led education programs for youth, blending outreach with technical mentorship.
11 years of coding experience
1 year of employment as a software developer
Doctor of Philosophy - PhD Robotics, Doctor of Philosophy - PhD Robotics at Warsaw University of Technology
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.