Suman Jana
Researcher / author (OpenAlex)
Facts
2 properties- Affiliation
- Education & Research Foundationas of 2026-09-23
where from?
- Source
- OpenAlex
- Edition
- 20260923 · as of 2026-09-23
- Licence
- CC0 1.0 Universal
- Bronze
- not in the catalog
- Transform
- 4ort-mint · openalex:20260923 · version not recorded
🔖 Identifiers · 2
- ORCID iD
- 0000-0002-9850-2169
- OpenAlex ID
- A5016425387as of 2026-09-23
where from?
- Source
- OpenAlex
- Edition
- 20260923 · as of 2026-09-23
- Licence
- CC0 1.0 Universal
- Bronze
- not in the catalog
- Transform
- 4ort-mint · openalex:20260923 · version not recorded
📚 Sources · 1
📜 Data licence
Source: OpenAlex (openalex.org), snapshot of 2026-09-23. CC0 1.0 Universal. CC0 1.0 Universal · OpenAlex
🔗 Connections
Author of 19
APEx: automated inference of error specifications for C APIs,
Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Robustness Verification,
DeepTest,
DeepXplore,
DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols.,
Efficient Formal Safety Analysis of Neural Networks,
Evaluating the Robustness of Trigger Set-Based Watermarks Embedded in Deep Neural Networks,
Formal Security Analysis of Neural Networks using Symbolic Intervals
+11 more
← Authored by 19
APEx: automated inference of error specifications for C APIs,
Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Robustness Verification,
DeepTest,
DeepXplore,
DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols.,
Efficient Formal Safety Analysis of Neural Networks,
Evaluating the Robustness of Trigger Set-Based Watermarks Embedded in Deep Neural Networks,
Formal Security Analysis of Neural Networks using Symbolic Intervals
+11 more
Affiliated with 2
Press Enter · cited answer in seconds
0 sources
Summary
Suman Jana is a human[1].