Jeremy Ornelas

Jeremy Ornelas is a researcher with a focus on blockchain technology, specifically BFT consensus systems and finality. He has a keen interest in type theory, including dependent and linear types, and is dedicated to the efficient implementation of functional programming languages. Jeremy graduated from Case Western Reserve University, where his studies fostered a deep interest in abstract algebra, category theory, and the expression capabilities of programming languages. His academic background and research interests contribute to his expertise in developing advanced computational theories and practical applications in software development.