Research Engineer
CurrentTechnical performer on projects across a range of scientific domains: applied formal methods research, domain-specific language design and development, scientific model orchestration/modeling-as-a-service, cryptology/cryptography software capability analysis.