Free class: Programming in Lean for Scientists and Engineers 1-3pm ET July 9 – Aug 21, in-person & onlne, non-credit

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.

Register and get more information here. ]]> 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... https://beta.my.umbc.edu/api/v0/pixel/news/142661/guest@my.umbc.edu/90bcf91aae2a93d9e299c5a11fd39a7b/api/pixel ai class free non-credit programming proof Computer Science and Electrical Engineering https://beta.my.umbc.edu/groups/csee https://assets3-beta.my.umbc.edu/system/shared/avatars/groups/000/000/099/d117dca133c64bf78a4b7696dd007189/xsmall.png?1314043393 https://assets1-beta.my.umbc.edu/system/shared/avatars/groups/000/000/099/d117dca133c64bf78a4b7696dd007189/original.png?1314043393 https://assets1-beta.my.umbc.edu/system/shared/avatars/groups/000/000/099/d117dca133c64bf78a4b7696dd007189/xxlarge.png?1314043393 https://assets4-beta.my.umbc.edu/system/shared/avatars/groups/000/000/099/d117dca133c64bf78a4b7696dd007189/xlarge.png?1314043393 https://assets3-beta.my.umbc.edu/system/shared/avatars/groups/000/000/099/d117dca133c64bf78a4b7696dd007189/large.png?1314043393 https://assets1-beta.my.umbc.edu/system/shared/avatars/groups/000/000/099/d117dca133c64bf78a4b7696dd007189/medium.png?1314043393 https://assets2-beta.my.umbc.edu/system/shared/avatars/groups/000/000/099/d117dca133c64bf78a4b7696dd007189/small.png?1314043393 https://assets3-beta.my.umbc.edu/system/shared/avatars/groups/000/000/099/d117dca133c64bf78a4b7696dd007189/xsmall.png?1314043393 https://assets3-beta.my.umbc.edu/system/shared/avatars/groups/000/000/099/d117dca133c64bf78a4b7696dd007189/xxsmall.png?1314043393 AI and Theory-Oriented Molecular Science Lab 4 4 true Fri, 05 Jul 2024 10:55:42 -0400 Interested in AI? Join free Discover AI program this Fall Apply by Fri. 9/3 for 8 week online program & get certificat
UMBC has partnered with AI4ALL to offer its free online Discover AI class introducing AI technology to selected UMBC undergraduate students from any major this Fall. The eight-week program starts in the third week of September, includes both synchronous and asynchronous instruction, and requires 15-20 hours over the eight weeks. It is open to all freshmen, sophomores, and juniors and is structured to accommodate students with and without prior computer science or AI experience. Students finishing the program will get a certificate and the opportunity to apply for free follow-on programs.

Interested students can Apply using this Google form by Friday, September 3.


If you have questions, see this post, email ai4all@csee.umbc.edu or visit the AI4ALL website.


AI4ALL programs are designed to bring together and highlight voices that have been historically excluded and that will lead and shape the future of AI. It aims to serve the following students, especially those at the intersection of two or more of these identities:

  • Indigenous Peoples, Black, Hispanic or Latinx, Pacific Islander, and Southeast Asian 

  • Trans and non-binary; two-spirit; cis women and girls

  • Lesbian, gay, bisexual, asexual, and queer

  • Students with a demonstrated financial need (e.g., students receiving financial aid)

  • First-generation college student 

]]> UMBC has partnered with AI4ALL to offer its free online Discover AI class introducing AI technology to selected UMBC undergraduate students from any major this Fall. The eight-week program starts... https://www.csee.umbc.edu/2021/08/artificial-intelligence-and-careers-in-tech-participate-in-discover-ai-this-fall/ https://beta.my.umbc.edu/api/v0/pixel/news/111836/guest@my.umbc.edu/774f051e6d259a1b648b1d1650c4e077/api/pixel ai class free Computer Science and Electrical Engineering https://beta.my.umbc.edu/groups/csee https://assets3-beta.my.umbc.edu/system/shared/avatars/groups/000/000/099/d117dca133c64bf78a4b7696dd007189/xsmall.png?1314043393 https://assets1-beta.my.umbc.edu/system/shared/avatars/groups/000/000/099/d117dca133c64bf78a4b7696dd007189/original.png?1314043393 https://assets1-beta.my.umbc.edu/system/shared/avatars/groups/000/000/099/d117dca133c64bf78a4b7696dd007189/xxlarge.png?1314043393 https://assets4-beta.my.umbc.edu/system/shared/avatars/groups/000/000/099/d117dca133c64bf78a4b7696dd007189/xlarge.png?1314043393 https://assets3-beta.my.umbc.edu/system/shared/avatars/groups/000/000/099/d117dca133c64bf78a4b7696dd007189/large.png?1314043393 https://assets1-beta.my.umbc.edu/system/shared/avatars/groups/000/000/099/d117dca133c64bf78a4b7696dd007189/medium.png?1314043393 https://assets2-beta.my.umbc.edu/system/shared/avatars/groups/000/000/099/d117dca133c64bf78a4b7696dd007189/small.png?1314043393 https://assets3-beta.my.umbc.edu/system/shared/avatars/groups/000/000/099/d117dca133c64bf78a4b7696dd007189/xsmall.png?1314043393 https://assets3-beta.my.umbc.edu/system/shared/avatars/groups/000/000/099/d117dca133c64bf78a4b7696dd007189/xxsmall.png?1314043393 Computer Science and Electrical Engineering https://assets4-beta.my.umbc.edu/system/shared/thumbnails/news/000/111/836/1de55ed8fc2609e8a5f011ccd14acf92/xxlarge.jpg?1630330212 https://assets3-beta.my.umbc.edu/system/shared/thumbnails/news/000/111/836/1de55ed8fc2609e8a5f011ccd14acf92/xlarge.jpg?1630330212 https://assets3-beta.my.umbc.edu/system/shared/thumbnails/news/000/111/836/1de55ed8fc2609e8a5f011ccd14acf92/large.jpg?1630330212 https://assets2-beta.my.umbc.edu/system/shared/thumbnails/news/000/111/836/1de55ed8fc2609e8a5f011ccd14acf92/medium.jpg?1630330212 https://assets2-beta.my.umbc.edu/system/shared/thumbnails/news/000/111/836/1de55ed8fc2609e8a5f011ccd14acf92/small.jpg?1630330212 https://assets3-beta.my.umbc.edu/system/shared/thumbnails/news/000/111/836/1de55ed8fc2609e8a5f011ccd14acf92/xsmall.jpg?1630330212 https://assets4-beta.my.umbc.edu/system/shared/thumbnails/news/000/111/836/1de55ed8fc2609e8a5f011ccd14acf92/xxsmall.jpg?1630330212 2 0 true Mon, 30 Aug 2021 09:41:45 -0400