Murray Stokely
| Headline: | Engineer |
| Work status: | Employed Full-Time |
| Industries: | Computing, Internet |
| Skills: | C/C++, Databases, Engineering, HTML / CSS, Java, Languages and Platforms, Perl, Python, Software Engineering, SQL, System Administration, Unix, Web Development, Windows |
| Location: | San Francisco |
| Interested in: | Consulting opportunities, Finding team mates, Meeting new people, Providing services to startups, Trading services |
| Tags: | distributed computing, freebsd, google, model checking., quantitative analysis, silicon valley, software verification, unix |
| Schools: | California State University System, University of Oxford |
WORK EXPERIENCE
| Employer: | |
| Position: | Senior Software Engineer |
| Time period: | September 2005 - Present |
| Employer: | FreeBSD Mall, Inc. |
| Position: | VP Engineering / Senior Release Engineer |
| Time period: | February 2002 - Present |
| Description: | Responsible for the engineering aspects of the FreeBSD product line.
• Coordinated product development activities between engineering groups in California and China. • Managed complete release process for all FreeBSD based products. This includes managing the submissions of internal developers as well as those from over 300 open source contributors. • Met with influential individuals in the mainland Chinese software market to identify steps necessary to make our products politically acceptable in China. • Gave presentations about our operating systems products and met with business partners in Europe, Asia, and North America to promote our company as well as to identify political or technical issues that were hampering the acceptance of our products in those markets. |
| Employer: | FreeBSD |
| Position: | FreeBSD Core Team Member and Release Engineer |
| Description: | Active developer of the open source FreeBSD Unix operating system. Since 2001 I have been an elected member of the
core team which manages the contributions of over 300 developers and thousands of contributors over the Internet. Formalized release engineering processes. |
| Employer: | Wind River Systems |
| Position: | Senior Software Engineer |
| Time period: | May 2001 - February 2002 |
| Description: | Responsible for developing software and FreeBSD-related products, and managing a small team of Associate Engineers.
• Managing the production process for FreeBSD-related products. • Documenting the release engineering practices of our operating system products to ensure that our important internal processes are not overly disrupted by staff turnover. • Writing technical documentation about our products and designing the documentation infrastructure necessary to manage the submissions of other documentation authors throughout the company. |
| Employer: | Berkeley Software Design, Inc. |
| Position: | Systems Project Manager |
| Time period: | July 2000 - January 2001 |
| Description: | Responsible for the productivity of several small teams working on various concurrent projects :
• Development of new open-source internal business software to replace the proprietary system currently used for mail-order and inventory management. • Consolidating our e-commerce backend software with that of our merger partners. • Creating and improving upon automated tools to index the FreeBSD Handbook, and other technical documentation projects. • Content collection and product development for CDROM products to be placed in the retail channel. • Management of four programmers. |
| Employer: | Berkeley Software Design, Inc. |
| Position: | Product Manager |
| Time period: | March 2000 - May 2001 |
| Description: | Responsible for managing the process of FreeBSD product development.
• Negotiating contracts with third-party vendors. • Creating product roadmaps and ensuring production deadlines are met. • Managing a team of three programmers to assist with the technical aspects of product development. |
| Employer: | Walnut Creek CDROM |
| Position: | Software Developer |
| Time period: | June 1999 - March 2000 |
| Description: | Developed business software for order placement, inventory, purchase orders, and shipping logistics to replace our
proprietary software system. This project involved writing a cross-platform Tcl/Tk GUI interface that communicated with the backend MySQL database. |
| Employer: | Walnut Creek CDROM |
| Position: | Webmaster |
| Time period: | June 1998 - March 2000 |
| Description: | Responsible for development and administration of our online retail business. All of the content for our website was
dynamically created with embedded Perl from a MySQL database. I was also the primary developer for a banner-ad system used to display and track banner ads, and to dynamically produce pie-charts and statistics showing click-through ratios. |
| Employer: | Walnut Creek CDROM |
| Position: | Perl Programmer |
| Time period: | June 1997 - June 1998 |
| Description: | Job responsibilities included maintaining several large PC servers used in CDROM production, making purchasing
decisions for hardware upgrades, providing technical support for FreeBSD, Linux, and GNU software, maintaining DNS servers and other TCP/IP administration tasks, writing reusable Perl modules to automate the task of CDROM production and content collection. |
| Employer: | Infiniti Design |
| Position: | Web developer |
| Time period: | December 1995 - June 1997 |
| Description: | Job responsibilities included writing business proposals for potential customers and developing online commerce solutions
in Perl/CGI to meet customer needs. |
EDUCATION
| University: | University of Oxford |
| Time period: | 2004 - 2005 |
| Degree: | Computer Science, MSc |
| University: | California State University System |
| Time period: | 2003 |
| Degree: | Computer Science, Pure Mathematics, BSc |
PUBLICATIONS
| Articles: | • Efficient Predicate Abstraction Using Parallel Evaluation for Software Verification Systems, M.Sc. Thesis, Oxford
University • The Release Engineering of FreeBSD 4.4, BSDCon Europe, 2001 • Slackware Linux Essentials, 2nd Edition, Editor, ISBN: 1-57176-338-4 • The FreeBSD Handbook, 3rd Edition (Volume 2), Editor and contributing author, ISBN: 1-57176-328-7 • The FreeBSD Handbook, 3rd Edition (Volume 1), Co-editor and contributing author, ISBN: 1-57176-327-9 • The FreeBSD Handbook, 2nd Edition, Co-editor and contributing author, ISBN: 1-57176-303-1 • The FreeBSD Handbook, 1st Edition, Contributing Author, ISBN: 1-57176-241-8 |
INFORMATION
| Memberships: | Internet Software Consortium DHCP Committer, Apple Darwin Project Committer.
American Mathematical Society (AMS), Institute of Electrical and Electronics Engineers (IEEE), Society for Industrial and Applied Mathematics (SIAM), Association of Computing Machinery (ACM), USENIX Advanced Computing Systems Association. |
Murray is Following (4)
View all-
Slide
New online media startup headed up by the founder of PayPal, Max Levchin. Backed by Mayfield Fund, Blue Run Ventures, Khosla Ventures and the Founders Fund.
-
-
-
Murray's Contacts (5)
View all-
Paul Joseph
You can read all my stuff and what I do at www.6may86.com
-
David Langer
Internet entrepreneur. Co-Founder & CEO, GroupSpaces Ltd. Blogger, davidlanger.co.uk