• Skip to main navigation
  • Skip to search
  • Skip to main content
University of Strathclyde Home University of Strathclyde Logo
  • Help & FAQ
  • Home
  • Profiles
  • Research units
  • Research output
  • Projects
  • Datasets
  • Equipment
  • Student theses
  • Impacts
  • Prizes
  • Activities
No photo of Malin Altenmüller

Malin Altenmüller

Ms

  • Doctor of Philosophy, Computer And Information Sciences
  • Mathematically Structured Programming
  • Overview
  • Activities (2)
  • Similar Profiles (1)

Activities

  • 1 Organiser of special symposia
  • 1 Oral presentation

Activities per year

  • Scottish Programming Languages and Verification Summer School 2024

    Allais, G. (Organiser), Watters, S. (Organiser), Atkey, B. (Organiser), Nordvall Forsberg, F. (Organiser), Mc Bride, C. (Organiser), de Muijnck-Hughes, J. (Organiser), Lambert, A. (Organiser), Altenmüller, M. (Organiser) & Kupke, C. (Organiser)

    29 Jul 2024 → 2 Aug 2024

    Activity: Participating in or organising an event types › Organiser of special symposia

  • Contributed long talk TYPES 2022: TypOS: An “Operating System” for Typechecking Actors

    Nordvall Forsberg, F. (Speaker), McBride, C. (Contributor), Nakov, G. (Contributor), Allais, G. (Contributor), Altenmüller, M. (Contributor) & Roy, C. (Contributor)

    22 Jun 2022

    Activity: Talk or presentation types › Oral presentation

Powered by Pure, Scopus & Elsevier Fingerprint Engine™

All content on this site: Copyright © 2025 University of Strathclyde, its licensors, and contributors. All rights are reserved, including those for text and data mining, AI training, and similar technologies. For all open access content, the relevant licensing terms apply

We use cookies to help provide and enhance our service and tailor content. By continuing you agree to the use of cookies

Log in to Pure

University of Strathclyde data protection policy

About web accessibility

Report vulnerability

Contact us