I have developed, led, and worked on several programs starting from the back-end, to the front-end, up to the cloud, and back down to formal correctness and in various languages such as C, Java, JavaScript, Python, YAML, and Dafny. Please explore my work below!