Timothy M. Braje

Dr. Timothy M. Braje is a technical staff member in Lincoln Laboratory’s Secure Resilient Systems and Technology Group, where he works on adaptive computing platforms and quantum computing algorithms. He is also interested in functional programming, formal methods, programming languages, and constructive theorem proving.  Between 2009 and 2015, he led the effort to architect and build the Laboratory’s next-generation advanced cyber tools platform, including tools for range control, visualization, and traffic generation.

Prior to joining the Laboratory in 2009, Dr. Braje worked at MyVest, Solidware Technologies, and Coverity, building systems to help automate financial investment management and to help software developers analyze and improve the quality of their products.

Dr. Braje holds a BS degree in physics from the University of Florida and a PhD degree in physics from Stanford University.