IoT security and software development. Developed a safety-critical railway level crossing system using Event-B formal methods. Built a Java-based tool to recalculate runway parameters with CI/CD integration.
Browse student work on Vaultt · Jobs · Challenges