Personal home page
M.S. (Computer Science) Rutgers University, 1994
B.A. (Mathematics) Drew University, 1976, cum laude, honors in Mathematics, Ciba-Geigy award in Mathematics
2004-05, Co-founder and Chief Scientist, Nanorex Inc.
1985-97, Computer Systems Architect, Laboratory for Computer Science Research, Rutgers University
1980-84, Systems Programmer, Laboratory for Computer Science Research, Rutgers University
1977-80, Research Assistant, Department of Computer Science, Rutgers University
1973-76, Systems Programmer, Drew University Computer Center.
"On Machine Ethics" December 30, 2006, The American Philosophical Association Eastern Division 103rd Annual Meeting, Washington, DC
"Ethics for Machines" December 10, 2006, Terasem 2nd Annual Colloquium, Melbourne Beach, FL
"A Door into Summer" October 7, 2006, 6th Alcor Conference, Scottsdale, AZ
"Toward Instant Manufacturing" (keynote) August 23, 2006, Society of Manufacturing Engineers Conference on The Next Industrial Revolution: Nanotechnology & Manufacturing, Oak Ridge, TN
"Utility Fog: The Stuff that Dreams Are Made Of" June 3, 2006, Subtle Technologies, Toronto, Canada
"Self-Replicating Machines: Prometheus Unchained or Playing with Fire?" February 3, 2005, Lab Automation 2005, San Jose, CA
"Nanotechnology" (debate) August 26, 2005, Surface Science Summer School, University of Nottingham, UK
"Design and Analysis Techniques for Complex Nanosystems" October 2004, The 1st Advanced Nanotechnology Conference, Washington, DC
"Nanotechnology: As Hardware Becomes Software" June 14, 2003, Usenix 2003, San Antonio, TX
"Molecular Manufacturing for Advanced Transportation" November 2000, Exxon Mobil Research Club, Annandale, NJ
"Nanotechnology: 2001 - 3000" April 2000, Foundation for the Future, Bellvue, WA
"Discrete Laminar Flow in Robotic Fluids," December 1997, NASA Ames
"Molecular Nanotechnology: Possibilities and Prospects," June 1996, Frontier Research Seminars
"Reversible Logic," given in 1995 at Bell Labs and MIT to T. Knight's reversible computing group
"Nanocomputers and Reversible Logic", Third Foresight Conference on Nanotechnology, Palo Alto. November 1993
1989-95 Research Grant, Rutgers CAM Project, DARPA (at Rutgers, with Levy)
1986-89 Research Grant, Optical Computing Architectures, AFOSR (at Rutgers, with Levy)
1982-86 Research Grant, APL Compiler for Array Processor, ITT Advanced Technology Center (at Rutgers, with Rabinowitz)
1976 Ciba-Geigy Award in Mathematics
1972-76 Rose Memorial Scholarship
Hall, J. S. (2007) Beyond AI: Creating the Conscience of the Machine (Amherst, NY: Prometheus) (in press)
Hall, J. S. (2006) "Ethics for Artificial Intellects", (chapter in Nanoethics book in press, title TBA)
Hall, J. S. (2006) "Nano-enabled AI: Some Philosophical Issues", International Journal of Applied Philosophy special issue on Nanoethics
Hall, J. S. (2006) "Self-improving AI: An Analysis", AI@50: The Dartmouth Artificial Intelligence Conference: The Next Fifty Years, July 13-15, 2006, Hanover, NH
Hall, J. S. (2006) "Is AI Near a Takeoff Point?" Nanotechnology Perceptions V 2 (1a) March 2006, pp 57-61.
Hall, J. S. and K. Eric Drexler (2005) "Design and Analysis of a Molecular Sorting Rotor" Ninth Foresight Conference on Nanotechnology, October 22-27, 2005
Hall, J. S. (2005) "A Space Pier", International Space Development Conference, Arlington, VA, May 19-22
Hall, J. S. (2005) Nanofuture: What's Next for Nanotechnology (Amherst, NY: Prometheus)
(2002) US Patent number 6,367,052: Method of producing optimized designs using computer systems and designs produced therefrom (with Steinberg and Davison)
Hall, J. S. (2000): "Nanotechnologies", subject article, Macmillan Encyclopedia of Energy, Macmillan, New York
Hall, J. S. (1999): "Architectural considerations for self-replicating manufacturing systems", Nanotechnology V 10 no. 3 pp. 323-330
Hall, J. Storrs (1999): "Towards a Hardware Description Language for Molecular Machinery", Seventh Foresight Conference on Nanotechnology, Santa Clara, CA
Hall, J Storrs, Louis Steinberg and Brian D Davison (1998) "Combining agoric and genetic methods in stochastic design" Nanotechnology 9 No 3 (September 1998) 274-284
Steinberg, L., Hall, J., and Davison, B. (1998): "Highest Utility First Search Across Multiple Levels of Stochastic Design", pp. 477-484. Proceedings of the Fifteenth National Conference on AI, Madison, 1998.
Hall, J. Storrs (1997): "Combining Agoric and Genetic Methods in Stochastic Design", Fifth Foresight Conference on Nanotechnology, Palo Alto, CA
Hall, J. Storrs, Louis Steinberg, and Brian D. Davison (1997): "Rational Control of Stochastic Design", IASTED/ISMM International Conference on Modeling and Simulation, pp. 97-84. Pittsburgh, PA; IASTED/ACTA Press, Anaheim CA.
Hall, J. Storrs, and D. Smith (1996): "Database Mining and Matching in the Rutgers CAM", in Associative Processing and Processors, Argy Kirkelis and Charles Weems, eds., IEEE CS Press.
Hall, J. S. (1996): "Utility Fog: the Stuff that Dreams are Made Of", in B. C. Crandall, ed., Nanotechnology: Molecular Speculations on Global Abundance, (MIT Press) pp.161-184.
Hall, J. S. (1994): "Nanocomputers and Reversible Logic", Nanotechnology, V. 5 no. 3 pp. 157ff
Hall, J. S. (1994): "Fornax: A General-Purpose Programming Language", USENIX Symposium on Very High Level Languages
Hall, J. S. (1994): "A Reversible Instruction Set Architecture and Algorithms", Proc. Physics of Computation Workshop, IEEE Press.
Hall, J. S., and D. Smith (1993): "Database Mining and Matching in the Rutgers CAM", Proc. Associative Processing and Applications Workshop, Syracuse University.
Hall, J. S. (1993):: "Utility Fog: A Universal Physical Substance", Vision-21, Westlake, OH; NASA Conference Publication 10129, pp. 115-126
Hall, J. S. (1993): "An Electroid Switching Model for Reversible Computer Architectures", Proc. 1992 Physics of Computation Workshop, IEEE Press.
Hall, J. S., and D. Smith (1992): "Collective Functions in the Rutgers CAM", Proc. Associative Processing and Applications Workshop, Syracuse University.
Hall, J.S. and S. Y. Levy (1989): "Von Neumanizing the Multi-Search Content Addressable Memory", Proc. Fifth Annual CSCI Symposium on Massively Parallel Processing, pp. 27-42, University of South Carolina
Murdocca, M. J., Hall, J. S., Levy, S. Y, and Smith, D (1989): "Proposal for an Optical Content Addressable Memory", Proc. Optical Society of America Topical Meeting on Optical Computing, Technical Digest Series
Hall, J. S. (1988): "Managing Large, Distributed, Dynamic, Fractious Text Sources", Proc. AAAI-88 Workshop on AI and Hypertext, pp. 74-75.
Hall, J. S., Levy, S. Y, and Murdocca, M. J. (1987): "Design Techniques for an Optical Connection Machine", Proc. AIAA Computers in Aerospace IV, pp. 195-200, Wakefield Mass.
Hall, J. S. (1981): "A General-Purpose CAM-based System", in VLSI Systems and Computations, H. T. Kung, Bob Sproull, and Guy Steele, eds., Computer Science Press, Rockville MD
Hall, J. S. (1976): "Proof and Knowledge", Bachelor's Thesis, Drew University
In the physics of computation: I was co-inventor of adiabatic logic, independently but concurrently with Merkle and Athas. I published one of the earliest descriptions of a reversible/dissipation-limited instruction set architecture.
Algorithms: I published the first parallel version of Dijkstra's shortest path algorithm for content addressable memory (CAM). This was followed by a large number of other novel CAM algorithms for various applications, including AI, database, vision, graphics, and compilers.
Computer architecture: I contributed to the design of the ITT CAP, designed an unnamed architecture for optical computers to be constructed from arrays of Fabry-Perot etalons, and was the prime architect of the Rutgers Short Stack and CAM2000 associative processors. My analysis of speedup and latency in collective functions for associative processing (PhD dissertation) may have contributed to the collapse of the field in the mid-1990's.
Programming languages: I designed the CAML language (the associative one, not the functional one) and the Linear C language for associative processing. Linear C was the first (and to my knowledge, still the only) language which permitted parallelization of a legacy sequential code on a completely incremental, statement-by-statement basis. I designed the VHL language Fornax, and the HDL language Caslor, an early attempt at a language that integrated hardware and controller software design.
AI and design automation: I invented a method for utility-based optimization of multi-level search-based stochastic design. I designed and implemented a program which designed pipelined microprocessors given a description of the desired instruction set.
Agoric systems: I independently invented the agoric control concept in the mid-1980's. Although unpublished at the time, I led a seminar and a student implementation effort in an attempt to develop it. I designed the programming language Emptors, an agoric variant of Actors. I designed, implemented, and published about Charles Smith, a system which used a combination of agoric and genetic techniques in automatic design.
Nanotechnology and futurism: I am best known in the popular science world for my inventions involving nanotechology. Foremost among these is Utility Fog, one of the earliest but also the most thoroughgoing of the robot swarm/intelligent material concepts. (It was developed enough to be the subject of an invited technical talk at NASA Ames.) More recently I have received attention for the "Hall Tower", an advanced low-cost orbital-launch concept.
Machine Ethics: My paper "Ethics for Machines", published on the WWW in 2000, is one of the seminal works in the cross-disciplinary field of machine ethics. This is the subject of my latest book, Beyond AI.
IMM Home Page