Paul T. Darga Research Assistant Advanced Computer Architecture Laboratory Electrical Engineering and Computer Science University of Michigan

That's me on the right. No, I wasn't up all night coding. But that hair is what this competition does to a person.
The fellow on the left and I are going to win this year!

Research

• Efficient symmetry discovery (saucy 2.0)
• Software verification

Teaching

I've been a teaching assistant for courses in discrete mathematics, operating systems, and logic circuit synthesis and optimization, and I loved every minute of those experiences. While I'm presently swimming in the sea of research, I hope to soon make it back to my favorite academic activity.

Miscellaneous

• Bookmarks
• Colophon