I am a…
- detail‐oriented engineer, attentive to the big picture
- self‐motivated and independent multidisciplinary learner
- creative and practical system architect
My employers ask me to…
- lead groups in design and specification of novel highly‐performant and highly‐reliable distributed systems
- empower peers by giving accessible and informative presentations on complex topics
- evaluate, propose, and implement solutions to system‐wide architectural issues
- provide technical guidance for critical decisions
- research academic literature and technical specifications to fully understand a problem space
My peers seek my help with…
- navigating solution spaces of novel cross‐disciplinary problems
- validating correctness of complex high‐level designs
- solving low‐level data‐path performance issues
- learning unfamiliar systems and languages
- understanding obscure language semantics issues
Experience
- –
- Amazon/Amazon Web Services (Boston, MA)
- Software Development Engineer II, File Gateway team
- architected next‐generation file server caching proxy, adding support for high availability, enhanced durability, crash‐consistent disaster recovery, and nondisruptive data migration
- designed and implemented new metadata cache storage engine to eliminate scaling and startup time issues
- maintained integrations with two critical open‐source data path components, including triaging and fixing mutliple performance and stability issues encountered when integrating new versions
- regular on‐call responsibilities including triaging network misconfigurations, data path performance issues, and software stability issues
- mentored teammates on the use of network and
data‐path diagnostics tools such as WireShark,
ss
,sar
,openssl
,sysfs
andprocfs
- –
- NuoDB (Cambridge, MA)
- Software Engineer, indexing team
- developed formal verification framework for distributed object replication protocol in TLA+
- applied automatic theorem solver (Z3) to discover bugs in code refactor
- developed and formally verified online algorithm to reduce arbitrarily large histograms with logarithmic memory overhead
- advised redesign of networking subsystem to minimize latency and stalls
- took on responsibility for orphaned feature (distributed statistics collection), delivering several solutions to ease immediate customer pain points
- –
- ClearSky Data (Boston, MA)
- Consulting Engineer (–)
- Principal Software Engineer (–)
- designed and formally verified distributed algorithm to transfer ownership of portions of petabyte‐scale copy‐on‐write data structure
- designed, implemented, and formally verified system for fail‐safe non‐disruptive cross‐datacenter migration of data path services
- applied formal verification to discover bugs and verify fixes in data path interaction with eventually consistent storage
- designed and implemented failover mechanism for highly‐available and robust NFS & SMB frontend appliance
- designed and implemented system for non‐disruptive asynchronous upgrade of data path services
- architected non‐disruptive migration path between highly‐available synchronously‐replicated relational database services
- provided technical expertise in the use of PostgreSQL, HTTP, TCP, X.509/TLS, Pacemaker, and POSIX/Linux networking and block APIs
- gave technical talks on PostgreSQL, REST, TLA+, and several internal topics
- EMC/XtremIO (Hopkinton, MA)
- Senior Software Engineer
- designed networking strategy for asynchronous data replication protocol
- developed protocol for configuration synchronization within replicating pair
- –
- Corero Network Security (Hudson, MA)
- Software Engineer
- designed and implemented system to generate inter‐process communication layer and resource assignments for multicore processor from interface definitions (US Patent 9,442,782)
- developed 40 Gbps network packet classifier and queueing system
- designed and implemented 20 Gbps packet capture and indexing application
- developed instruction scheduler for VLIW processor
- –
- Brown University (Providence, RI)
- Research Assistant, Computer Science department
- co‐taught graduate course on reduction semantics
- –
- Allegro Microsystems (Worcester, MA)
- Intern
- Updated implementation of smoke detector controller ASIC to run on more modern process
Education
- –
- Brown University (Providence, RI)
- Ph. D. candidate, Computer Science
- –
- Worcester Polytechnic Institute (Worcester, MA)
- M. S., Computer Science (2008)
- B. S., Electrical & Computer Engineering (2006)