News/Events

Details can be found by following these links:

Recent News

CSEE Research Day :

2025
2024

Learn Lean 4 programming language & proof assistant

Join an informal group meeting 1-3 Wed. this summer

Interested in learning to write computer-checked math proofs? Interested in learning an exciting new programming language? Lean 4 is a new programming language that can be used to write code...

Posted: June 25, 2023, 9:56 PM

Building AI We Can Trust

The AI apocalypse is coming. Or it isn't.

Building AI We Can Trust The AI apocalypse is coming. Or it isn't. Depending on what you read, you might get confused. One thing is certain: Humans are fired up about smart machines. Much...

Posted: June 14, 2023, 4:50 PM

Karimi gets COEIT early career faculty excellence award

CSEE professor Naghmeh Karimi receives 2023 COEIT Early Career Faculty Excellence Award UMBC CSEE Associate Professor Naghmeh Karimi was nominated by her peers for her commitment in her...

Posted: May 31, 2023, 6:23 PM

UMBC CSEE Website

Visit the UMBC CSEE Website Discover information about our faculty, students, research, educational programs, classes, alumni and  more.

Posted: May 25, 2023, 9:42 AM

Cybersecurity Lessons from Star Trek: Picard

How a sci-fi series illuminates today’s threats

Lessons from ‘Star Trek: Picard’ – a cybersecurity expert explains how a sci-fi series illuminates today’s threats Richard Forno, University of Maryland, Baltimore County Editor’s note: This...

Posted: May 25, 2023, 9:10 AM