Tyler Gamvrelis Email & Phone Number

Toronto, Ontario, Canada

Toronto, Canada Area

I worked with Dr. Menou of the Canadian Institute for Theoretical Astrophysics (CITA) on the 3D modeling of hot Jupiter exoplanets. The model I developed was used by Dr. Menou to study hot Jupiter radius inflation. My responsibilities included:- Simulating a planetary atmosphere under various conditions using the "PLUTO" code- Modelling the planet's atmosphere, magnetic field, etc. using C. The code was parallelized and MPI was used for inter-process communication- Using Python for data analysis and visualization pipeline (e.g. creating vector field animations)- Documenting model parameters in a Jupyter Notebookhttps://github.com/tygamvrelis/Astrophysics

Toronto, Canada Area

I joined Dr. M. R. Emami of the University of Toronto Institute for Aerospace Studies (UTIAS) to continue my work from 2017 on improving the microcontroller development experience for the course AER201. In addition to the 100+ development boards that were used by the students, a major outcome of my work was a thorough revitalization of the 26 sample programs I created for the course.Non-Technical Work:- Delivered a 4-hour interactive lecture on programming PIC microcontrollers in C at the start of the winter 2019 semester- Authored a 48-page user manual for the development boardSample Code Development:- Documented all files using Doxygen- Various non-functional changes to exemplify better software practices- Created .h/.c templates and modified all sample code files to conform to them- Used GitHub's source control and issue tracking features to organize the sample code development

Toronto

I joined the Intel Network and Custom Logic group to work on formal (proof-based) verification for the Quartus Prime FPGA compiler.Highlights and experience include:- Used C++ to develop software components that enable the functional correctness of the compiler to be verified- Independently developed the verification engine for the retimer in the place stage of the compiler- Worked with a formal verification tool vendor to establish requirements for new features- Created design sets in Verilog to test functional correctness of compiler- Debugged designs failing formal verification - Used Python and Perl for test automation- Wrote internal documentation for our compiler optimizations and the formal verification features developed

Toronto, Canada Area

I joined this humanoid robotics team shortly after it was formed in May 2017. I played a technical role in nearly every aspect of the embedded systems, and held various leadership roles within the team at large (recruitment, presentations, website content, photographer, video editor, etc).I led a team of 6 in the development of the embedded subsystem between September 2017 and August 2019. In addition to working on high-level design and making key contributions to the software, I also worked on establishing forward-looking development practices including:- A coding standard- A code review process- Unit testing with Google’s framework, including hardware mocking- UML as a tool for high-level design- Doxygen for documentation- GitHub for source control, issue tracking, and basic project management- Extensive tutorials on our GitHub wiki to help onboard new membersOur embedded software ran on STM32 microcontrollers on top of FreeRTOS. It controlled the 18 actuators for the robot, read back from our sensors, and was constantly in communication with various systems on the robot’s on-board computer. To achieve fast refresh rates for control, our design decisions were highly time-conscious, often concerned with how to save a few fractions of a millisecond.

Toronto, Canada Area

I worked under Dr. M. R. Emami of the University of Toronto Institute for Aerospace Studies (UTIAS) to design, implement, and test the next generation of a microcontroller development board. The board featured multiple microcontrollers, user interfaces, memory types, and I/O ports. The major outcome of this project was 120 boards to be used by students as a platform for developing autonomous robots in the 2018 and 2019 AER201 courses. I also delivered a 4-hour interactive lecture to the students at the beginning of the winter 2018 semester, on programming PIC microcontrollers in C.Hardware Development:- Developed a 4-layer printed circuit board with Eagle, including creating a library of 20+ custom parts- Designed SD card, graphical LCD, and PC interface modules, compatible with 3.3 V & 5 V supply- Expanded the available GPIO by allowing the microcontrollers that can be socketed simultaneously to access the most common modules independently- Increased options for inter-microcontroller communication- Various improvements to ease of use and reliability- Created a digital inventory of in-stock components and used Excel to organize component sourcing- Selected, ordered, and packaged components for assemblySoftware Development:- Used the Microchip Library for Applications for a PIC18F2550 bidirectional USB to serial converter - Used C to write PIC libraries for the following: 1. SPI and UART modules (blocking and non-blocking) 2. SD card initialization, erasing, and reading/writing single/multiple blocks 3. ST7735R graphical LCD controller initialization, and drawing rectangles and specific pixels- Developed 20+ sample programs using modular software development practicesDocumentation:- Delivered a 180-page technical report- Delivered a 50-page user manual designed for students- Designed a thorough test protocol

Calgary, Canada Area

- Characterized the performance of HMI core graphics objects used for geographically-distributed SCADA. Performance data covered 150+ scenarios and was used to enhance bid accuracy and engineering of SCADA displays, as well as a baseline for regression testing- Used Excel to organize thousands of data points, automate data handling, and generate pivot tables. Used MATLAB to generate descriptive statistics- Self-taught C# fundamentals through Microsoft Virtual Academy and Pluralsight- Independently updated a C# display-generating program so that it would be backwards-compatible with a legacy HMI version. Gained exposure to XML and graphics in the .NET framework

Calgary, Canada Area

- Developed presentation material used to showcase an emerging product at TEC (Technology in Energy Conference) 2015- Worked with software team in Spain to understand product security mechanisms- Used Photoshop CS5 and Premiere Pro CS5.5 to (1) create an animated video explaining product security mechanisms and (2) edit video interviews of employees- Tested the installation of an early version of the emerging product using a multi-zone, multi-user virtual test environment. Documented all steps by recording videos and making a OneNote diary

Calgary, Canada Area

Stockroom (inventory) work for a retail store selling home essentials and furniture:- Gained exposure to stockroom infrastructure, including SKU numbers, cataloging, shipping/receiving, and synergy between the sales and merchandising teams- Received merchandise shipments from the shipping bay, unpacked them, and arranged them in the stockroom- Stocked shelves for sales and made storefront displays- Responded to stock check requests- Maintained a safe and clean working environment

Master Of Applied Science, Electrical And Computer Engineering, A+

- Communications group - Head lab TA for ECE361 (Computer Networks I), 2020–2022 Courses: - Estimation and Detection Theory (ECE1521).

B.A.Sc. In Engineering Science (Honours), Major In Electrical And Computer Engineering

Activities and Societies: University of Toronto Robotics Association (Robosoccer: Embedded Systems Lead), NSight Mentor, University.

Education record

Activities and Societies: Scarlett Volunteer Society, Principal's Advisory Council, Track & Field, Yearbook Committee - Biology 30 (100%).