Alexander Malkis
Dr. Alexander Malkis
Alumni
E-Mail: | Alexander Malkis |
Research interests
- Software verification and program analysis:
- Concurrency: modularity, compositionality, model-checking of multithreaded programs, thread abstractions, recursion.
- Abstract interpretation: smooth refinement and completeness.
- Synchronization protocols: barriers.
- Theorem proving: cardinalities of set comprehensions.
- Privacy and security:
- Specification languages, formal models, logic, policies and preferences, privacy-enabled dynamic networks.
- Access control, delegation, authorization.
- Provably secure architectures.