Responsibilities include:
Responsibilities included:
Undergraduate degree focused on software engineering, algorithms, and computer systems.
Courses included:
Verification of distributed and real-time systems
Modeling and analysis of time-dependent systems
Mutation testing and mutant reduction techniques
Obstruction Logic, Timed Obstruction Logic, timed games
Python, Java, and formal modeling languages
Reliability and verification methods
Reasoning in timed and dynamic games
Building efficient verification and testing tools
Learned: