Bruce C. Miller
Hello. My name is Bruce C. Miller. I currently reside in Fairfax, VA. I spent a good portion of my career as a defense contractor, most recently at DARPA and later at the Pentagon.

My main interests are: computer science (dynamic and statically typed functional programming languages, type theory, formal methods) and mathematics (lambda calculus, category theory, abstract algebra, formal logic).

My dislikes include: spectator sports, collectivism (political, religious, cultural, or otherwise), chronically poor grammar/spelling, pragmatism (including the #pragma compiler directive), bright colors, pop monoculture, excessive consumerism, background music in restaurants, animated gifs, theme parks, engine noise, literary deconstructionism, non-deterministic epistemology, affirmative action, spaces or capital letters in filenames, closed source software, superfluous keyboard buttons, monolithic kernel architecture, compositing window managers, non-quantitative "soft" sciences, social networking, trade unions, animal products, ambient temperatures above 78°F, widget toolkits (especially GTK+ and Qt), widescreen monitors, Flash and other embedded media, other humans' stereos, procreation, XML, logographic graphemes, gender studies, otherkin/therians, SJWs, bloatware, previously-inhaled atmosphere, income tax, grammatical gender of inanimate nouns, n00bs, statism, recreational vehicles, passively-consumed media, parasitic microorganisms, Veblen goods, social services, organic produce, smart phones, tablets, casual gaming, insurance, elevators, webcams, fan noise, dancing, mucus, public restrooms, handicapped parking, codes of conduct, carpeting, gynoids, hotel mattresses, retarded "people", pets, heavy breathing, the fashion industry, fluorescent lighting, scented hygiene products, lawn care, decorations, emoticons, obesity, body odor, and poor posture among many, many other things.

Though I'm not looking for a job, potential employers, bored websurfers, and recruiter bots may feel free to gaze upon my résumé, available as DVI or PostScript (last updated August 30, 2015).