AEON [1] is an online application that facilitates the long-term behavior analysis of partially specified Boolean networks in systems biology. It consists of a comprehensive model editor as well as an attractor explorer and a bifurcation tree explorer. These are all available as interactive applications running in the Web browser.

The AEON frontend was originally developed using "plain" JavaScript with very limited focus on extensibility, modularity or type safety and is not suitable for long-term maintenance. As such, the goal of this thesis is to extend or rewrite the current implementation using modern Web technologies.

In particular, the student should evaluate the current state of AEON and the long-term architectural needs of the AEON application. The student should then select an appropriate technology or framework for the aforementioned goal, and subsequently migrate the relevant parts of the application using this chosen technology.

Beneš, Nikola, et al. "AEON: attractor bifurcation analysis of parametrised Boolean networks." Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I 32. Springer International Publishing, 2020.