Research Interests #
I am a researcher focused on the intersection of computer science, mathematics, and social choice theory. My work spans several key areas:
Formal Mathematical Logic in Computer Science #
Applying rigorous mathematical methods to software engineering problems. This includes formal verification, type theory, and the mathematical foundations of programming languages.
Mathematical Studies of Voting #
Researching fair and efficient voting systems using mathematical analysis. This includes studying voting paradoxes, designing new voting methods, and analyzing the mathematical properties of different electoral systems.
Background #
This website serves as a central hub for my research, publications, and projects. It’s built using the modern Blowfish theme for Hugo, which provides excellent typography and user experience.
Contact #
- GitHub: gmatht
- Email: Contact me
Old Content #
You can still access my previous WordPress-based content:
Leave a Comment