Hi, I'm Tyler

I am a Software Developer in love with formal verification and network security.

But I'd still rather get to know you.

Proficiencies, my preferred domains

I have worked on several kinds of projects, but these are where I'm in my element.

  • Compiler Design

    From abstract Java syntax trees to Coq-verified C compilers, I've spent some time peering into how compilers optimize code. My crowning achievement? A C#/Java cross-compiler that outputs unit tests with MC/DC coverage.

  • Full-stack Web Development

    React or Vue for the front-end? MySQL or Mongoose in the back? Take your pick. Chances are I've dabbled.

  • Network Security

    The culmination of my college career: Using unsupervised learning to categorize root DNS traffic: the good, the bad, and everything in between.

Work, my previous projects.

Here are the projects that i have worked on before.

DUnit, DMock, DTest Programming Tool

Dafny is a verification-aware modeling language that cross-compiles to C#, Java, Python, etc. I extended its cross-compiler to emit mocking framework and parameterized unit testing code. In a separate project, we built an automatic test generator that outputs unit tests with modified condition/decision converage.

DTest App

Rate My Apartment Mobile App

Inspired by Rate My Professor, this rental review app is built for university students looking for the best housing.

Rate My Apartment App

Hard Bargain Desktop App

My first outing with 3-D modeling; I mainly wanted to get a feel for how game code is architected. You are a merchant in Tudor England trying to maximize your profit by haggling with passerbys. The models are nothing breathtaking, however, a fairly sophisticated algorithm is used to calculate the NPCs' counteroffers.

Hard Bargain App

SADL Web App

Standing for Suggestion Acronym Disambiguation Learner, SADL does exactly that: disambiguates acronyms. This query suggestion tool will recognize acronyms in search terms, expand them into their long form, and rank them based on potential relevance to the user.

SADL App

checkout more below

Passions, other things I like developing

I have deep passion for sacred music, especially in a space with heart-piercing acoustics. Since 2021, I have sung tenor with this wonderful group. See upcoming performances at amavichorale.org

As a recovering long distance runner, I have been striving to widen my overall frame. That, and workouts are always nicer when they are less than an hour.

Namely Bananagrams, Boggle, Wordle, and Scattergories. Having developed an unexpected interest in rhetoric and communication, my love of words has led to a few short stories.

Catch me on the airwaves. KK7WDG.

Get in touch with me.

Have a question? Just want to say hello? Feel free to drop me a line.