Dedicated and self motivated software engineer and architect. I use conceptual and formal models to make complex concepts tangible and complex systems correct by construction.
Principal Engineer at Temporal Technologies
Master of Science - MS, Software Systems Engineering