Maritza Johnson

Identifiers

• name variant Maritza Johnson 0.60 · backfill

Papers (2)

1. Towards making formal methods normal: meeting developers where they are cs.LO · 2020 · author #5
2. Toward Trustworthy AI Development: Mechanisms for Supporting Verifiable Claims cs.CY · 2020 · author #27

Mentions

• 2010.16345 #5 · arxiv_oai · confidence 0.70 Maritza Johnson
• 2004.07213 #27 · arxiv_oai · confidence 0.70 Maritza Johnson

Frequent Coauthors

• Ben Laurie 2 shared papers
• Sarah de Haas 2 shared papers
• Adrian Weller 1 shared papers
• Alastair Reid 1 shared papers
• Alex Ingerman 1 shared papers
• Allan Dafoe 1 shared papers
• Amanda Askell 1 shared papers
• Andrew Lohn 1 shared papers
• Andrew Trask 1 shared papers
• Ariel Herbert-Voss 1 shared papers
• Bianca Martin 1 shared papers
• Brian Tse 1 shared papers
• Carina Prunkl 1 shared papers
• Carrick Flynn 1 shared papers
• Charlotte Stix 1 shared papers
• Cullen O'Keefe 1 shared papers
• David Krueger 1 shared papers
• Elizabeth Barnes 1 shared papers
• Elizabeth Seger 1 shared papers
• Emma Bluemke 1 shared papers