Retired
This user is no longer active on Wikipedia.
My employer has expressed a preference that publications and similar contributions be anonymous unless they receive official approval for public release. Since this is a bit impractical for Wikipedia edits, my future contributions will be under a username that is not my real name.