Joseph Sgro

Mathematical Research

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.

Neurological Research

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 1980's 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.

Alacron, Inc.

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:

Academic presentations of Alacron’s technology and research include:

FastVision, LLC

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.