James Pane-joyce is an Associate software engineer with 11 years of experience and a strong research foundation from Rensselaer Polytechnic Institute, where he earned both a BS and MS in Computer Science. He focused on AI, machine learning, and natural language processing, leading long-term projects at the Rensselaer AI and Reasoning Lab to build automated reasoning and proof-verification tools for formal deontic and cognitive logic. His thesis and work on the MATR deductive prover demonstrate practical experience implementing inductive reasoning systems, and he has hands-on exposure to high-performance computing (Blue Gene/Q), CUDA, OpenMP, and MPICH parallelization. Through IBM-funded collaborations he built ML applications on Watson and translated research prototypes into usable tools, and he began practical software work early with front-end and platform migration experience at ASSISTments. Based in Spencer, MA and currently at Infosys, he combines academic rigor with production-minded engineering across research and enterprise environments.
11 years of coding experience
2 years of employment as a software developer
Bachelor's degree, Computer Science, 3.6, Bachelor's degree, Computer Science, 3.6 at Rensselaer Polytechnic Institute
Contributions:17 commits, 7 PRs, 17 pushes in 1 month
rpipythoncalculusprovertheorem
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.