Full-stack developer. Developed a full-stack app for benchmarking modal logic theorem provers, enabling performance evaluation and data visualization. Created a RESTful price-tracking application with custom alerts, allowing users to monitor product prices and receive notifications.