Free class: Programming in Lean for Scientists and Engineers

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 Free online AI Ignite program, apply by 1/22 Online program prepares you for AI internships

AI4ALL Ignite offers a groundbreaking opportunity for undergraduate students interested in artificial intelligence. This no-cost, virtual AI career accelerator program is designed to prepare students to interview for technical AI internship positions. As part of the accelerator, participants work on an AI portfolio project directly with AI industry professionals, present the portfolio to peers and industry professionals at an all-day virtual symposium, and cultivate and grow a network within AI. Apply online by January 22.

Students who participate in the Spring 2024 accelerator will be ready to interview for AI technical internship positions by September 2024.

Key Highlights of AI4ALL Ignite:

AI Portfolio Project: Students will have the unique opportunity to work on an AI project with peers, receiving mentorship and guidance from industry experts.
Student Symposium: Participants can present their AI projects in a symposium, providing a platform to network with AI professionals.
Career Readiness Training: The program includes extensive training focusing on career readiness and preparation for technical AI internship interviews.
Mock Interviews and Networking: Students can enhance their skills through mock AI technical interviews and engage in networking opportunities with AI recruiters.
AI Certificate of Completion: Students are awarded an AI4ALL Certificate of Completion at end of the accelerator.

Eligibility and Application Deadlines:

AI4ALL welcomes all applicants but gives priority to students from historically underrepresented groups in AI, including Black, Hispanic and Latinx, Indigenous, women, gender-expansive, and non-binary individuls.
Academic prerequisites are: Probability and Statistics; Linear Algebra; Pursuing a major/minor related to Computer Science and similar academic disciplines; and Basic programming skills in Python (e.g. CS1) or another coding language
Apply online for the Spring 2024 Cohort by January 22, 2024.
The Spring Ignite program starts in the week of January 29, 2024.

For more information and to apply, visit the AI4ALL Ignite website. To learn more about the organization AI4ALL, please visit the AI4ALL website. Address further questions to ai4all@cs.umbc.edu. ]]>

AI4ALL Ignite offers a groundbreaking opportunity for undergraduate students interested in artificial intelligence. This no-cost, virtual AI career accelerator program is designed to prepare...

https://ai-4-all.org/ai4all-ignite/ https://beta.my.umbc.edu/api/v0/pixel/news/138106/guest@my.umbc.edu/d07d2919053eb3b094a537c91020d989/api/pixel ai ai4all artificial-intelligence free online 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 0 0 true Tue, 09 Jan 2024 18:10:40 -0500 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