School of Engineering
Showing 111-120 of 1,781 Results
-
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) -
Clark Barrett
Corbel Professor
Current Research and Scholarly InterestsAutomated reasoning; satisfiability modulo theories (SMT); formal methods;
formal verification; verification of smart contracts; verification of neural
networks; AI safety; security; hardware design productivity and verification.