Computer Science
Showing 101-150 of 2,209 Results
-
Cynthia Bailey
Senior Lecturer of Computer Science
Current Research and Scholarly InterestsI have a PhD in Computer Science from the University of California, San Diego, in the area of High-Performance Computing (HPC), specifically market-based scheduling algorithms. My graduate research was done as part of San Diego Supercomputer Center (SDSC)'s Performance Modeling and Characterization Lab (PMaC), where I investigated economic models of scheduling on high performance computing systems. My adviser was Allan Snavely of SDSC.
My dissertation abstract is as follows: Effective management of Grid and HPC resources is essential to maximizing return on the substantial infrastructure investment these resources entail. An important prerequisite to effective resource management is productive interaction between the user and scheduler. My work analyzes several aspects of the user-scheduler relationship and develops solutions to three of the most vexing barriers between the two. First, users' monetary valuation of compute time and schedule turnaround time is examined in terms of a utility function. Second, responsiveness of the scheduler to users' varied valuations is optimized via a genetic algorithm heuristic, creating a controlled market for computation. Finally, the chronic problem of inaccurate user runtime requests, and its implications for scheduler performance, is examined, along with mitigation techniques.
My current research projects are in the area of Computer Science Education, with an emphasis on assessment and the use of Peer Instruction pedagogy in lecture. With colleagues Mark Guzdial, Leo Porter, and Beth Simon, I run the New CS Faculty Teaching Workshop, an annual "bootcamp" on how to teach effectively that draws attendees from dozens of the top CS programs in the country. The short-term goal is to give newly-hired faculty entering their first year of teaching the skills they need to succeed for themselves and their students. The long-term goal is to transform undergraduate education in CS by seeding our best rising stars with best practices so they can create communities of practice as their institutions and mentor their students in active learning strategies, creating a culture where these are the new norm. -
Michelle Q. Wang Baldonado
Research Scientist
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
Mizuki Asano and Thomas McGrath 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.
