Umair Siddique

Identifiers

• name variant Umair Siddique 0.60 · backfill

Papers (4)

1. Lessons from External Review of DeepMind's Scheming Inability Safety Case cs.CY · 2026 · author #4
2. Formal Verification of Platoon Control Strategies cs.LO · 2018 · author #2
3. Towards the Formalization of Fractional Calculus in Higher-Order Logic cs.LO · 2015 · author #1
4. Formal Analysis of Optical Systems cs.LO · 2014 · author #2

Mentions

• 1505.02140 #1 · backfill · confidence 0.70 Umair Siddique
• 1403.3039 #2 · backfill · confidence 0.70 Umair Siddique

Frequent Coauthors

• Osman Hasan 3 shared papers
• Adnan Rashid 1 shared papers
• Francisco Javier Campos Zabala 1 shared papers
• Henry Papadatos 1 shared papers
• James Walpole 1 shared papers
• Mohamed Yousri Mahmoud 1 shared papers
• Ons Seddiki 1 shared papers
• Robin Bloomfield 1 shared papers
• Sanaz Khan-Afshar 1 shared papers
• Sean P. Fillingham 1 shared papers
• Sofi\`ene Tahar 1 shared papers
• Sofiene Tahar 1 shared papers
• Stephen Barrett 1 shared papers
• Vincent Aravantinos 1 shared papers