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
Github Repo: https://github.com/Prof-it
Google Scholar: https://scholar.google.com/citations?user=amjVn40AAAAJ&hl=en
Forschungsgebiete
bridging formal methods, AI systems engineering, and secure cloud-native infrastructures
Formal Methods & Neural-Symbolic Verification (TLA+, distributed systems, blockchain-enabled IoT)
Artificial Intelligence & Scalable Learning Systems (Neural-symbolic AI, NLP, Agentic AI & MLOps, Quantum AI, Edge Health AI, Gaussian Splatting, Simulation & Optimization)
Secure, Governed & Cloud-Native Systems (AI Alignment & Governance, DevSecOps, DORA, NIS2, EU AI Act)
IU Forschungsprojekt RRiL (Automated Reasoning for Law)
Publikationen und Vorträge
Lu T (2026). Formal Verification in Modern Technologies: Safety Assurance for P2P, IoT, Blockchain, and Quantum Computing. In: Technologie und Organisation. Springer Gabler. https://link.springer.com/book/9783658515102
Lu T (2026). Den Computer verstehen: Von Erklärbarkeit zu automatisiertem Denken. In: Technologie und Organisation. Springer Gabler. https://link.springer.com/book/9783658515102
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? CCX 2024 Cloud Computing Digital Conference, Germany. Online: CCX Cloud Computing Conference. https://www.ccxconference.de/agenda-2024-dc
Lu T (2026), “Neural-Symbolic Verification of Blockchain-Enabled IoT Systems via Refinement Mapping in TLA+”, 8th International Conference on Smart Applications, Communications and Networking, Rome, Italy, July 2026, to be published in IEEE Xplorer.
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) in IEEE World Congress of Computational Intelligence, Maastricht, The Netherlands, June 2026, to be published in IEEE Xplorer.
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)
Ondieki CO and Lu T (2025), “Enabling Equitable EV Charger Deployment in Berlin with Multi-Objective Geospatial Optimization”, 2025 IEEE International Conference on Emerging Trends in Engineering and Computing (ETECOM), Riffa, Bahrain, 2025, pp. 1-6, https://doi.org/10.1109/ETECOM66111.2025.11318989 (Best Paper Award)
Kramer J and Lu T (2025), “A Reproducible Framework for Benchmarking MLOps Infrastructures: Comparing Bare-Metal and Orchestrated ML Workflows”, Cureus Journal of Computer Science (Springer Nature). https://doi.org/10.7759/s44389-025-08693-x
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
Senior Fellow of Higher Education Academy (SFHEA)
Founder of the Facebook group: https://www.facebook.com/groups/IT2Know/
Senior Member of IEEE, Computer Society, Communications Society, Computational Intelligence Society
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 BCS, The British Chartered Institute for IT
Member of The Chartered Management Institute (CMI)
Member of Universität des Saarlandes Alumni
Member of Université de Lorraine Alumni
Founder of the Facebook group: https://www.facebook.com/groups/IT2Know/