This project set out to offer an informative dashboard to assist potential investors in making better financial decisions. The dashboard
Category: 2023
Voting trends within the United Nations
Understanding the way countries voted in past sessions of the United Nations General Assembly could be useful in predicting how
Instrumenting inline runtime monitoring in Elixir
Concurrent languages present challenges for software correctness since standard approaches, such as unit testing, can be ineffective. This is due
Runtime verification of robotic applications inspecting radioactive environments
The growing reliance on robotics with respect to various hazardous applications has created the need for robust and reliable robotic
A Python DFA learning toolkit
Deterministic finite-state automata (DFA) are computational machines that are able to accept or reject words, depending on whether they belong
Secure and correct execution of the X3DH protocol through runtime verification
Messaging applications have become essential for communication, especially with respect to sharing sensitive information, such as personal and financial data.
Exploring bidirectional typing for the Semi-Axiomatic sequent calculus (SAX)
Advances in hardware technology have proven incapable of keeping up with the growing needs of increasingly complex software systems. To
Typing OTP design patterns with session types
A dynamically typed programming language, such as Elixir, allows type checking and evaluation to occur during run-time (i.e., program execution).
Using Augmented Reality to make understanding physical exercises easier
Obesity has become a common diagnosis, which means that more persons are at greater risk of major health complications. Hence,