Barry S. Fagin
Professor, Department of Computer
2354 Fairchild Drive, Suite 6G-137
United States Air Force Academy,
My media bio is here.
My columns are here.
Yes, this web site is old-school. I like it that way. I built it
out of hand-coded HTML twenty years ago, and it has a certain sentimental value
to me. Back in the prehistoric 90's, we didn't have any of this WYSIWYG
nonsense, or style sheets, or concepts like readability and good user interface
design. If you wanted mouse flyover effects, you had to earn them
you had to get a good wrist workout and expend some honest mouse scrolling labor to get it. I tell
you, back in my day ... oh, never mind. Just dig around here, and drop me
a line if you can't find what you're looking for.
- 1999-present: Professor of
Computer Science, Department of
Computer Science, US Air Force
Academy, Colorado Springs CO.
- 1996-1999: Associate
Professor of Computer Science, Department of Computer Science, US Air
Force Academy, Colorado Springs CO.
- 1994-1996: Assistant
Professor of Computer Science, Department of Computer Science, US Air Force
Academy, Colorado Springs CO.
- 1987-1994: Assistant
Professor of Engineering Sciences, Thayer School of Engineering, Dartmouth College,
Awards, Appointments, and Professional Service
- 2017 Certified
Global Industrial Cyber Security Professional
- 2015 Award for Innovative
Excellence in Teaching, Learning and Technology, 26th International
Conference on College Teaching and Learning
- 2015 National Finalist,
Ernest L. Boyer International Award for Excellence in Teaching,
Learning, and Technology
- 2013 Best Presentation,
International Conference on Reliable Software Technologies, Berlin
- 2012 Colorado
Professor of the Year,
Council for the Advancement and Support of Educaiton, Washington DC
- 2011 IEEE Senior Member
- 2009 Thomas Jefferson Award,
St Petersburg State University, Russia
Who's Who in America,
Who’s Who in Science and Engineering
Technical State University,
- Senior Fellow,
- Adjunct Scholar,
Competitive Enterprise Institute,
- 1996 ACLU National Civil
- Former Information Director,
ACM Special Interest Group on
Computers and Society
- Co-inventor of the
Crandall/Fagin algorithm, used to discover the
(links may be unavailable depending on USAFA firewall)
in Progress | Journal Articles | Conference Proceedings | General
Interest (newspaper columns, magazine articles)
Word Hypercubes are Fun, NP-Hard, and In General Undecidable, in
Topics in Recreational Mathematics, Vol 6 2016, Charles Ashbacher ed, ISBN
Valuing Science With Differing Values,
Skeptical Inquirer, May/June 2013 (invited essay)
Debugging on the Shoulders of Giants: Von Neumann's Programs 65 Years
later, COMPUTER, Nov 2012, pp 59-68.
- Finding Conservation Functions for Cellular Automata Through a Complete Theory
of the Trivials,
Journal of Cellular Automata, Vol 7 No 2 2012, pp 115-150.
- The one true religion in the military, in
Department of Defense Social
Policy Perspectives 2010, J. Parco and D. Levy editors, Air University
Press, Montgomery AL, forthcoming.
- A Single-Sheet Icosahedral Folding with Improved Efficiency Using a
Business Card, Journal of Recreational Mathematics, Vol 35 No 2, pp
for 1-D Automata, Efficient Algorithms, New Results, and a Partial Taxonomy,
Journal of Cellular Automata, Vol 3 No 4 2008, pp 271-288.
A Question of Faith,
Armed Forces Journal, January 2008.
Cryptography, Knowledge, Technology and Policy, Vol 20 No 4, Dec
Critical Thinking and Computer Science:
Implicit and Explicit Connections, Journal of Computing Sciences in
Colleges, 21:4, Apr 2006, pp 171-177 (see CCSC conference presentation
3.0: A Computational Environment for Introductory Robotics and
Programming, special issue of IEEE Robotics and Automation on
Robotics and Education, Vol 10 No 2, June 2003.
Web Resource for Computer Science Education,
ACM Journal of Educational Resources
in Computing, Volume 2 No 2, March 2002.
Liberty and Community Online, reprinted in
Cyberethics, by Baird, Ramsower, and Rosenbaum, Prometheus Books,
April 2000 (see original publication below)
Standardization/Innovation Tradeoffs in
Computing: Implications for High-Tech Antitrust Policy, Knowledge,
Technology, and Society, Fall 1999
and the Values of a Liberal Education, Academic Questions,
Resolution in Branch Target Buffers, IEEE Transactions on
Computers , October 1997
Performance of Counter and Correlation-Based Schemes for Branch Target
Buffers, IEEE Transactions on Computers, December 1995
Programmable Gate Arrays and Floating Point Arithmetic, IEEE
Transactions on VLSI Systems, September 1994, pp 365-367, expanded
Weighted Transforms and Large Integer Arithmetic, Mathematics of
Computation, January 1994 (2nd author, with Richard Crandall)
[This paper gives me
Erdös number of 3:
Measurements of FPGA Utility in Special and General Purpose Processors,
of VLSI Signal Processing Special Issue on Field Programmable Gate
Arrays, August 1993.
Special-Purpose Processor For Gene Sequence Analysis, Computer
Applications in the Biosciences, April 1993.
Microcontroller-Based System For Intelligent Telephony, IEEE Transactions
on Consumer Electronics, November, 1992.
Fast Addition of Large
Integers, IEEE Transactions on Computers, September, 1992.
Negacyclic Convolution Using Polynomial
Transforms on Hypercubes, IEEE Transactions on Signal Processing,
the FHT in Hardware, IEEE Transactions on Signal Processing, June,
1992 (2nd author, with Adam Erickson).
Integer Multiplication on Hypercubes, Journal of Parallel and
Distributed Computing, April, 1992.
The Performance of Parallel
Prolog Programs, IEEE Transactions on Computers, December 1990.
Making DNS Servers Resistant to Cyber
Attacks: An Empirical Study on Formal Methods and Performance,
COMPSAC 2017, Turin, Italy pp 566-571
- Provably Secure
DNS: A Case Study in Reliable Software, 2013 International Conference
on Reliable Software Technologies, Berlin, Germany pp 81-93 (Best
IRONSIDES: DNS With No
Single-Packet Denial of Service or Remote Code Execution Vulnerabilities,
GLOBECOMM 2012, Anaheim CA (2nd author, with Martin Carlisle).
Defining, Integrating, and Assessing a
Purposeful Progression of Cross-Curricular Initiatives into a Computer
Science Program, Proceedings
of the 41st ASEE/IEEE Frontiers in Education Conference, October 2011, Rapid
City, South Dakota (4th author, with Steve Hadfield).
- Faster Methods for
Identifying Nontrivial Energy Conservation Functions for Cellular Automata,
Proceedings of AUTOMATA 2010: The 16th International Conference on
Cellular Automata and Discrete Complex Systems, June 2010, Nancy, France, pp
1-20 (2nd author, with Leemon Baird)
Information Security With Skepticism and Critical Thinking, Proceedings of
the 11th Colloquium on Information Systems Security Education, Jun 2007.
New Conservation Functions and a Partial
Taxonomy for 1-D Cellular Automata, Proceedings of the First IEEE Symposium
on Artificial Life, Apr 2007.
Critical Thinking and Computer Science: Implicit and Explicit Connections,
Proceedings of the 17th Annual Consortium for Computing Sciences in Colleges
South Central Conference, Apr 2006.
Resolution in Branch Target Buffers, Proceedings of the 28th
International Microarchitecture Symposium,
MI, December 1995,
Reconfigurable Processor for Fractal Image Compression, Proceedings of
the 1994 International Conference on Field Programmable Logic, September
A Case Study in Quantitative Analysis of Processor Design Tradeoffs Using
FPGAs, Proceedings of the 1993 International Workshop on Field
Programmable Logic and Applications, Oxford, England, September 1993.
Application of Public Choice Theory to Science and Engineering Policy,
of the 1993 Conference of the American Society For Engineering Education,
Digital World: Teaching Technological Literacy to a Multidisciplinary
Audience, Proceedings of the 1993 National Educational Computing Conference,
June 1993, pp 116-121.
and Rapid Prototyping Technology Use in a Special-Purpose Processor for
Molecular Genetics, Proceedings of the 1992 International
Conference on Computer Design, October 1992.
the DLX Microprocessor, Proceedings of the 3rd International IEEE
Workshop on Microsystem Prototyping, June 1992.
Antifuse-Based FPGAs in Performance-Critical Digital Designs, Proceedings
of the 4th Microelectronics Systems Education Conference, July 1991.
Reprogrammable Gate Arrays in Performance-Critical Digital Designs,
of the 3rd Microelectronics Systems Education Conference, July 1990.
- Extension and Enhancement of
a Small Microsystem Program: The Dartmouth/IBM Interaction, Proceedings
of the 3rd Microelectronics Systems Education Conference, July 1990
(2nd author, with Charles Hitchcock, Albert Henning, and Edmond Cooley)
Integer Multiplication on Massively Parallel Processors, Proceedings
of the 3rd Symposium on the Frontiers of Massively Parallel Computation,
Prototyping Without MOSIS: A Minority View, Proceedings of the 2nd
Annual VLSI Education Conference, July 1989.
, Y. Patt
, V. Srini
, P. Bitar
, W. Bush
, C. Chien
, W. Citrin
, B. Fagin
, W. Hwu
, S. Melvin
, R. McGeer
, A. Singhal
, M. Shebanow
, P. Van Roy
, ACM SIGARCH Computer Architecture News, 1987
- Goal Caching in Prolog, Proceedings
of the 19th Hawaii International Conference on Systems Sciences, January
(My newspaper columns can now be found
The One True Religion in the Military,
The Humanist (cover story), Vol 67 No 5, September/October 2007
Faith and Tolerance at the Air Force Academy, Chronicle of Higher
Education, July 29th 2005.
Used to Oppose Genetic Engineering, letter to the editor in Atlantic
Monthly, July/August 2004.
Freedom and Social Responsibility, World and I Magazine, March
Higher Education in Russia and America,
interview in Обучение и Kареры
(Education and Careers) magazine, January 2002 (in Russian).
and Roll Will Never Da, Independence
Feature Syndicate, December
the Greatness of America, Independence Feature Syndicate,
picked up by the Colorado Springs Gazette and the Daily Oklahoman, October 17th, 2001
Letter from Russia:
How Our Former Enemies View the Attacks, Reason magazine
online, September 24th, 2001
“The Case For Faith” by Lee Strobel,
book review for Skeptical Inquirer special issue “Science and Religion
2001”, Vol 25 No 5, Sept/Oct 2001.
and Popular Culture, Colorado Springs
Gazette, July 3rd, 2001
Speech Is For Everyone, Denver
Post, April 22nd, 2001
- School Officials
Missed Opportunities To Teach, Colorado Springs Gazette, February 28th, 2001 (link takes
you to a web site that includes the column, provides context).
School Choice Would Erase Evolution Debate,
Gazette, January 18th, 2001
- Talk Show,
Brown Alumni Monthly, January/February 2001.
Lieberman Knows What's Best For Us,
Springs Gazette, August 30th, 2000
- Goin' Down to South
Park: How Kids Can Learn From Vile Trash, Reason Magazine,
and the FCC: a Faustian Bargain , Colorado
Springs Gazette, March 23rd, 2000
- Who Testifies and Why:
a Study of Witness Testimony in the Colorado Legislature, Independence
Institute Issue Paper, February 2000.
Belief in the Pseudoscience of Astrology Holds
Us Back , Colorado Springs
Gazette, January 18th, 2000
on Sanity to Prevail , Denver
Post, December 31st, 1999
- The Skier and the
Boarder , published in First Tracks Online Ski Magazine, December
Bible Codes are Complete Nonsense , Independence
Feature Syndicate, picked up by the Colorado Springs Gazette and the Denver Post, November 21st, 1999
- U.S. West Buyout: Let the
Net Work , Rocky Mountain News, July 4th, 1999,
Preschools Merit Tax Exemption Given Other Nonprofits , Colorado
Springs Gazette, May 13th, 1999
The Case Against the Case Against
Microsoft , Competitive Enterprise Institute,
- INTELligent Lessons from an
Antitrust Blunder , Competitive Enterprise Institute,
DC, April 6th, 1999
- House Bill 99-1126: The
Creation of a Colorado Cultural Trust Fund , background paper prepared
for the Colorado Legislature
- Internet Access at Public
Libraries: Doing It Right , Independence Feature Syndicate,
picked up by the Colorado Springs Gazette, the Rocky Mountain News, and
The Sad State of Political
Journalism, Colorado Springs
and School Choice, Intermountain Jewish News (full version)
Public Interest or Prurient Interest:
Congress Can't Make Up Its Mind , op-ed from the Denver Post
and other national dailies, October
- Standardization, Innovation, and
Microsoft, Computers and Society, Vol 28 No 3, Sep 98 , April 13th, 1998
- Malice in Wonderland: State
Governments Discover the Internet, Independence
Feature Syndicate , April
- Why DOJ's Case Against
Microsoft Is Flawed, Competitive Enterprise
Institute , February 27th,
- Hello Dali: Art is Better
Off Without State Government, Independence Feature Syndicate ,
January 21st, 1998
Filtering, and Libraries, invited presentation from the New York
Library Association Annual Conference, Nov 1997, (IBM PC Power Point
The Supreme Court Gets It Right, op-ed
from the Miami Herald and other national dailies, July 3rd, 1997
Skepticism and Politics,
article from the Skeptical Enquirer, May/June 1997
Threat, letter to the editor in Atlantic Monthly, May 1997
on the Net Won't Impede Good Parenting, op-ed from the Christian
Science Monitor, March 28th,
Act Is Intolerable Obstacle To Communication, op-ed from the Minneapolis
Star-Tribune and other national dailies, March 24th, 1996 (Microsoft RTF file)
Address: 2135 Wickes Road, Colorado Springs CO 80919
Father of Max (27) and Erica (25).