Sotabase

Career

· Software Engineer, Galois2025–
· Project Scientist, Auton Lab, Carnegie Mellon University2022–
· PhD Student, Carnegie Mellon University2015–2021
· Masters Student, Carnegie Mellon University2013–2015

Publications (14)

Model-Centric Verification of Artificial Intelligence
2022
4
cited
Finding Meaningful Gaps to Guide Data Acquisition for a Radiation Adjudication System
AAAI Conference on Artificial Intelligence · 2015
2
cited
Signal Quality Auditing for Time-series Data
arXiv.org · 2024
2
cited
Finding Gaps in Data to Guide Development of a Radiation Threat Adjudication System
2014
1
cited
Verification of Fuzzy Decision Trees
IEEE Transactions on Software Engineering · 2023
1
cited
Actionable Model-Centric Explanations (Student Abstract)
AAAI Conference on Artificial Intelligence · 2022
Analysis of Source Detectability With Fast-Moving Sensors
IEEE Transactions on Nuclear Science · 2020
A SAT-based approach to rigorous verification of Bayesian networks
arXiv.org · 2024
Data-Driven Discovery of Design Specifications (Student Abstract)
AAAI Conference on Artificial Intelligence · 2024
Leveraging Common Structure to Improve Prediction across Related Datasets
AAAI Conference on Artificial Intelligence · 2015
Mitigating Persistent Client Dropout in Asynchronous Decentralized Federated Learning
arXiv.org · 2025
Ordinal Programmatic Weak Supervision and Crowdsourcing for Estimating Cognitive States (Student Abstract)
AAAI Conference on Artificial Intelligence · 2023
Provably Robust Model-Centric Explanations for Critical Decision-Making
arXiv.org · 2021
Revealing Actionable Simplicity in Data
AAAI Spring Symposia · 2018
Sotabase
Nick Gisolfi | Researcher Profile | Sotabase | Sotabase