Upcoming Events

Jan 31

Noon

RESEARCH TALK: Interactive Proof Assistants for Verification

Theorem proving for software and hardware security

Information Technology/Engineering : 227 · UMBC Cyber Defense Lab presents Interactive Proof Assistants for Verification Ian Blumenfeld Principal Research Mathematician, Two Six Labs 12:00-1:00 pm Friday, 31 January 2020, ITE...

Jan 31

3 PM

JHU/APL CIRCUIT internship program information session

Find out about paid summer internships at JHU/APL

Information Technology/Engineering : 459 · There will be a special information session on the JHU/APL CIRCUIT internship program from 3:00 pm to 4:30 pm on Friday, 31 January 2020 in room ITE 459. This session is for undergraduates who...

Feb 7

1 PM

IMPORTANT

Shawn Blanton (CMU) on Designing Secure Hardware Systems

A Lockheed Martin Distinguished Speaker talk

University Center : Ballroom · Lockheed Martin Distinguished Speaker Series Designing Secure Hardware Systems Shawn Blanton Trustee Professor, Electrical and Computer Engineering, Carnegie Mellon University 1:00-2:00pm...