JAYDEN NWOBODO

A highly motivated second-year Software Engineering student studying at the University of Southampton with strong programming skills in Java. Experience developing software systems and databases such as Java, Python, Haskell, EventB, and SQL through university projects, with focus on formal methods and database design. Led and participated in teams tasked with designing interaction tools. Passionate about clean code architecture and test-driven development. Seeking a summer internship to apply academic knowledge in a professional environment while gaining industry experience.

Distributed File System

Tetris Game Automated Scheduling System Dungeon Descent Domain-Specific Language for CSV Querying Online Advertising Analytics Dashboard Multi-Elevator System Hurricane Monitoring COVID-19 Database Analysis

Multiplayer Puzzle Game - JavaFX

• Developed a multiplayer puzzle game with dynamic scoring system using JavaFX
• Implemented real-time multiplayer functionality and leaderboard system with SQL database
• Built key features including piece rotation, score multipliers, and concurrent game state management
• Created custom animations and event handling for enhanced user experience

Energy Conservation Planning Tool

• Led a team to develop an interactive system for automated scheduling in households to aid in energy conservation
• Analyzed user interviews, created affinity diagrams, and developed low-fidelity prototypes
• Performed evaluation studies and refined design based on focus group feedback
• Used qualitative analysis to identify key user needs and pain points

Procedurally Generated 2D Dungeon Crawler

• Designing a procedurally generated 2D dungeon crawler with dynamic level generation
• Implementing collision detection, enemy AI, and combat mechanics
• Building inventory and upgrade systems with custom UI elements
• Creating procedural room generation algorithms and path-finding for enemies

CSV Query Language in Haskell

• Part of a group that designed and implemented a domain-specific programming language in Haskell for querying CSV documents
• Developed a lexer and parser using Alex and Happy to interpret custom query syntax
• Implemented operations such as Cartesian product, permutations, filtering, and merging of CSV data
• Ensured CSV output was lexicographically sorted and handled empty entries consistently

Real-Time Advertising Metrics Visualization

• Part of a group which built a real-time dashboard analyzing millions of advertising impressions using multi-threading
• Implemented data visualization tools for CTR, CPA, and ROI metrics with filtering capabilities
• Created user authentication system and role-based access control
• Developed export functionality for automated report generation in PDF/CSV formats

Advanced Software Modelling and Design

• Developed a formal specification for a multi-elevator system using Event-B with multiple refinement stages
• Implemented safety-critical system components in SPARK/Ada with formal verification
• Created utility functions with formal pre/post conditions and loop invariants for cabin movement
• Modelled complex system requirements including shaft management, motor control, and button interfaces
• Implemented verification proofs to ensure collision avoidance and other safety properties

Data Management

• Developed a data processing pipeline to extract and transform hurricane tracking data from KML files to CSV format
• Created a Unix bash script utilizing grep, sed, and awk for efficient text processing and pattern matching
• Implemented version control using Git, including conflict resolution between branches
• Visualized hurricane paths on maps using provided plotting utilities
• Documented the approach and implementation in a LaTeX report with proper formatting and structure

Data Management 

• Designed and implemented a normalized SQLite database for COVID-19 data from the EU Open Data Portal
• Identified functional dependencies and created an optimal database schema through normalization (1NF through BCNF)
• Developed SQL scripts for database creation, data import from CSV files, and populating related tables
• Implemented complex SQL queries including aggregations, joins, window functions, and percentage calculations
• Created analytical queries to track pandemic metrics such as case counts by country, mortality rates, and cumulative statistics
• Produced comparative analyses including percentage of population infected and top countries by mortality rate

Distributed Systems

• Designed and implemented a distributed storage system with Java, networking, and distributed systems principles
• Created a Controller and multiple Data Store components supporting file replication across nodes
• Implemented TCP communication protocols for store, load, list, and remove operations between distributed components
• Built fault tolerance mechanisms to handle node failures while maintaining system availability
• Developed dynamic rebalancing algorithms to ensure even file distribution across storage nodes
• Engineered concurrent request handling with proper synchronization for multiple simultaneous clients