Undergraduate Research: ATOMS lab (Dr. Josephson, PI)

Tue, 14 Nov 2023 12:09:48 -0500
fall-2023, internship, research, student-highlight, ug, ugrad

John Velkey,
'24 Chemical Engineering - traditional track, Mathematics minor

Where was your Research?

ATOMS lab with Dr. Josephson

When did you start your Research?

January 2023

What is the focus of your Research?

Writing programs in Lean 4 that perform scientific calculations, and have verifiable mathematics

What are you looking forward to the most about your Research?

Opportunities to present research to broader audiences at conferences

What was the best part of your Research OR What was the biggest learning moment of your Research ?

I have really enjoyed the process of learning a new programming language.

What advice do you have for students who are interested in getting involved in research or an internship?

Apply early and often, and tailor applications to individual opportunities.

Are you a member of any clubs/campus organizations?

I am a teaching fellow for ENCH 300 - Chemical Process Thermodynamics.

What are your goals after graduation?

I am looking forward to getting into the workforce and taking a bit of a break from school, (for now)

Learn more about John Velkey:

@_Velkey on X (FKA Twitter), LinkedIn: https://www.linkedin.com/in/john-velkey