Benjamin Schornstein Source Confirmed

OverviewAI-generated summary

Benjamin Schornstein's research encompasses both theoretical computer science and engineering applications. He works on formal methods in verification, with recent publications detailing distributed runtime verification of metric temporal properties, including applications for cross-chain protocols. Schornstein also explores natural language processing, demonstrated by his work on grounding complex natural language commands for temporal tasks in novel environments. Additionally, he has expertise in the mechanical behavior of composites and advanced machining processes.

Schornstein's diverse research interests converge on verification, natural language processing, and materials engineering.

Metrics

• h-index: 3
• Publications: 7
• Citations: 37