Verification Engineer

Manali Palwankar

+1-413-***-**** ***************@*****.*** 950 North Pleasant St, Apt 49 Amherst, MA 01002 EDUCATION

University of Massachusetts Amherst Dec 2018

Bachelor of Science in Computer Systems Engineering; Bachelor of the Arts in English, GPA: 3.00 Relevant Courses : Modeling and Verification of Embedded Systems, Security Engineering, Embedded Systems Lab I/II, Software Intensive Engineering, Data Structures and Algorithms Technical Skills : C,Verilog, SystemVerilog, MIPS, Java, C++, Python, Bash, UPPAAL, MATLAB, PSpice, Eagle, PHAVer, Quartus, MiniSat

Activities/Organizations: Society of Women Engineers, UMass Powerlifting Club, and UMass Poetry Club ACADEMIC PROJECTS

Instrumented Beehive, Senior Design Project Sept 2018 – May 2018

● Implemented a bee health monitoring system in an interdisciplinary team of six

● Designed a PCB using Eagle to have centralized control over all the system components

● Created a retrofit sensor frame to collect temperature and humidity data in existing beehives

● Transferred the collected data wirelessly using ESP8266 WiFi module

● Assembled and designed the system’s solar power supply by analyzing its power requirements

● Collaborated with Mechanical Engineers to design and analyze the sensor layout on the frame Verification of Timed Automata and Hybrid Systems Feb 2018 – Mar 2018

● Worked in a team of two for the Modeling and Verification of Embedded Systems course

● Modelled and verified reachability of real time Timed Automata systems using UPPAAL

● Utilized PHAVer to model and verify reachability of Hybrid Systems

● Analyzed graphs and partition constraints to study piecewise over-approximation of system’s dynamics PTSD Helper, SheHacks Boston Jan 2018

● Collaborated with a team of two to implement a PTSD helper to track panic attacks

● Collected HRV (Heart Rate Variability) data using a pulse sensor and sent it to Firebase server

● Analyzed data using JQuery on a web application to study patterns based on patient’s data Camera Interfacing and Image Processing, Embedded Systems Lab II Jan 2017 – Apr 2017

● Implemented hardware compression and software decompression of real time images in a team of four

● Used C to manipulate pixels of real time images taken on an ARM HPS Camera

● Functionally simulated hardware to design and verify Run Length Encoding for compression using Verilog

● Designed software decompression in C on FPGA fabric to regain original image

● Integrated previously implemented tools to program hardware buttons on FPGA to modify images Class Chat, Software Intensive Engineering Aug 2016 – Dec 2016

● Created a group messaging iOS application in a group of four to help students interact with their peers indirectly

● Implemented the WaterFall lifecycle model to lay out the process plan

● Laid out the UML design of the Application’s user interface

● Met our project’s system requirements and live demoed app to entire class Amazon Alexa Trivia, Hack@Smith - Best Use of Amazon Web Services Feb 2015

● Worked in a group of two to create a trivia game using Amazon Alexa in Java

● Used AWS and Lambda server to store and use voice inputs in the trivia game WORK EXPERIENCE

UMass Amherst UCard Office, Student Assistant at UCard Office May 2017 – Present

● Worked in teams to solve real time technical difficulties and carried out financial transactions BINDS LAB, UMass Amherst College of Information and Computer Sciences Aug 2017 – Dec 2017

● Analyzed random R-C networks to investigate analog models of Piezo materials

● Showcased similarities between Piezo materials and random R-C networks UMass Amherst Libraries, Student Technical Assistant Jan 2015 – Dec 2015

Contact this candidate