• Sign in
  • Sign up
conf.researchr.org / Jana Hofmann
  • NASA Formal Methods 2023 profile
  • PLDI 2026 profile
  • PLDI 2027 profile
  • POPL 2026 profile
Jana Hofmann

Registered user since Thu 30 Mar 2023

Name:Jana Hofmann
Country:Germany
Affiliation:MPI-SP
Personal website: https://www.mpi-sp.org/hofmann
Research interests:Information Flow Security, Microarchitectural Side Channels, Hyperproperties

Contributions

2027

PLDI

  • Committee Member in PLDI Review Committee within the PLDI Research Papers-track

2026

PLDI

  • Author of A Deductive System for Contract Satisfaction Proofs within the PLDI Research Papers-track

PLMW

  • Panelist of Research Taste: From Core PL to New Frontiers within the PLMW @ PLDI 2026-track

PriSC

  • Committee Member in Program Committee within the PriSC-track

2023

NFM

  • Author of Automata-Based Software Model Checking of Hyperproperties within the NFM 2023-track
Share
xSat 17 Oct 07:49
using conf.researchr.org (v1.76.1)
Support page
Sign Up