The CubeSat Laboratory at Vermont Technical College (VTC) is a collection of students, faculty, and staff building CubeSat technology spacecraft.

While CubeSats are being constructed by many groups around the world, both inside and outside of academia, what makes our work different is that we use the SPARK/Ada programming language for our software needs. As compared to the more commonly used C language, Ada makes it much easier to write correct, robust software. SPARK adds the ability to create mathematical proofs (with the aid of tools) showing freedom from certain classes of runtime errors and other correctness properties. Our BasicLEO CubeSat, launched in November 2013 is the first CubeSat programmed with Ada and the first spacecraft of any kind programmed with SPARK.

This is the official web site for VTC's CubeSat Laboratory providing information about all our missions, both in the past and ongoing. See the Flying Sparks blog for up to the minute information about our current work. To contact us, see the "People" section below.

This web site was designed, created, and is maintained by VTC students and faculty.

Papers and Presentations

News Coverage


Past Students, Faculty, and Staff

Past Student Interns


Our work is supported by grants from the Vermont Space Grant Consortium, a part of the NASA Space Grant program, NASA, and EPSCoR. Vermont Technical College has also received generous donations of commercial software from AdaCore, SofCheck, Altran, and Rowley Associates.

Software to analyze orbits of our spacecraft has been supplied as a generous donation from AGI of their Systems Tool Kit.