Welcome

Recent News

Descriptive Image (21465)
Descriptive Image (21448)
Dickerson’s research is focused on solving practical economic problems using techniques from computer science, stochastic optimization and machine learning.
Descriptive Image (21447)
Their paper presents the first fully verified optimizer for quantum circuits—called VOQC—implemented within a formal proof management system.
Descriptive Image (21421)
Descriptive Image (21420)
Descriptive Image (21418)
 
Descriptive Image (21411)

Upcoming Events

Talk

01.21.2021 10:00 to 12:00

Remote


PhD Proposal: Interactive Machine Learning for Low-Resource Languages
Mozhi Zhang

Talk

Event

02.05.2021 11:30 to 13:30

https://umd.zoom.us/j/94829271231


FFL

Event

02.05.2021 14:00 to 15:00

Zoom Information TBA


APT Meeting

Event

02.12.2021 14:00 to 15:00

Zoom Information TBA


APT Meeting

Event

02.16.2021 14:00 to 19:00

Virtual Fair


Computer Science Career and Internship Fair

Event

02.19.2021 14:00 to 15:00

Zoom Information TBA


APT Meeting

Event

02.26.2021 14:00 to 15:00

Zoom Information TBA


APT Meeting

Event

03.05.2021 11:30 to 13:30

https://umd.zoom.us/j/99298186970


FFL

Event

03.05.2021 14:00 to 15:00

Zoom Information TBA


APT Meeting