What Does Pythonic Mean? Every programming language has its own quirks and conventions—ways of doing things that feel natural ...

A knowledge-based system solving Knights and Knaves puzzles using propositional logic and model checking to demonstrate AI concepts like symbolic reasoning and knowledge representation.

My portfolio contains a lexer generator, a parser generator, my own λProlog interpreter, and several meta-theorems for the propositional logic with their proofs written in Coq.