Cassandra A. Sparks

Cassandra A. Sparks

Cassandra A. Sparks
Lincoln Laboratory
Massachusetts Institute of Technology
Secure Resilient Systems and Technology Group
244 Wood Street
Lexington, MA 02420-9018
email: cassandra.sparks@ll.mit.edu


Cassandra Sparks joined the Secure Resilient Systems and Technology Group at Lincoln Laboratory in June 2014 as an associate member of the technical staff. She currently leads a program focusing on cryptographically securing cloud databases and conducts research and evaluation in the areas of programming languages and formal methods. Her expertise and research interests involve type systems, programming language design, theorem proving, and these areas’ intersections with, and application to, cryptography and secure programming.

Ms. Sparks received a BS degree in computer science with a minor in logic and computation from Carnegie Mellon University in 2011. She earned an MS degree in computer science with a minor in logic from Indiana University in 2014, where her research focused on developing a foundational logic for reversible computation.

 

 

top of page