Lean for Scientists and Engineers

Meets twice weekly, 1-3pm ET, July 9 – August 21, 2024
in-person at UMBC and online

UMBC’s AI & Theory-Oriented Molecular Science Lab (ATOMS) will teach a free, non-credit class, “Lean for Scientists and Engineers”, this summer. Lean 4 is a new programming language whose type system enables it to describe and check the logic of advanced math proofs. It makes it easier to write correct and maintainable code.

By writing software in Lean and writing proofs about those functions, we can be confidant that our code is correct. Our vision is to enable a new class of scientific computing software whose functions are interwoven with a library of formally-verified scientific derivations. All are welcome! This course is designed for non-mathematicians. 

Topics include logic and proofs for scientists and engineers, functional programming in Lean 4, and provably-correct programs for scientific computing. Prerequisites are Calculus II, introductory physics and introductory chemistry.

Lean for Scientists and Engineers

Meets twice weekly, 1-3pm ET, July 9 – August 21, 2024

in-person at UMBC and online

UMBC’s AI & Theory-Oriented Molecular Science Lab (ATOMS) will teach a free, non-credit class, “Lean for Scientists and Engineers”, this summer. Lean 4 is a new programming language whose type system enables it to describe and check the logic of advanced math proofs. It makes it easier to write correct and maintainable code.

By writing software in Lean and writing proofs about those functions, we can be confidant that our code is correct. Our vision is to enable a new class of scientific computing software whose functions are interwoven with a library of formally-verified scientific derivations. All are welcome! This course is designed for non-mathematicians. 

Topics include logic and proofs for scientists and engineers, functional programming in Lean 4, and provably-correct programs for scientific computing. Prerequisites are Calculus II, introductory physics and introductory chemistry.

2024 AP Scores will start being released by the College Board in early July. Even if you requested scores be sent to UMBC it still may take up to a few weeks for those scores to be received, processed, and evaluated.

Until the course equivalency is listed in your course history you won't be able to use it as a prerequisite to make schedule changes on your own. You can check to see if the course has been fully evaluated by going to myUMBC - Profile- Grades- Course History.

However, advisors may be able to help you make schedule adjustments soon after you have received your scores.

First, you should consult our AP transfer Policiesto confirm that you will be receiving credit for your score.

Next, you will need to use the schedule planner to put together a new schedule. All overrides are issued on specific sections so you will need to know exactly which section(s) you want to register for each new course. COEIT advisors can help with this process. You can schedule an appointmenthere.

Once you have the section information you will need to reach out to the appropriate department to receive permission.

All communication must include your name, ID, specific section information, a screenshot of the required AP score, and if you are sending an email it must come from your UMBC email account.

For Computer Science and Engineering permissions: email coeitadvising@umbc.edu.

For Math permissions: submit a Help Tickethere.

For Chemistry and Physics permissions: email CNMSadvising@umbc.edu

Please make sure to confirm that your scores were sent and received by UMBC prior to the start of the Fall semester. Overrides will not be given for Spring courses.

If you have any questions please email coeitadvising@umbc.edu.