User Portlet

Jibiana Jakpor is a senior at Stanford majoring in computer science on the theory track. She is interested in formal verification, automated reasoning, and programming languages. Her first exposure to Wolfram Language was in 10th grade when she participated in the Wolfram High School Summer Camp (now the Wolfram High School Summer Research Program). She later participated in the Wolfram Emerging Leaders Program (WELP) and taught at the inaugural Wolfram Middle School Summer Camp.