I'm a research computer scientist specializing in artificial intelligence and machine learning, with Skill Highlights: ~ Implementation: ~ Theoretical: --------------------------- - Mathematics: Abstract Algebra, Category Theory, Mathematical Logic - Computer Science: - Artificial Intelligence: Automated Reasoning, Knowledge Representation, Autonomous Agent Planning, Automated Learning, Natural Language Processing, Agent Perception, Motion and Manipulation - Machine Learning: Computational Learning Theory, Deep Learning, Regression Analysis, Regularization Algorithms, Classifier-Oriented Learning, Supervised Learning, Artificial Neural Networks, Decision Trees Linear Classifiers, Unsupervised Learning, Reinforcement Learning - CS Theory: Algorithms, Data Structures, Computational Complexity Theory, Computability Theory, Distributed & Parallel Computation, Information Theory, Automata Theory, Symbolic Computation, Formal Methods, Coding Theory