Jim Woodcock

Papers on Lattice

Total citations

Topics

Publication activitypapers/week, last 8 weeks

Research focus

Constitutional AI & AI Ethics (2)Robotics & Embodied AI (1)Scalable Oversight & Alignment Theory (1)Code Generation & Program Synthesis (1)

Frequent co-authors

Marie Farrell (1)Matt Luckcuck (1)Angelo Ferrando (1)Rafael C. Cardoso (1)

Papers (2)

Jun 22, 2026

University of Nottingham3w ago·also PoliMi

Engineering Reliable Autonomous Systems: Challenges and Solutions

A roadmap for bridging the gap between academic techniques and practical applications in autonomous system engineering reveals both immediate solutions and pressing research needs.

Marie Farrell, Matt Luckcuck, Angelo Ferrando +27

Constitutional AI & AI Ethics Robotics & Embodied AI Scalable Oversight & Alignment Theory

Jun 21, 2026

Lancaster University3w ago·also Tsinghua AI, HIT, Southwest U, University of York

Formal-Method-Guided Vibe Coding: Closing the Verification Loop on AI-Generated Safety-Critical Software Through Model-Driven Engineering

Forge transforms LLM-generated code into safety-critical software by seamlessly integrating formal verification, paving the way for certification in regulated environments.

Ran Wei, Le Zhu, Haochi Wang +4

Code Generation & Program Synthesis Constitutional AI & AI Ethics

Search

Jim Woodcock

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (2)