Research
Papers
- An Algorithm for Detecting Sentence Validity
Current
- ACTRG (Applied Category Theory Research Group)
- A research group of undergraduate students from computer science, mathematics, physics, and engineering.
- Topics include language processing and category theory
- Effectiveness of Pair Programming
Research Interests
- Automated reasoning, formal verification, formal methods
I am interested in working on research and projects. If you have ideas or are interested please complete the form below.