Ewgenij Starostin

In a project on data mining in learning management systems with the goal of gauging students’ learning performance, I took part in software maintenance and wrote and translated technical documentation for the system.

Extended the open source online learning platform Moodle with the goal of enabling anonymous student and teacher communication. I was responsible for the initial analysis of Moodle and options for anonymity implementation, communication with the open source project, integration of PHP code into Moodle and publication of the result on the Moodle website. Wrote a paper on the project and slides for the MoodleMoot 2012 conference, where I held a presentation.

In the NASA-developed JPF tool for Java verification, I added code to let JPF check programs against a formula specifying changes over time. Funded by GSoC and mentored by a professor, I collaborated with the JPF community and other GSoC students working on JPF. From the successfully completed project, I gained experience and skills in Java programming, in-depth understanding of compiled Java bytecode, program simulation/verification, open source work and getting from academic mathematics to working code.

Tutorials, lab exercises and office hours, writing/grading homework exercises and exam questions in theoretical computer science, Unix/internet programming, OS design and programming in C/Java. Designing and giving presentations to a class, teaching material from formal mathematics to hands-on programming at the academic level, motivating students to grasp and apply complex ideas, answering questions/concerns in class and one-on-one and recognising and resolving issues with academic performance and ethics.

Major in computer science: theory (specification, verification and proofs, temporal logic), language design (compilers, constraint programming, functional languages), web/network programming. Minor in mathematics: algebra, graph theory & combinatorics, topology, logic.