Mark Carroll

Professional

Introduction

Hereunder I provide a curriculum vitae, largely for my own reference. Being extremely detailed (though still with many omissions) it is of interest only to the unusually motivated. Anybody actually curious about my professional life would probably do better to consult my somewhat more concise PDF résumé, which I try to keep relatively up to date as a two-page summary. Perhaps it is atypically presented, but I shall worry about that when I anticipate having a good reason to properly dust it off. I have no interest in hearing from employment agencies.

Mark T. B. Carroll, B. A. (Hons), M. A. (Cantab), MBCS, CITP

For many years I have been a software developer. I analyze technical problems, I devise, implement, test and maintain solutions, and I provide technical and user documentation. I have often had to solve difficult research problems, where I had to learn through independent study, then create an original approach. I can manage my own tasks, and I can work with colleagues, partners and customers.

I have a general interest in complex engineered systems: creating, studying and maintaining such systems, and supporting their users. An expression of this has been system administration, which has often been part of my job. I have been using Unix since 1993 and running Linux since 1995.

I am a U. S. citizen. I can remain productive while telecommuting.

Employment and Selected Activities

Co-Founder, Aetion Technologies, 2000 to present

Devised data consistency approach to estimating source credibility, created test data, implemented multiple solutions in Haskell, analyzed their effectiveness, studied avenues for further work, wrote up results.

Arranged project on fast molecular docking for drug design. Found and worked with collaborator, wrote proposal for initial work and followup proposal for larger study, won funding, led project.

Devised effective approaches to battlefield data analysis for inferring enemy intent.

Used Haskell to develop multi-modality sensor fusion system. Conceived and wrote proposal, won funding, led project, wrote up results.

Designed, implemented and documented two generic abductive inference machines in Haskell. Provided interfaces in C and interactive ASCII.

Investigated tradeoffs in radar antenna manufacturability. Conceived and wrote proposal, found and worked with collaborator, won funding, led project, wrote up results.

Used Haskell and evolutionary algorithms to optimize parts kits for aircraft deployments. Conceived and wrote proposal, won funding, managed major focus change from customer mid-project, led project, wrote up results.

Used C, Haskell and evolutionary algorithms to investigate network disruption attacks. Conceived and wrote proposal, won funding, led project, wrote up results.

Designed, implemented and documented an interactive graphical visualization environment for exploring multi-dimensional data sets in Java using AWT and Swing. Used it to create various demos, e.g., using data from NIH for a drug screening demo.

Used HTML and CSS for webpage creation. Used XML for data interchange.

Wrote proposals and technical reports using LaTeX, LyX and Basser Lout. Generated myriad diagrams, stationery, other documents in PostScript.

Set up and maintained Debian GNU/Linux-based computer systems, including servers running Apache, Exim, BIND, NFS, NIS, etc., and routers and firewalls based on ipfwadm, ipchains, iptables. Used diagnostic tools such as wireshark. Wrote small system utilities in bash, Perl 5 and Haskell.

Wrote legal documents, e.g., partnership agreement, employment agreement, consulting agreement. Reviewed legal documents, e.g., licenses, non-disclosure agreements. Assisted with writing business plan.

Senior Technical Officer, European Bioinformatics Institute, 1998 to 1999

Used Open Knowledge Base Connectivity and Common Lisp to represent and query genomic data in knowledge bases.

Used Perl 5 for taxonomy inference from co-occurrence of terms in database records.

Maintained IRIX workstation.

Visiting Scholar, Laboratory for Artificial Intelligence Research, The Ohio State University, 1996 to 1998

Used Modula-3 and C to implement a robust, distributed computation system to support engineering design optimization.

Maintained HP-UX workstations.

Research Assistant, Department of Engineering, University of Cambridge, 1995

Used C++ and OpenGL for graphical user interface work on a process-based engineering design support system.

Other

Worked with SQL in learning about relational database design.

Designed, and used Modula-3 to implement, a featureful language for composing functional models, incorporating a rich type system and automated solving of conditional equations.

