Computer Science
Showing 1-100 of 886 Results
-
Leni Aniva
Ph.D. Student in Computer Science, admitted Autumn 2022
Current Research and Scholarly InterestsMy main research interest is Machine-Assisted Theorem Proving, which refers to using machine-learning agents to find proofs of mathematical theorems and conduct reasoning. We are pursuing a hybrid algorithm between neural networks and SMT solvers to solve some of the long standing problems facing machine learning models today such as opaqueness, hallucinations, and information leakage. I also do research on SMT solvers and automatic verifications of programs.
-
Jon Ball
Ph.D. Student in Education, admitted Autumn 2020
Ph.D. Minor, Computer ScienceBioHi! I'm a 3rd year PhD Student in Education Data Science dedicated to improving information accessibility.
Recent projects include:
Natural Language Processing: language analytics for Open Journal Systems (OJS)
Graph ML: modeling citation networks of computer science publications (OJS/arXiv)
Social Network Analysis: clustering of philanthropic partnerships for the Jim Joseph Foundation (SF)
