Dissertation Defense - TJ Barclay

Friday, November 15, 2024 12pm

I'm Interested
Image of Dissertation Defense - TJ Barclay
I'm Interested

About this Event

Nichols Hall, Room 246 (Executive Conference Room) View map

2335 Irving Hill Road, Lawrence, KS 66045

View map

Proof-Producing Translation from Gallina to CakeML

Event Details

Event Type

Academic, Dissertation Defense

Target Audience

Faculty, Graduate Students

Topic / Interest

Innovation & Research

Group

KLETC

Department

Department of Electrical Engineering and Computer Science, School of Engineering

See Who Is Interested

0 people are interested in this event

I'm Interested
Strong Hall
1450 Jayhawk Blvd.
Lawrence, KS 66045
785-864-2700

KU degree stats logo KU degree stats img

© 2020 The University of Kansas

The University of Kansas prohibits discrimination on the basis of race, color, ethnicity, religion, sex, national origin, age, ancestry, disability, status as a veteran, sexual orientation, marital status, parental status, gender identity, gender expression, and genetic information in the university's programs and activities. Retaliation is also prohibited by university policy. The following persons have been designated to handle inquiries regarding the nondiscrimination policies and are the Title IX coordinators for their respective campuses: Director of the Office of Institutional Opportunity & Access, IOA@ku.edu, Room 1082, Dole Human Development Center, 1000 Sunnyside Avenue, Lawrence, KS 66045, 785-864-6414, 711 TTY (for the Lawrence, Edwards, Parsons, Yoder, and Topeka campuses); Director, Equal Opportunity Office, Mail Stop 7004, 4330 Shawnee Mission Parkway, Fairway, KS 66205, 913-588-8011, 711 TTY (for the Wichita, Salina, and Kansas City, Kansas medical center campuses).

The University of Kansas is a public institution governed by the Kansas Board of Regents.

The University of Kansas Powered by the Localist Community Event Platform © All rights reserved