- 
                
                
                
verification algorithms and prototypes on large microgrids, Naval systems, and utility systems. ● Assist grant proposal writing, work collaboratively with industry and government, and mentor graduate
 - 
                
                
                
faculty, and conducts a wide range of collaborative quantum research in the areas of quantum computing, quantum algorithms and complexity, quantum cryptography, quantum program verification, quantum machine
 - 
                
                
                
verification algorithms and prototypes on large microgrids, Naval systems, and utility systems. ● Assist grant proposal writing, work collaboratively with industry and government, and mentor graduate
 - 
                
                
                
atmospheric remote sensing from ground, airborne, and satellite platforms. Our group develops advanced algorithms and data analysis methods to address fundamental scientific challenges, including global cloud
 - 
                
                
                
distributed quantum computing. The center includes other quantum faculty, and conducts a wide range of collaborative quantum research in the areas of quantum computing, quantum algorithms and complexity
 - 
                
                
                
distributed quantum computing. The center includes other quantum faculty, and conducts a wide range of collaborative quantum research in the areas of quantum computing, quantum algorithms and complexity
 - 
                
                
                
Group , a leader in innovative multi-sensor atmospheric remote sensing from ground, airborne, and satellite platforms. Our group develops advanced algorithms and data analysis methods to address
 - 
                
                
                
Group , a leader in innovative multi-sensor atmospheric remote sensing from ground, airborne, and satellite platforms. Our group develops advanced algorithms and data analysis methods to address
 - 
                
                
                
, especially the toroidal spectrometer, construction and commissioning of the MOLLER detector at Jefferson Lab ● Development of the SOLID software framework, tracking algorithms, DAQ subsystem and various