Bio
Undergraduate student at Carnegie Mellon University School of Computer Science, with an interest in programming language design and software engineering.
My Talks
Algebraic Simplification Using SymReduce.jl
Algebraic simplification reduces complex expressions, allowing more efficient evaluation and symbolic representation. This talk discusses SymReduce.jl, a new term rewriting library which simplifies...