• Skip to primary navigation
  • Skip to content
  • Skip to footer
Jeroen Keiren
  • Home
  • Research
  • Publications
  • Teaching
  • Students
  • Service
  • Contact
  • Blog
    Jeroen Keiren

    Jeroen Keiren

    Formal methods researcher at TU/e

    • Netherlands
    • Website
    • Email
    • Mastodon

    Contact

    E-mail j.j.a.keiren AT tue.nl
    Phone +31 40 247 8691
    Secretary +31 40 247 5010
    Skype jkeiren
    LinkedIn jkeiren
    Mastodon @jkeiren@mastodon.acm.org

    Visiting Address

    MetaForum Building (Building 5)
    Office MF 6.101
    Groene Loper 5
    5612 AE Eindhoven
    The Netherlands

    Contact Address

    Department of Computer Science
    Eindhoven University of Technology
    P.O.Box 513
    5600 MB Eindhoven
    The Netherlands

    • Feed
    © 2025 Jeroen Keiren. Powered by Jekyll & Minimal Mistakes.