Scholar

Mark Santolucito

Google Scholar ID: cGC93mIAAAAJ

Barnard College, Columbia University

Program SynthesisReactive SynthesisFormal MethodsComputer Music

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

410

H-index

11

i10-index

13

Publications

20

Co-authors

10

list available

Contact

No contact links provided.

Publications

6 items

BlindMarket: Enabling Verifiable, Confidential, and Traceable IP Core Distribution in Zero-Trust Settings

2026

Cited

0

Warm Starting State-Space Models with Automata Learning

2026

Cited

0

Mining Beyond the Bools: Learning Data Transformations and Temporal Specifications

2026

Cited

0

Mechanics of Learned Reasoning 1: TempoBench, A Benchmark for Interpretable Deconstruction of Reasoning System Performance

2025

Cited

0

Embedding Alignment in Code Generation for Audio

2025

Cited

0

Research Vision: Multi-Agent Path Planning for Cops And Robbers Via Reactive Synthesis

2025

Cited

0

Resume (English only)

Co-authors

10 total

Bernd Finkbeiner

Professor of Computer Science, CISPA Helmholtz Center for Information Security

Assistant Professor at University of Waterloo