Welcome

Our accessibility research began in 2004 as we endeavored to make an existing program known as ProofChecker accessible to a visually impaired student in our Automata, Grammars, and Computability course. Since that time we have gained an appreciation of the need for computer accessibility for everyone and are working to improve inclusion in Computer Science education.