#Android on #ChromeOS

Created an app for the college newspaper that has over 200 active readersEngineered a fully featured app to stream the college radio station, with 250+ listenersCorresponded with a team of designers and developers for other platformsFocused on back-end development, efficient data storage and parsing, and user experience

Oversaw AV Center operations and supervise a team of student employeesTrained a new team of student employees and administer certification exams every semesterModerated conflicts issues between employees and patronsCoordinated AV for Alumni Reunion where over 1200 alumni attend over 100 events over a weekend

Troubleshot hardware and software issues for students, faculty, and staff across campusProvided support for Linux, Windows, OS X, Android, and iOS for 1600 students and staff

Worked with Prof. Peter-Michael Osera to build a proof assistant aimed at teaching undergrads to prove program correctness, while giving rich tailored feedback to guide studentsCreated to be used in introductory CS and discrete mathematics courses in Grinnell and HaverfordUtilized the Z3 Theorem Prover and Haskell to write a parser for Java and Python, a language for expressing proofs, and interpreters for the proof languageDesigned a web interface to interact with the proof assistant, and planned to present at a PL conferenceBegan the process of co-authoring a paper to present the proof assistant

Research and Machine Intelligence - Mobile Vision TeamWorked on a new feature for Google Lens on the Pixel 2017 smartphone from design to development for displaying, editing, and having rich interactions with aggregated OCR text entities

Designed and implemented a media browsing app for UK based NGO Practical Action to save publications, videos, and audios, to be accessible without connectivityCreated a PHP back-end to push content from a server database to the app with a user login tokenStored media and content locally on device and added ‘favorite’ and preview functionalitiesSupported over 15 languages, including right-to-left languages, and handled media viewing inside appEngaged with software development in an international scale, collaborated with teams in Hong Kong and US