Speaker

Doğan Ulus

Doğan Ulus is speaking at Eighth International Workshop on Formal Methods for Autonomous Systems (Southampton, United Kingdom, 17–18 Nov 2026) in the session “Session 3: Tools and Benchmarks”.

Conferences: 1
Keynotes: 0
Upcoming: 1

Upcoming appearances

Eighth International Workshop on Formal Methods for Autonomous Systems
17–18 Nov 2026Southampton, United Kingdom
- SpeakerSession 3: Tools and BenchmarksWith Yasmin Rafiq, Elizabeth Polgreen, Mehmet Hilmi Dündar, Serena Serbinowska, Ben Wooding, Diego Manzanas Lopez, Luke Nam, Anne M. Tumlin, Nicholas Potteiger, Hongchao Zhang, Taylor T Johnson, Daniel Bryce

More speakers at Eighth International Workshop on Formal Methods for Autonomous Systems

Nils Jansen
Prof., Ruhr-University Bochum and Radboud University Nijmegen
Akhila Bairy
Marco Bozzano
Michael Butler
Gunjari Chakraborty
Alex Chan

See all 28 speakers on the event page

Other people named Doğan Ulus

These are kept as separate profiles because the programmes give no evidence that they are the same person.

Dogan Ulus · 1 conference

This profile is built from conference programmes published on kongre.net. It has not been claimed or confirmed by Doğan Ulus, and it lists only the talks, sessions and presentations named in those programmes.

Is this you? Claim this profile — every request is read by a person before anything is linked.

To ask for a correction or for this profile to be removed, email [email protected].