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.

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.