Prof. Dr. rer. nat. Tianxiang Lu, SFHEA
Professur für DevOps und Cloud Computing, Studiengangsleitung M.Sc. DevOps and Cloud Computing, M.Sc. DevOps and Cloud Computing Management
Kurzprofil
Professor of DevOps and Cloud Computing and Programme Director of the M.Sc. DevOps and Cloud Computing at IU. Combines 11 years of enterprise consulting in banking and FinTech with research in formal verification, neuro-symbolic AI and governed AI platforms. Supports regulated organisations in building demonstrably compliant cloud and AI systems aligned with DORA, NIS2, GDPR and the EU AI Act, and teaches DevOps, MLOps, secure cloud and TLA+.
Github Repo: Prof-it - Overview
Google Scholar: https://scholar.google.com/citations?user=amjVn40AAAAJ&hl=en
Forschungsgebiete
bridging formal methods, AI systems engineering, and secure cloud-native infrastructures
Formal Verification & Neural-Symbolic AI (TLA+, Distributed Systems, Blockchain-enabled IoT)
Artificial Intelligence & Scalable Learning Systems (Agentic AI, MLOps/LLMOps, AI alignment, Representation in NLP & Vision, Inference, Generation, Adaptation, Simulation & Optimization, Predictions in chat, game, agriculture, technical debt, quantum errors, voice symptoms and Explainability)
Regulated Cloud, Security & Compliance (IDS, Identity, GDPR, DevSecOps, DORA, NIS2, EU AI Act, machine-checkable compliance)
IU Forschungsprojekt RRiL (Logic-based knowledge representation and automated reasoning for GDPR compliance)
Publikationen und Vorträge
Lu, T. (2026). Formal Verification in Modern Technologies: Safety Assurance for P2P, IoT, Blockchain, and Quantum Computing. In: Reindl, C., Wecke, B., Irnich, U. (eds) Technologie und Organisation. Springer Gabler, Wiesbaden. https://doi.org/10.1007/978-3-658-51511-9_20
Lu, T. (2026). Den Computer verstehen: Von Erklärbarkeit zu automatisiertem Reasoning. In: Reindl, C., Wecke, B., Irnich, U. (eds) Technologie und Organisation. Springer Gabler, Wiesbaden. https://doi.org/10.1007/978-3-658-51511-9_2
2024/03, CCX 2024, Online: Cloud Computing Digital Conference, Germany. “Von Cloud Ready zu Cloud Exit, von formale Verifikation zu DevOps, IaC, LowCode/NoCode und Natural Language Programming: Was sollen wir wissen, um eine zukunftssichere Cloud-Strategie zu gestalten?”
Upcoming 2027/03, ICC 2027, Oxford, “From Black-Box AI to Trustworthy AI Engineering: Integrating Formal Verification, DevOps, and Cloud-Native Systems”,
Keynote Speakers
Lu T, Merz S., Weidenbach C. “Towards Verification of the Pastry Routing Protocol using TLA+”. FORTE 2011, Reykjavik, Iceland, Springer LNCS. https://doi.org/10.1007/978-3-642-21461-5_16
Lu T, Kneuper R, John U and Beenken P (2027). “A TLA+ Approach to Verifiable Temporal Compliance of Event-Driven Systems: A GDPR Case Study”. International Conference on Internet of Things, Data and Cloud Computing (ICC’27), Oxford, United Kingdom, 22–23 March 2027, accepted, camera-ready. Github
Lu T (2026). “ Neural-Symbolic Verification of Blockchain-Enabled IoT Systems via Refinement Mapping in TLA+”. IEEE 8th International Conference on Smart Applications, Communications and Networking, Rome, Italy, July 2026. https://doi.org/10.1109/SmartNets69662.2026.11604597
Lu T (2026). “ Verifier-Guided Repair of LLM-Generated TLA+ Specifications: A Skill-Mediated Agentic Loop for NASA DDMR-26”. IEEE 2026 International Conference on Emerging Trends in Engineering and Computing (ETECOM), Paris, France, October 2026, accepted, camera-ready. GitHub
Hefti DP and Lu T (2026). “Trustworthy Large Language Models in Organisations: A Competence-Based Alignment Framework”. 2026 International Joint Conference on Neural Networks (IJCNN), IEEE World Congress of Computational Intelligence, Maastricht, The Netherlands, June 2026. GitHub
Baba T and Lu T (2025). “A Transformer-GNN Framework for Learning Full Output Distributions of Quantum Circuits”. 2025 5th International Conference on AI-ML-Systems (AIMLSystems), Bangalore, India, 2025, pp. 1–6. https://doi.org/10.1109/AIMLSystems67835.2025.11331193(Best Paper Award)
Tutorial. (2016). What is TLA+? Institute of Software, China Academy of Science, Beijing, China. Online Prezi. Retrieved from https://prezi.com/view/wpQ4SqApYnisKEhLrcTe/
Weitere Publikationsliste siehe:
Mitgliedschaften
Member of the ASIIN e.V. Reviewer Pool for the Accreditation of Bachelor’s and Master’s Degree Programmes
Senior Member of IEEE, Computer Society: TCSE, TCCLD, TCSP, TCFT, TCII, TCLT, Communications Society, Computational Intelligence Society
IEEE standards participation: Functional Safety Standards Committee (FSSC); IEEE Computer Society Artificial Intelligence Standards Committee (C/AISC)
Senior Fellow of Higher Education Academy (SFHEA)
Member of Circle in The Cloud Security Alliance (CSA)
Member of Max Planck Alumni Association: CoNE - Lu, Tianxiang
Member of INRIA Alumni: Team members – VeriDis: Verification of Distributed Systems
Member of Universität des Saarlandes Alumni
Member of Université de Lorraine Alumni