Designed, and used C++ to implement, file archiving for Unix: file system traversal, compression, strong encryption, error correction.

Designed, and used 6502 assembler to implement, adaptive Morse code encoding/decoding.

Designed, and used 6502 assembler to implement, a display driver fully integrated with the operating system's interactive functions.

Designed, and used QuickBASIC to implement, double-entry book-keeping system for business.

Designed, and used BBC BASIC to implement, an electronic mail system that incorporated access control and asymmetric-key cryptography.

Patents

US Patent 7,437,343, Multi-criterial decision making system and method, John R. Josephson, Balakrishnan Chandrasekaran, Mark Carroll, Naresh Sundaram Iyer, filed 2006

US Patent 7,155,423, Multi-criterial decision making system and method, John R. Josephson, Balakrishnan Chandrasekaran, Mark Carroll, Naresh Sundaram Iyer, filed 2000

US Patent 6,771,293, System for multi-criterial decision making, John R. Josephson, Balakrishnan Chandrasekaran, Mark Carroll, filed 1999

Papers

(add forthcoming SDMGA paper with Tim)

Tradeoffs on the Efficient Frontier of Network Disruption Attacks, M. T. B. Carroll, J. R. Josephson, J. L. Russell, IEEE Symposium on Computational Intelligence in Multi-Criteria Decision-Making, 2007

Collaborative Visualization Tools for Courses of Action (COA) in Anti-Terrorist Operations: Combining Coevolution and Pareto Optimization, D. Hillis, M. Barnes, L. Suantak, J. Schlabach, B. Chandrasekaran, J. Josephson, M. Carroll, US Army Research Laboratories Collaborative Technology Alliances Symposium, 2003

Toward a Generic Architecture for Multisource Information Fusion, John R. Josephson, B. Chandrasekaran, Mark T. B. Carroll, US Army Research Laboratories Collaborative Technology Alliances Conference on Advanced Decision Architectures, 2003

Evaluation of annotation strategies using an entire genome sequence, Ioannis Iliopoulos, Sophia Tsoka, Miguel A. Andrade, Anton J. Enright, Mark Carroll, Patrick Poullet, Vassilis J. Promponas, Theodore Liakopoulos, Giorgos Palaios, Claude Pasquier, Stavros J. Hamodrakas, Javier Tamames, Asutosh T. Yagnik, Anna Tramontano, Damien Devos, Christian Blaschke, Alfonso Valencia, David Brett, David Martin, Christophe Leroy, Isidore Rigoutsos, Chris Sander, Christos A. Ouzounis, Bioinformatics 19(6), 2003

Automatic Extraction of Protein Interactions from Scientific Abstracts, J. Thomas, D. Milward, C. Ouzounis, S. Pulman, M. Carroll, Pacific Symposium on Biocomputing, 2000.

An Architecture for Exploring Large Design Spaces, John R. Josephson, B. Chandrasekaran, Mark Carroll, Naresh Iyer, Bryon Wasacz, Giorgio Rizzoni, Qingyuan Li, David A. Erb, Fifteenth National Conference on Artificial Intelligence, ISBN 0-262-51098-7, 1998

Education and Qualifications

Professional

Chartered Information Technology Professional, since 2008.

Professional Membership of the British Computer Society, since 2007.

1996 Graduate Record Examination

Scores in the general test, each out of 800:

Verbal ability:610 (top 15%)
Quantitative ability:800 (top 2%)
Analytical ability:800 (top 1%)

Formal education

1996: B. A. (Hons) 2.ii, Computer Science, King's College, University of Cambridge

1993: A-Levels: Pure Mathematics (A), Applied Mathematics (A), Physics (A), Chemistry (B)

1991: GCSE A grades: English, Mathematics, Physics, Chemistry, Astronomy, Computer Studies and Media Studies

Other Pages

Notable webpage links; My personal life

Notes

I take responsibility for whatever's on the webpages I've authored, which should be viewable with any browser. I do not purport to represent the opinions of anyone other than myself.


© Copyright 1994 to 2008 by Mark T. B. Carroll, mark@ixod.org. All rights reserved.