Rabern made significant contributions to graph theory, particularly in areas such as the Borodin–Kostochka conjecture, list critical graphs, and Reed's conjecture. His work in discrete mathematics and combinatorics was recognized for its rigor and creativity. Rabern's work extended beyond mathematics into computer science and philosophy. Notably, he explored the use of automated theorem proving and computer-assisted proofs in graph theory. He also made contributions to the study of semantic paradoxes (e.g.,
Yablo's paradox) by applying graph-theoretic methods. And in another article provided a novel (two-question) solution to "
The Hardest Logic Puzzle Ever". He also contributed a satirical mathematical proof titled
"A Teleological Argument" for the existence of the
Flying Spaghetti Monster, published in
The Gospel of the Flying Spaghetti Monster. In addition to his academic research, Rabern had a successful career in software engineering and data science, co-founding a software company and working with several technology firms, particularly those focused on artificial intelligence and social media. In the final years of his career, Rabern returned to his early interest in artificial intelligence and chess programming. He began a second Ph.D. in Cognitive Science at the University of Colorado Boulder, where he focused on the intersection of psychology and machine learning. Rabern died in 2020 at the age of 39. == References ==