| |
|
|
The Department of Electrical Engineering and Computer Science at the University of Wyoming is offering the EECS Colloquium series as a service to all who are interested in Electrical Engineering and Computer Science. Most seminars in Fall 2024 are scheduled for Monday 3:10PM -- 4:00PM in EERB 251. For help finding the locations of our seminar meetings, consult the on-line UWyo campus map. For questions about this page or to schedule talks, please contact Diksha Shukla: dshukla@uwyo.edu. Here is a list of seminar schedules. Previous EECS Colloquium Speakers. |
EECS Colloquium Schedule, Spring 2025
|
|
EECS Colloquium Proof Verification with Lurch Plus Speaker: Kenneth G. Monks, University of Scranton When: 3:10PM ~ 4:00PM, Monday, March 31, 2025 Abstract: Would your students benefit from an easy-to-use, open-source, web-based word processor that could check their assigned mathematical proofs? In this talk, we introduce Lurch, our software project designed specifically for this purpose. We will explain how you can use this software and accompanying course materials and customize it for your own purposes. While existing proof verification tools like Lean, Isabelle, Coq, and Mizar are powerful and effective, they often have steep additional learning curves and can be difficult to customize. We will explain how the custom Lurch validation algorithm overcomes these challenges and pose some questions for future work. Additional information is available at lurch.plus. Bio: Kenneth G. Monks is a Professor of Mathematics at the University of Scranton, where he has taught since 1990. He holds a Ph.D. in Algebraic Topology from Lehigh University and has published in both pure and applied mathematics, with particular interests in discrete dynamical systems, the $3x+1$ problem, the cohomology of the Steenrod algebra, and computer formalization of mathematics. He is the author and lead developer of Lurch, a proof-checking word processor for teaching mathematical reasoning, and has mentored numerous student research projects. Dr. Monks is also the founding director of the Prove it! Math Academy. |
|
|
|
EECS Colloquium Concept-based Semantic Analysis of Deep Neural Networks Speaker: Ravi Mangal, Colorado State University, Fort Collins, CO. When: 3:10PM ~ 4:00PM, Monday, April 14, 2025 Abstract: The analysis of vision-based deep neural networks (DNNs) is highly desirable but challenging due to the difficulty of expressing formal specifications for vision tasks and the lack of efficient verification procedures. In this talk, I will first describe a logical specification language designed to facilitate writing specifications about vision-based DNNs in terms of high-level, human-understandable concepts. I will then describe how we can use emerging multimodal, vision-language, foundation models (VLMs) as a lens to analyze vision models. In particular, I will demonstrate how we can leverage VLMs such as CLIP to encode our concept-based specifications and to design an efficient procedure for verifying vision models with respect to these specifications. Bio: Ravi Mangal is an assistant professor at Colorado State University. He is interested in all aspects of designing and applying formal methods for assuring the correctness and safety of software systems. His current research focuses on developing methods for formally analyzing the safety and trustworthiness of learning-enabled systems. Previously, he was a postdoctoral researcher at Carnegie Mellon University in the Security and Privacy Institute (CyLab) and received his PhD in Computer Science from Georgia Institute of Technology. |
|
|
|
EECS Colloquium TBA Speaker: Mohammed Safayet Arefin, Colorado State Unievrsity, Fort Collins, CO. When: 3:10PM ~ 4:00PM, Thursday, April 17, 2025 Abstract: TBA Bio: TBA |
|
|
|
EECS Colloquium TBA Speaker: Francisco R. Ortega, Colorado State University, Fort Collins, CO. When: 3:10PM ~ 4:00PM, Friday, April 25, 2025 Abstract: TBA Bio: TBA |
|
|
|
EECS Colloquium TBA Speaker: Dr. Ed Seidel, President of the University of Wyoming, Laramie, WY. When: 3:10PM ~ 4:00PM, Monday, April 28, 2025 Abstract: TBA Bio: TBA |
