Calvin Loncaric
Formal Verification Engineer
Calvin Loncaric has been a verification engineer at Oracle Cloud Infrastructure since 2018. He works with multiple service teams to find subtle concurrency bugs and improve their designs using formal methods. Before OCI, Calvin got his Ph.D. from the University of Washington where he worked on program synthesis algorithms that produce runnable code from specifications.
