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