Joseph A. Sgro
Sgro at Alacron in 2013
|Alma mater||University of California, Los Angeles|
University of Wisconsin
Leonard M. Miller School of Medicine
Princeton Institute for Advanced Study
VCU Medical Center
|Doctoral advisor||H. J. Keisler|
Joseph A. Sgro (born September 20, 1949, in San Diego, California) is an American mathematician, neurologist / neurophysiologist, and an engineering technologist / entrepreneur in the field of frame grabbers, high-speed cameras, smart cameras, image processors, and related computer vision and machine vision technologies.
Sgro began his career as an academic researcher in advanced mathematics and logic. He received an AB in Mathematics in 1970 from UCLA followed by an MA in mathematics in 1973 and a PhD in mathematics in 1975 from the University of Wisconsin, where he studied mathematical logic under H. Jerome Keisler who along with Jon Barwise and Kenneth Kunen formed his doctoral committee.
After serving as an instructor and post doctoral fellow at Yale and also holding a membership at the Institute for Advanced Studies at Princeton, New Jersey, Sgro returned to school to study neurology, and received his M.D. in 1980 from the Ph.D to M.D. Program of the Leonard M. Miller School of Medicine at the University of Miami, followed by an internal medicine internship at UNC Memorial Hospital, residency in neurology, a fellowship, and faculty position in clinical neurophysiology at the Neurological Institute of New York.
As an outgrowth of his work in neurophysiology, while still working as a post-doctoral fellow and an assistant professor of neurology, Sgro founded Alacron, Inc. (formerly Corteks, Inc.until 1990) in 1985 to manufacture technologies relevant to his neurological research. In 1989 he commercialized this technology and began developing array processors, frame grabbers, vision processors, and most recently supported advances in BSI sensor technology. Extending his work in machine vision technology, in 2002, Sgro founded FastVision, LLC, a maker of smart cameras, as a subsidiary of Alacron, Inc .
During his first year as a PhD candidate at the University of Wisconsin, Sgro proved that a topological extension of first-order logic using the open set logic quantifier has logical completeness, which had previously been widely believed but had not been proven. Sgro's proof drew attention throughout mathematical world, and, in 1974, a year before finishing his PhD, he was awarded an appointment as a Josiah Willard Gibbs Instructor in Mathematics at Yale University, received an NSF research grant to continue his work in topological model theory. Yale allowed him to accept this honor while remotely completing his thesis and dissertation at Wisconsin, which he did in 1975. His conclusions regarding the topological model theory formed the basis of his PhD thesis and dissertation. During the 1976-1977 academic year Sgro received a Centennial Fellowship from the AMS. His work also resulted in an invitation to speak at the Logica Colloquim ’77 European Meeting of the Association for Symbolic Logic. This event was held in Wrocław, Poland, which was then still part of the Eastern Bloc, making Sgro among the first mathematicians from the West to speak at an event “behind the Iron Curtain.” Sgro also spent 1977-1978 at the Institute for Advanced Study at Princeton University.
Published in 1977, Sgro's thesis “Completeness Theorems for Topological Models” and extensions of this research including the axiomatization and completeness of continuous functions on product topology open set quantifiers was published in 1976 in the Israel Journal of Mathematics. Following these results, Sgro published a proof that an extension of the open set quantifier logic using interior operator quantifier logic has completeness and satisfies Craig interpolation. He further showed that the Souslin-Kleene closure of the open set quantifier logic fails Craig Interpolation which implies that it is strictly weaker than the interior operator logic. His later research concentrated on proving the existence of maximal extensions of first order logic which satisfy Łoś's theorem on ultraproducts and have the Souslin-Kleene property. Also this was extended to ultraproduct extensions of first order logic which satisfied both the Łoś's theorem and an extended form of the compactness theorem.
While researching mathematical logic, Sgro became interested in investigating the logic systems that the brain uses to process motor and sensory information, and returned to school, intending to study clinical neurophysiology, the branch of neurology and physiology that examines the functioning of the peripheral and central nervous system. Neurophysiological research typically uses imaging tools for visualizing chemical and electrical activity in nerve pathways, and today includes fMRI, electroencephalography (EEG), evoked potentials (EPs), TMS and other technologies to visualize and evaluate brain activity.
After Sgro completed his internship in internal medicine at the University of North Carolina in 1981 and his residency in neurology at Columbia-Presbyterian Medical Center in 1984. Sgro served as a post-doctoral fellow in clinical neurophysiology (1983–1985), as an Associate in Neurology (1985–1986) and then as an Assistant Professor of Neurology (1986–1987) at The College of Physicians and Surgeons at Columbia University in New York City. Sgro relocated to Richmond, Virginia where he was an Associate Professor of Neurology and the Head of Neurophysiology (1987–1991) and finally, as Chief of the Division of Clinical Neurophysiology (1991–1994) at the Virginia Commonwealth University Medical Center. He was also appointed as an adjunct associate professor of Neurology at Columbia-Presbyterian Medical Center in 1994.
During his post-doctoral fellowship at Columbia-Presbyterian Medical Center, Sgro achieved recognition in the medical community for his research and findings on the theory of evoked potentials, with a particular focus on Somatosensory Evoked Potentials (SSEPs). A summary of Sgro's efforts to improve evoked potential recording recording technology is found in Keith Chiappa's book. This article covers many one and two dimensional, linear and non-linear digital filters. Two approaches to improve recording fidelity is by increasing the signal to noise ratio (SNR) by the reduction of coherent electrical noise and second the development of a two dimensional DFT digital filtering of evoked potentials which trades off the SNR improvement of the moving average technique with the detection of changes in the averaged waveform. Using this technology, Sgro proved that SSEPs were “state dependent,” varying depending on whether the patient was awake or asleep (anesthetized). Following these findings with funding from the Whitaker Foundation, Sgro developed technology and techniques to analyze evoked potentials based on stimulation run by an ultra fast (i.e. hundreds of hertz) pseudorandom m-sequences. This work was demonstrated to be a more effective method of identification and predictor of sub-clinical diseases or damage such as mortality from status epilepticus (diseases that otherwise went undetected until they become severe enough to qualify as clinically apparent when compared to conventional evoked potentials).
While conducting research into the (afferent) sensory nervous system with evoked potentials, Sgro also began to investigate devices and techniques to determine the state of the (efferent) motor nervous system using TMS with the goal of more effective detection of sub-clinical diseases and increased sensitivity of the motor system during intra-operative patient monitoring. Sgro  and his associates studied the theoretical and practical issues involved in the design of a high magnetic field strength and rapid transcranial magnetic stimulator which could exceed the historical safety limit of electrical brain stimulation (40 uC/cm2/phase at a stimulation rate of 20 to 50 Hertz over several hours). These studies resulted in the construction of a rapid high magnetic field strength device  which was suitable for safety studies. The safety of TMS in rats with a maximal field strength of 3.4 Tesla at 8 Herz for 20 minutes or 10uC/cm2/phase was demonstrated in Sgro 
While working as a neurology researcher Sgro began work in biomedical engineering and machine vision, specifically the use of imaging and machine vision technologies, to assess the function and integrity of the nervous system in various states of consciousness, during medical procedures, and disease. The research was performed initially using computer programs written in Fortran running on a DEC PDP minicomputer. In the mid 1980s the widespread adoption of IBM PC compatible computers with the ISA bus enabled the development of PC based expansion cards to increase the functionality of the PC. To facilitate lower cost advanced hardware development, Sgro co-founded Alacron, Inc. to develop advanced medical research equipment and commercial PC based products.
In 1985, Sgro co-founded Alacron, Inc. in Nashua, New Hampshire. Sgro and the Alacron engineering team focused on the development and production of frame grabbers and high speed image processing computational subsystems. The product family currently includes frame grabbers, software, data recording devices and supporting peripherals. Despite initial focus on neurophysiology research and medical imaging, Alacron saw uses for its products expand outside the field of medicine into other applications, such as manufacturing, military, and other industries that use robotics extensively. Alacron is one of the largest frame grabber manufacturers in the Automated Imaging Association's annual market data report.
Examples of broader machine vision uses of frame grabbers originally developed for use in medical imaging include AS&E, which incorporated Alacron technology in backscatter X-ray equipment used for border security, and as image capture used for Voyage Data Recorders, the maritime equivalent of aviation “black boxes.”
In addition to the commercial product lines offered by Alacron, Sgro continued to perform basic research in integrating frame grabber technology with specialized systems for various disciplines. The company received SBIR grants where Sgro acted as principal investigators, including:
- "A Digital Signal Processing Evoked Potential Machine” NIH SBIR #1R44NS024494. 1986 (Phase 1), 1988-1990 (Phase 2).
- "A Self Optimizing Evoked Potential Amplifier,” NIH SBIR #1R43NS24490. 1986-1987 (Phase 1), 1989-1991 (Phase 2).
- "A Magnetic Stimulator for Neurophysiology," NIH SBIR #1R43NS24924, 1986-1987 (Phase 1); 1989-1991 (Phase 2).
- "An Event Detecting Video/EEG Monitoring System," NlH SBIR #1R43NS26204, 1988-1989.
- "A Magnetic Neural Stimulator for Neurophysiology," NIH SBIR II #2R44NS24924, 1989-1991.
- ”An Efficient Lossless EEG Compression Engine,” NIH SBIR #1R43NS34211. 1995-1997 (phase 1); 1999-2003 (phase 2).
- "Scalable Programmable Accelerator for Affordable High Performance Computing," DARPA Contract #N66001-96-C-8611, 1997-2001.
Academic presentations of Alacron's technology and research include:
In 2002, Sgro launched FastVision, LLC. FastVision builds high-speed megapixel-plus digital cameras, based on CMOS and CCD image sensors . The company's goal is to produce smart cameras, i.e. cameras with high-speed scalable integrated image processing capabilities built into the same package housing the opto-electronics. Like most smart camera vendors, FastVision's suite includes FPGA processing and memory subsystems to enable in-camera image processing. When integrated with a high powered frame grabber or vision processor board (or a host subsystem), the resulting system capabilities can be expanded beyond simple image compression. The smart camera subsystem can be integrated with disk or non-volatile semiconductor storage inside or outside the camera to hold sustained real-time data acquisition, a valuable aid to system effectiveness when network connectivity is overloaded or is unavailable.
Applications for smart cameras range from security and surveillance, to robotics in medicine and manufacturing, to military applications such as bots, drones and intelligent weaponry, to satellites and inner and outer space exploration.
- Evoked potential
- Frame grabbers
- Journal of Symbolic Logic
- Lindström's theorem
- Löwenheim–Skolem theorem
- Machine vision
- Model theory
- Mathematics Genealogy Project entry for Joseph A. Sgro.
- Koniaris, Leonidas G.; Cheung, Michael C.; Garrison, Gwen; Awad Jr, William M.; Zimmers, Teresa A. (2010). "Perspective: PhD Scientists Completing Medical School in Two Years: Looking at the Miami PhD-to-MD Program Alumni Twenty Years Later". Academic Medicine. 85 (4): 687–91. doi:10.1097/ACM.0b013e3181d296da. PMID 20354390.
- "Topological Model Theory," National Science Foundation, Division of Mathematical Sciences, award number 77-04131, 1977
- Centennial Fellowship Overview and Roster
- Logic Colloquium ’77, Wroclaw, Poland. Macintyre, A., L. Pacholski, J. Paris, eds. In Studies in Logic and the Foundations of Mathematics, Volume 96. Barwise, J., D. Kaplan, H. J. Keisler, et al., series eds. North-Holland Publishing Company, 1978. ISBN 0-444-85178-X.
- Institute for Advanced Study membership roster entry for Joseph A. Sgro Archived 2014-05-06 at the Wayback Machine
- Sgro, Joseph (1977). "Completeness theorems for topological models". Annals of Mathematical Logic. 11 (2): 173–193. doi:10.1016/0003-4843(77)90016-X.
- Sgro, Joseph (1 September 1976). "Completeness theorems for continuous functions and product topologies". Israel Journal of Mathematics. 25 (3–4): 249–272. doi:10.1007/BF02757004.
- "The interior operator logic and product topologies" (PDF).
- Jon Barwise, K. (1 December 1974). "Axioms for abstract model theory". Annals of Mathematical Logic. 7 (2): 221–265. doi:10.1016/0003-4843(74)90016-3.
- "Interpolation fails for the Souslin-Kleene closure of the open-set quantifier logic" (PDF).
- "Maximal Logics" (PDF).
- "Ultraproduct invariant logic" (PDF).
- Sgro, J. A., R. G. Emerson, and P. C. Stanton. "Advanced techniques of evoked potential acquisition and processing."Evoked Potentials in Clinical Medicine. 3rd ed. Philadelphia: Lippincott-Raven (1997): 579-600. ISBN 978-0397516599
- Sgro, Joseph A.; Emerson, Ronald G. (1985). "Phase synchronized triggering: A method for coherent noise elimination in evoked potential recording". Electroencephalography and Clinical Neurophysiology. 60 (5): 464–468. doi:10.1016/0013-4694(85)91021-1. PMID 2580698.
- Sgro, Joseph A.; Emerson, Ronald G.; Pedley, Timothy A. (1985). "Real-time reconstruction of evoked potentials using a new two-dimensional filter method". Electroencephalography and Clinical Neurophysiology/Evoked Potentials Section. 62 (5): 372–380. doi:10.1016/0168-5597(85)90046-2. PMID 2411519.
- Sgro, Joseph A.; Jaitly, Rakesh; Delorenzo, Robert J. (1993). "Conventional and rapid stimulation evoked potential changes in patients with status epilepticus". Epilepsy Research. 15 (2): 149–156. doi:10.1016/0920-1211(93)90095-O. PMID 8370352.
- The Development of Methods for the Analysis of Non-Time-Stable Brain Responses. Whitaker Foundation grant, 1985-1989
- Jens Hee (August 2003). "Impulse response measurements using MLS" (PDF). jenshee.dk. Retrieved 2017-06-23.
- Marmarmelis, P. and Marmarmelis, V.Z., Analysis of PhysiologicalSystem, Plenum Press, New York, NY, 1978.
- "Assessment of Afferent and Efferent Neuropathways in Severe Head Injury," NIH Program Project Grant #2P01NS012587, 1989-1992..
- generator, metatags. "Project Information - NIH RePORTER - NIH Research Portfolio Online Reporting Tools Expenditures and Results". projectreporter.nih.gov.
- Sgro, J.; Stanton, P.; Emerson, R. (1991). "Theoretical and practical performance of magnetic stimulators and coils". Electroencephalography and Clinical Neurophysiology. Supplement. 43: 279–83. PMID 1773765.
- Agnew, WF; McCreery, DB (1987). "Considerations for safety in the use of extracranial stimulation for motor evoked potentials". Neurosurgery. 20 (1): 143–7. doi:10.1097/00006123-198701000-00030. PMID 3808255.
- Agnew, WF; Yuen, TG; McCreery, DB (1983). "Morphologic changes after prolonged electrical stimulation of the cat's cortex at defined charge densities". Exp Neurol. 79 (2): 397–411. doi:10.1016/0014-4886(83)90221-2. PMID 6822271.
- "United States Patent: 5061234 - Magnetic neural stimulator for neurophysiology".
- Sgro, J A; Ghatak, N R; Stanton, P C; Emerson, R G; Blair, R (1991). "Repetitive high magnetic field stimulation: the effect upon rat brain". Electroencephalography and Clinical Neurophysiology. Supplement. 43: 180–5. PMID 1773756.
- Automated Imaging Association annual market data report overview. Membership in AIA is required to obtain full report.
- "A Digital Signal Processing Evoked Potential Machine," NIH SBIR #1R44NS024494, 1986.
- "A Self Optimizing Evoked Potential Amplifier," NIH SBIR #2R44NS024490, 1986-1991.
- "A Magnetic Neural Stimulator for Neurophysiology," NIH SBIR II #2R44NS24924, 1989-1991.
- "An Efficient Lossless EEG Compression Engine," NIH SBIR #1R43NS34211, 1995-2003.
- Machine Vision Solutions for Life Sciences Applications at Pittcon, 2006.