School of Engineering
Showing 121-140 of 1,921 Results
-
Michelle Q. Wang Baldonado
Research Engineer, Computer Science
Current Research and Scholarly InterestsMichelle is currently exploring the space of robotics systems for older adults. Working to bridge the robotics and senior communities, she is especially interested in robots that encourage older adults to develop and maintain healthy habits as they age, with a focus both on reducing social isolation and on encouraging physical activity and time outdoors.
-
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.
