• Current Events
  • Past Events

  • Oct23

    Solver-aided tools have automated the verification and synthesis of practical programs in many domains, from high-performance computing to executable biology. These tools work by reducing verification and synthesis tasks to satisfiability queries, which involves compiling programs to logical constraints. Developing an effective symbolic compiler is challenging, however, and until recently, it took years of expert work to create a solver-aided tool for a new domain.

    4:00pm to 5:00pm
    Zoom - See emails for details
    Emina Torlak
    University of Washington
  • Oct16

    As researchers, faculty understand the critical importance of their research community. Peer review and collaboration are our core mechanisms for improving our own research and advancing the knowledge of our fields. In contrast, teaching is generally treated as an individual endeavor with sharing of innovative and effective teaching the exception rather than the norm and peer review practically taboo.

    4:00pm to 5:00pm
    Zoom - See emails for details
    Geoffrey Herman
  • Oct14

    Machine learning is a big buzzword in today's society, and more often than not it seems as daunting as it is powerful. Thankfully, with many powerful libraries out there like scikit-learn, you can get started with several different types of machine learning in just a few minutes. Join Heather Kemp, a Data Intelligence Engineer at Microsoft, for an introduction to common types of machine learning followed by a coding workshop on getting started with Clustering algorithms.

    If you want to follow along with the workshop, be sure to download the following in advance:

    Zoom - See emails for details
    SiTS - Students in Technology and Sciences
  • Oct12

    If you're able, bring some kind of pumpkin or fall-themed craft, drink, or food item to [virtually] share with the group. We will use this opportunity to catch up, get to know one another, and play games together.

    BYOP Join WiCS for a virtual game night where we (vi rtual ly) share our pumpkin-themed crafts, drinks, and food.

    Zoom - See emails for details
    Women in Computing Science (WiCS)
  • Oct09

    Truly smart and responsive environments rely on the ability to detect physical events and social context, such as appliance use and human activities. Currently, to sense these types of events, one must either upgrade to “smart” appliances or attach aftermarket sensors to existing objects and infrastructure. These approaches are expensive, intrusive and inflexible. Furthermore, even "smart" appliances are often very dumb – a smart speaker sitting on a kitchen countertop cannot figure out if it is in a kitchen, let alone know the user is preparing dinner.

    4:00pm to 5:00pm
    Zoom - See emails for details
    Chris Harrison
    Carnegie Mellon University
Subscribe to Events