The ATOMS Lab at UMBC is led by Professor Tyler R. Josephson.

In chemistry, the fundamental building blocks are atoms; from their interactions emerge molecules, materials, and their properties. In mathematical logic, fundamental assumptions are also called atoms; from these, proofs, lemmas, and theorems are derived.

The ATOMS Lab brings together chemical engineers, computer scientists, and mathematicians as we equip computers to reason about and discover theories in molecular science. Learn more about our recent work featured on Canadian Public Radio and our NSF CAREER Award.

Learn Lean with Lean for Scientists and Engineers. Summer 2024 class recordings are here.

Interested in joining the ATOMS Lab? Open positions are listed on our join page.
See our lab policies and reach out to current group members to learn more about what it’s like to work with us.