Scroll To View More
Ken Roe, iOS Developer in Washington, DC, United States
Ken Roe

iOS Developer in Washington, DC, United States

Member since October 2, 2014
Ken is a highly skilled Software Engineer with over twenty years experience. He has been running a small company that develops and sells mobile apps, and is especially good at Python, Objective-C, and Swift. He is currently working on a PhD in Computer Science at Johns Hopkins University.
Ken is now available for hire



  • C, 20 years
  • ML Programming Language, 10 years
  • Prolog, 6 years
  • Objective-C, 5 years
  • iOS, 5 years
  • Python, 5 years
  • MacOS, 4 years
Washington, DC, United States



Preferred Environment

Xcode, Vi, Android Studio

The most amazing...

...product I've developed is an iOS app, Smart Recorder, which has been installed on over a million iOS devices.


  • iOS/Android Developer

    2015 - PRESENT
    • Added iOS 9 search support for White Noise 6.0.
    • Fixed a number of bugs required to make the Android release of WhiteNoise 6.0.
    • Added audio to the chatter view in both the iOS and Android White Noise Market apps.
    • Redesigned the settings page in both the iOS and Android White Noise Market apps.
    • Localized both the iOS and Android versions of WhiteNoise.
    Technologies: iOS, Android
  • iOS Developer

    2015 - PRESENT
    Tickets to the City (via Toptal)
    • Developed an iOS app for scanning ticket barcodes and sending the results to a server.
    Technologies: iOS 9, AVFoundation
  • iOS Developer

    2015 - PRESENT
    Salon Swipe (via Toptal)
    • Developed iPhone screens for a redesigned user interface.
    • Fixed critical bugs in audio processing from a credit card swiping device.
    Technologies: iOS
  • Contract Developer

    2014 - PRESENT
    Spensa Technologies (via Toptal)
    • Developed an iOS app for deploying a network of bug zappers (on a farm).
    • Refined a library for RESTful server communication.
    Technologies: iOS, Core Data, Swift, Git
  • PhD Candidate

    2010 - PRESENT
    Johns Hopkins University
    • Developed a framework within the Coq theorem prover for verifying imperative programs written in a language such as C.
    • Developed a GUI front-end (using Python) for developing theorems using the Coq theorem prover.
    • Taught students about Prolog, SAT solvers, and various other constraint solving systems as TA for a declarative methods class.
    • Taught students as TA for an introductory Android class.
    • Developed the IPC 3 iOS app under a contract with the JHU medical center.
    • Developed an educational iOS app for the neurology department.
    Technologies: Coq, Machine Learning, Python, iOS, Android, Prolog
  • CEO

    2009 - PRESENT
    Roe Mobile Development
    • Developed and published an audio recorder app (Smart Recorder for iOS) from scratch. Smart Recorder makes extensive use of the various audio APIs in iOS including AudioToolbox and the creation of Audio graphs.
    • Developed PHP/MySQL code for a transcription service server. This tool accepted RESTful requests from the Smart Recorder app, maintained a database of customer account information, and forwarded requests to the Amazon mechanical turks service for processing.
    • Managed the development and publication of an Android port of the Smart Recorder product.
    • Developed and published several other iOS apps including Smart Swipe Keyboard, Travel Diary, Transylvania, The Nuclear Test, and Word Quiz.
    • Developed and published a port of Smart Recorder to Windows 8 written in C++ and XAML.
    • Developed and published a port of Smart Recorder for Windows phone using C#, C++, and XAML.
    Technologies: iOS, Mac, Android, PHP/MySQL, Windows 8, Windows 8 Mobile, Objective C, C#, Java, C++
  • Developer

    2015 - 2015
    • Developed a simple PHP/JavaScript website to automatically fill in blanks in hospital consent forms.
    Technologies: JavaScript, PHP
  • iOS Developer

    2014 - 2015
    Zarquon (via Toptal)
    • Refined a custom keyboard layout for iOS.
    • Fleshed out all variants of the keyboard (ASCII, URL, Twitter, etc.).
    • Added iPad layouts.
    • Refined the layout algorithm.
    • Integrated an in-app purchase library.
    • Developed a container app with collection view and search bar.
    • Integrated a library for key pop-ups and tap-and-hold functionality.
    Technologies: Custom Keyboard, Swift, Git
  • Contractor

    2011 - 2012
    Independent Security Evaluators
    • Ported a key security product from Windows/Linux to Mac.
    Technologies: C, Mac, Open SSL
  • Contractor

    2010 - 2010
    Cryptite, LLC
    • Developed a prototype iOS scanner app for color bar codes and tools to encrypt files based on the bar codes.
    Technologies: iOS, OpenCV, Libcrypto
  • Contractor

    2009 - 2009
    • Developed a low vision version of the talking product.
    • Added many enhancements to improve the performance of the Talking Tag iOS app and integration with Flurry analytics.
    Technologies: iOS
  • MTS 4

    2006 - 2009
    • Developed many sections of documentation for a Common Criteria EAL 4 cert.
    • Fixed many bugs in the Datafort product.
    • Developed enhancements to the Datafort configuration tools to handle multiple input/output ethernet ports.
    • Developed documentation to help other engineers get up to speed with the Datafort development enviornment.
    Technologies: C, Free BSD, CIFS, FTP, NFS, VRRP, Wireshark, MU Box
  • Developer

    2003 - 2006
    • Developed an SMT solver (the heuristic theorem prover) in C. This tool went on to take a second and third place at SMT-Comp'06.
    Technologies: C, Tk/Tcl


  • Smart Recorder (Development)

    Smart Recorder is an audio recorder I developed for iOS. It allows both recording and editing and provides a wide variety of features such as auto-pause (temporarily stop recording when the room is silent) and multi-speed playback (with pitch correction).

    Smart Recorder also features a transcription service that converts voice to text.

  • Smart Swipe Keyboard (Development)

    Smart Swipe keyboard is a custom keyboard for iOS. It allows entry of words by dragging from the first to the last letter and provides the ability to customize the keyboard's colors or to add a background image.

  • Transylvania (Development)

    Transylvania is an adventure game. It was originally released on the Apple ][ in the 1980s. I co-developed a port of this game for iOS.

  • ipc3 (Development)

    ipc3 is an app I developed for the Johns Hopkins medical center. It gives cancer patients information on treatment options.

  • CoqPIE IDE for Coq and PEDANTIC Static Analysis Model (Development)

    CoqPIE is an IDE I developed for the Coq theorem prover. It is available on GitHub at

    PEDANTIC is a Coq framework I am developing to model the behavior of imperative programs.

    Both these projects will form key pieces of my PhD thesis.


  • Languages

    Objective-C, C, Python, Tcl, Java, Prolog, C#, ML Programming Language, PHP, SQL
  • Platforms

    MacOS, iOS, Android, Linux, Windows, Amazon Web Services (AWS)
  • Libraries/APIs

    Tk, OpenSSL, OpenCV
  • Tools

    Adobe Photoshop, Adobe Illustrator, MATLAB
  • Paradigms

    Functional Programming, Concurrent Programming
  • Frameworks



  • Master of Science degree in Computer Science
    1986 - 1992
    University of Illinois - Urbana-Champaign, IL
I really like this profile
Share it with others