Fehintola Elizabeth Bright-Awonuga: Coming to UMBC as a freshman last school year I became affiliated with Retriever Essentials through the Shriver Center’s PRAC 096. I have volunteered with Retriever Essentials for two years now and I am now a part of the Student Leadership Board. I have the growth over the past two years and the impact it has had on the lives of fellow faculty, staff, and students. I do not regret my decision of joining this team because I have seen the first-hand the seed this organization has sown. The seed is continuing to sprout, grow, and blossom into something bigger than it once was.

Alex Gwizdala: Volunteering with Retriever Essentials was a great way for me to feel connected to the UMBC community. As a first-semester freshman, I was feeling out of place on campus when the semester started. When I started volunteering, I felt much more involved in the community. Being able to meet so many great people and knowing that my work was having an impact was an amazingly rewarding experience.

Stephen Isabell: Retriever essentials is a necessity. Retriever Essentials is full of love, teamwork, and community. While volunteering for Retriever Essentials, I felt every one of those things I felt so empowered that I am apart of the solution to ending food security. No one should have to go hungry in this world.

Stephanie Koshy: I started volunteering at Retriever Essentials at the beginning of my first semester at UMBC. When starting college, I wanted to find an organization that I could volunteer at that was similar to the volunteer work I did at my high school. Luckily, I was able to find that Retriever Essentials, I have enjoyed working with Retriever Essentials to help other students on campus overcome food insecurity. I learned a lot about food insecurity and how we can combat this worldwide problem through Retriever Essentials at UMBC. I look forward to volunteering in the Spring.

Brian Lynch: Working with Retriever Essentials made me feel fulfilled. Everyone I worked with was part of a larger community helping those in need. I enjoyed sauntering around campus in the crisp fall air to deliver and pick up food bags. Moving shelves to the new pantry was an exciting time as well. Retriever Essentials made me realize the problem of food insecurity on campus and how to address it.

Zara Mahmood: Retriever Essentials has been a great group to work with in my first year as a UMBC student. Working with them has made me feel integrated in the school. Being a part of such an amazing group that impacts so many lives has been a wonderful experience. Everyone in Retriever Essentials is very welcoming which makes it better.

Dera Osuigwe: Have you ever felt the love of a community? Have you ever seen people from different works of life come together to tackle a problem? Have you ever seen people so passionate about what they do? Well, let me tell you, I HAVE!! Retriever Essentials is a place where people give their time and joy. It is a place where students come from a community to help the community. Retriever Essentials is a program that shows unity, love, and gratitude.

Sabtain Saroya: Retriever Essential is a community of like-minded individuals influencing the broader UMBC community in an impactful way. This amazing organization is setting a precedent for what it means to/how to fight the issue of food insecurity.

Zoe Smith: Retriever Essentials is an incredibly unique experience. Although the distribution of the food bags is anonymous and done by campus partners, rather than the pantry itself, it is still incredibly easy to see the impact of the program. From seeing food fly off the shelves as campus partners request more bags to deliver the bags and seeing how excited the staff are for the new bags the appreciation for Retriever Essentials is evident and helps you feel that you really are helping to make a difference in your own community.

The 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 227

Many advances have been made in software and hardware assurance using automated tooling.  Constraint-based solving tools like SAT and SMT solvers have proved very useful proving functional correctness in the world of software, while the hardware world relies heavily on the use of industrial-strength model checkers to provide formal verification of important properties like liveness and non-interference.  Sometimes, however, push-button tools are simply not enough. In this talk, we will discuss formal mathematical reasoning using interactive proof assistants, particularly Isabelle. While Isabelle is often thought of as a tool for checking the work of mathematicians, it is, in fact, a powerful engine for reasoning about software and hardware security.  We will work through an example of the verification of a multi-precision arithmetic software library using Isabelle. This talk is aimed at total beginners in the realm of automated theorem proving, and seeks to provide an overview of the fundamental techniques and ideas. 

Ian Blumenfeld is a Principal Research Mathematician at Two Six Labs.  He currently is the principal investigator of TwoSix’s efforts on the DARPA SafeDocs program, attempting to help do type-theoretic reasoning about document specification formats.  He is a former employee of Apple where he worked on the formal verification team, ensuring the security of the iPhone SEP chip. He has done extensive work verifying cyber-physical systems at Johns Hopkins APL.  Mr. Blumenfeld’s interest in formal methods began with his time working as an Applied Research Mathematician in NSA’s Research Directorate. He’s also a pretty good swing dancer.

Host: Alan T. Sherman, *protected email*

Support for this event was provided in part by the National Science Foundation under SFS grant DGE-1753681. 

The UMBC Cyber Defense Lab meets biweekly Fridays.  All meetings are open to the public.

The post talk: Ian Blumenfeld on Interactive Proof Assistants for Verification, Fri 1/31 appeared first on Department of Computer Science and Electrical Engineering.

84760 miles

Below are pictures of the inside and outside. If you have any advice, or know someone who would be interested, please let me know!

nparker1@umbc.edu 

4436332001 feel free to text for a fast response 

http://imgur.com/a/GNsV3x5