Software Engineering
 Alexander Malkis

Coordinates

building, room 052-00-005

+49 761 203 6953 (phone)
+49 761 203 8242 (fax)

Current state

Open for the research market. Here is my CV.

Research interests

  • Software verification and program analysis:
    • Concurrency: modularity, compositionality, model-checking of multithreaded programs
    • Specification: thread abstractions
    • Abstract interpretation: smooth refinement and completeness.
  • Privacy and security:
    • Specification languages, formal models, logic, policies and preferences, privacy-enabled dynamic networks
    • Access control, delegation, authorization.
  • Combinatorics: enumeration.
  • Future research:
    • Polynomial verification of large program classes
    • Emptieness of language intersection: complexity and algorithms
    • Thread simulations, liveness, procedure abstractions under concurrency
    • A working verifier for multithreaded C
    • Verifying multithreaded programs with rich structure and semantics:
      • heap
      • probabilism
      • recursion
      • for multicore systems
    • Modeling biological and social systems.

Teaching

Publications

Tools