Welcome to my home page, I am Will Thomas. I am a PhD student in Computer Science in the area of Formal Methods at the University of Kansas. Most recently, I have been working on formalizing and verifying a layered attestation manager in Copland.
Here is a link to the Bing Image of the Day as an RSS feed. You can configure how many images are retrieved, how far back, the language and format all through URL parameters
Projects
Here are some of the external projects I have been working on lately. The specific projects that make it to my website are usually those that I reference often, or think others may find beneficial. For a more exhaustive list, or to see my particularly academic project, check out my GitHub and the KU-SLDG Lab pages