Wolfram Computation Meets Knowledge

Wolfram Summer School


Dariia Porechna

Summer School

Class of 2015


Dariia studies applied math at Kyiv Politechnic Institute, specifically cryptology. Her background is more pure math than computational. In addition to cryptological questions, she is interested in system and functional analysis. She came to the Summer School to gain Wolfram Language skills in order to use them in her further education. She strongly believes that mathematics is a kind of art, and feels pleasure investigating systems and finding interesting coincidences and their origins.

Project: Automated Testing Development Kit

We developed a tool kit that tests users’ code to check for errors and tests whether the code is reducible to a correct solution. Developing this tool kit required answering a few fundamental questions: How do we know if a function works correctly? How are we supposed to detect errors? The project itself is a creation of internal logic for methods and the tools themselves for testing.

Wolfram Summer School | Champaign, IL, USA | July 3 29–July 22, 2022