{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,4]],"date-time":"2026-04-04T01:00:27Z","timestamp":1775264427661,"version":"3.50.1"},"publisher-location":"Cham","reference-count":45,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032013767","type":"print"},{"value":"9783032013774","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:00:00Z","timestamp":1759276800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:00:00Z","timestamp":1759276800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>The digitization of healthcare presents numerous challenges, including the complexity of biological systems, vast data generation, and the need for personalized treatment plans. Traditional computational methods often fall short, leading to delayed and sometimes ineffective diagnoses and treatments. Quantum Computing (QC) and Quantum Machine Learning (QML) offer transformative advancements with the potential to revolutionize medicine by leveraging quantum mechanics principles. This paper summarizes areas where QC promises unprecedented computational power, enabling faster, more accurate diagnostics, personalized treatments, and enhanced drug discovery processes. However, integrating quantum technologies into precision medicine also presents challenges, including errors in algorithms and high costs. We show that mathematically-based techniques for specifying, developing, and verifying software (formal methods) can enhance the reliability and correctness of QC. By providing a rigorous mathematical framework, formal methods help to specify, develop, and verify systems with high precision. In genomic data analysis, formal specification languages can precisely (1) define the behavior and properties of quantum algorithms designed to identify genetic markers associated with diseases. Model checking tools can systematically explore all possible states of the algorithm to (2) ensure it behaves correctly under all conditions, while theorem proving techniques provide mathematical (3) proof that the algorithm meets its specified properties, ensuring accuracy and reliability. Additionally, formal optimization techniques can (4) enhance the efficiency and performance of quantum algorithms by reducing resource usage, such as the number of qubits and gate operations. Therefore, we posit that formal methods can significantly contribute to enabling QC to realize its full potential as a game changer in precision medicine.<\/jats:p>","DOI":"10.1007\/978-3-032-01377-4_6","type":"book-chapter","created":{"date-parts":[[2025,9,30]],"date-time":"2025-09-30T22:28:05Z","timestamp":1759271285000},"page":"122-140","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Quantum Machine Learning in\u00a0Precision Medicine and\u00a0Drug Discovery - A Game Changer for\u00a0Tailored Treatments?"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0644-8095","authenticated-orcid":false,"given":"Markus","family":"Bertl","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alan","family":"Mott","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-9177-5161","authenticated-orcid":false,"given":"Salvatore","family":"Sinno","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-8586-4531","authenticated-orcid":false,"given":"Bhavika","family":"Bhalgamiya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,10,1]]},"reference":[{"issue":"5\u20136","key":"6_CR1","doi-asserted-by":"crossref","first-page":"763","DOI":"10.1016\/S0893-6080(03)00087-X","volume":"16","author":"D Anguita","year":"2003","unstructured":"Anguita, D., Ridella, S., Rivieccio, F., Zunino, R.: Quantum optimization for training support vector machines. Neural Netw. 16(5\u20136), 763\u2013770 (2003)","journal-title":"Neural Netw."},{"key":"6_CR2","doi-asserted-by":"crossref","first-page":"1128576","DOI":"10.3389\/frqst.2023.1128576","volume":"2","author":"R Au-Yeung","year":"2023","unstructured":"Au-Yeung, R., Chancellor, N., Halffmann, P.: Np-hard but no longer hard to solve? using quantum computing to tackle optimization problems. Front. Quantum Sci. Technol. 2, 1128576 (2023)","journal-title":"Front. Quantum Sci. Technol."},{"issue":"1","key":"6_CR3","doi-asserted-by":"crossref","first-page":"7453","DOI":"10.1038\/s41598-024-55991-w","volume":"14","author":"SV Babu","year":"2024","unstructured":"Babu, S.V., Ramya, P., Gracewell, J.: Revolutionizing heart disease prediction with quantum-enhanced machine learning. Sci. Rep. 14(1), 7453 (2024)","journal-title":"Sci. Rep."},{"issue":"13","key":"6_CR4","doi-asserted-by":"crossref","DOI":"10.1002\/cbic.202300120","volume":"24","author":"A Baiardi","year":"2023","unstructured":"Baiardi, A., Christandl, M., Reiher, M.: Quantum computing for molecular biology. ChemBioChem 24(13), e202300120 (2023)","journal-title":"ChemBioChem"},{"issue":"5","key":"6_CR5","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1007\/s00287-019-01229-3","volume":"42","author":"FJ Furrer","year":"2019","unstructured":"Furrer, F.J.: Quantum computing for everyone. Informatik Spektrum 42(5), 372\u2013374 (2019). https:\/\/doi.org\/10.1007\/s00287-019-01229-3","journal-title":"Informatik Spektrum"},{"key":"6_CR6","doi-asserted-by":"crossref","DOI":"10.1016\/j.artmed.2023.102745","volume":"147","author":"M Bertl","year":"2024","unstructured":"Bertl, M., Bignoumba, N., Ross, P., Yahia, S.B., Draheim, D.: Evaluation of deep learning-based depression detection using medical claims data. Artif. Intell. Med. 147, 102745 (2024)","journal-title":"Artif. Intell. Med."},{"key":"6_CR7","unstructured":"Bertl, M., Kankainen, K.J.I., Piho, G., Draheim, D., Ross, P.: Evaluation of data quality in the estonian national health information system for digital decision support. In: HEDA@ STAF (2023)"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Bertl, M., et al.: Challenges for AI in healthcare systems. In: Bridging the Gap Between AI and Reality: First International Conference, AISoLA 2023, Crete, Greece, October 23\u201328, 2023, Selected Papers, p.\u00a0165. Springer, Cham (2023)","DOI":"10.1007\/978-3-031-73741-1_11"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Bertl, M., Piho, G., Draheim, D., Ross, P., Pechmann, L., Bucciarelli, N., Sharma, R.: Future opportunities for systematic AI support in healthcare. In: Bridging the Gap Between AI and Reality: First International Conference, AISoLA 2023, Crete, Greece, October 23\u201328, 2023, Selected Papers, p.\u00a0203. Springer, Cham (2023)","DOI":"10.1007\/978-3-031-73741-1_13"},{"issue":"12","key":"6_CR10","doi-asserted-by":"crossref","first-page":"7001","DOI":"10.1021\/acs.jctc.2c00574","volume":"18","author":"NS Blunt","year":"2022","unstructured":"Blunt, N.S., et al.: Perspective on the current state-of-the-art of quantum computing for drug discovery applications. J. Chem. Theory Comput. 18(12), 7001\u20137023 (2022)","journal-title":"J. Chem. Theory Comput."},{"issue":"11","key":"6_CR11","doi-asserted-by":"crossref","first-page":"2331","DOI":"10.3390\/app9112331","volume":"9","author":"L Bote-Curiel","year":"2019","unstructured":"Bote-Curiel, L., Munoz-Romero, S., Gerrero-Curieses, A., Rojo-\u00c1lvarez, J.L.: Deep learning and big data in healthcare: a double review for critical beginners. Appl. Sci. 9(11), 2331 (2019)","journal-title":"Appl. Sci."},{"key":"6_CR12","unstructured":"Burch, M., et\u00a0al.: Towards quantum tensor decomposition in biomedical applications. arXiv preprint arXiv:2502.13140 (2025)"},{"key":"6_CR13","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/j.omtn.2023.06.007","volume":"33","author":"C Chakraborty","year":"2023","unstructured":"Chakraborty, C., Bhattacharya, M., Dhama, K., Lee, S.S.: Quantum computing on nucleic acid research: approaching towards next-generation computing. Mol. Ther.-Nucleic Acids 33, 53\u201356 (2023)","journal-title":"Mol. Ther.-Nucleic Acids"},{"key":"6_CR14","unstructured":"Chareton, C., Bardin, S., Lee, D., Valiron, B., Vilmart, R., Xu, Z.: Formal methods for quantum programs: a survey. arXiv preprint arXiv:2109.06493 (2021)"},{"key":"6_CR15","volume":"8","author":"HP Cheng","year":"2020","unstructured":"Cheng, H.P., Deumens, E., Freericks, J.K., Li, C., Sanders, B.A.: Application of quantum computing to biochemical systems: a look to the future. Front. Chem. 8, 587143 (2020)","journal-title":"Front. Chem."},{"issue":"4","key":"6_CR16","first-page":"67","volume":"12","author":"JC Chow","year":"2024","unstructured":"Chow, J.C.: Quantum computing in medicine. Med. Sci. 12(4), 67 (2024)","journal-title":"Med. Sci."},{"issue":"6102","key":"6_CR17","doi-asserted-by":"crossref","first-page":"1628","DOI":"10.1126\/science.1226355","volume":"337","author":"GM Church","year":"2012","unstructured":"Church, G.M., Gao, Y., Kosuri, S.: Next-generation digital information storage in DNA. Science 337(6102), 1628\u20131628 (2012)","journal-title":"Science"},{"issue":"4","key":"6_CR18","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/s10433-013-0280-x","volume":"10","author":"C de Meijer","year":"2013","unstructured":"de Meijer, C., Wouterse, B., Polder, J., Koopmanschap, M.: The effect of population aging on health expenditure growth: a critical review. Eur. J. Ageing 10(4), 353\u2013361 (2013). https:\/\/doi.org\/10.1007\/s10433-013-0280-x","journal-title":"Eur. J. Ageing"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Desai, D., et al.: Review of alphafold 3: transformative advances in drug design and therapeutics. Cureus 16(7) (2024)","DOI":"10.7759\/cureus.63646"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Doga, H., Bose, A., Sahin, M.E., Bettencourt-Silva, J., Pham, A., Kim, E., Andress, A., Saxena, S., Parida, L., Robertus, J.L., et\u00a0al.: How can quantum computing be applied in clinical trial design and optimization? Trends in Pharmacological Sciences (2024)","DOI":"10.1016\/j.tips.2024.08.005"},{"issue":"6","key":"6_CR21","doi-asserted-by":"crossref","first-page":"952","DOI":"10.1016\/j.fertnstert.2018.05.006","volume":"109","author":"LH Goetz","year":"2018","unstructured":"Goetz, L.H., Schork, N.J.: Personalized medicine: motivation, challenges, and progress. Fertil. Steril. 109(6), 952\u2013963 (2018)","journal-title":"Fertil. Steril."},{"issue":"7","key":"6_CR22","doi-asserted-by":"crossref","first-page":"444","DOI":"10.1038\/nrclinonc.2010.227-c1","volume":"8","author":"A Gorini","year":"2011","unstructured":"Gorini, A., Pravettoni, G.: P5 medicine: a plus for a personalized approach to oncology. Nat. Rev. Clin. Oncol. 8(7), 444\u2013444 (2011)","journal-title":"Nat. Rev. Clin. Oncol."},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Grover, L.K.: A fast quantum mechanical algorithm for database search. In: Proceedings of the Twenty-Eighth Annual ACM Symposium on Theory of Computing. pp. 212\u2013219 (1996)","DOI":"10.1145\/237814.237866"},{"key":"6_CR24","doi-asserted-by":"crossref","first-page":"3487","DOI":"10.1016\/j.jclepro.2017.07.162","volume":"172","author":"J Hall","year":"2018","unstructured":"Hall, J., Matos, S., Gold, S., Severino, L.S.: The paradox of sustainable innovation: the \u2018eroom\u2019 effect (moore\u2019s law backwards). J. Clean. Prod. 172, 3487\u20133497 (2018)","journal-title":"J. Clean. Prod."},{"issue":"4","key":"6_CR25","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3626233","volume":"56","author":"T Heinis","year":"2023","unstructured":"Heinis, T., Sokolovskii, R., Alnasir, J.J.: Survey of information encoding techniques for DNA. ACM Comput. Surv. 56(4), 1\u201330 (2023)","journal-title":"ACM Comput. Surv."},{"issue":"10","key":"6_CR26","doi-asserted-by":"crossref","first-page":"891","DOI":"10.1038\/s41557-020-0544-y","volume":"12","author":"J Hermann","year":"2020","unstructured":"Hermann, J., Sch\u00e4tzle, Z., No\u00e9, F.: Deep-neural-network solution of the electronic schr\u00f6dinger equation. Nat. Chem. 12(10), 891\u2013897 (2020)","journal-title":"Nat. Chem."},{"key":"6_CR27","doi-asserted-by":"crossref","unstructured":"Kumar, G., Yadav, S., Mukherjee, A., Hassija, V., Guizani, M.: Recent advances in quantum computing for drug discovery and development. IEEE Access (2024)","DOI":"10.1109\/ACCESS.2024.3376408"},{"issue":"1","key":"6_CR28","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3624483","volume":"5","author":"M Lewis","year":"2023","unstructured":"Lewis, M., Soudjani, S., Zuliani, P.: Formal verification of quantum programs: theory, tools, and challenges. ACM Trans. Quantum Comput. 5(1), 1\u201335 (2023)","journal-title":"ACM Trans. Quantum Comput."},{"issue":"10","key":"6_CR29","doi-asserted-by":"crossref","first-page":"487","DOI":"10.1016\/j.tig.2012.06.008","volume":"28","author":"AG Madian","year":"2012","unstructured":"Madian, A.G., Wheeler, H.E., Jones, R.B., Dolan, M.E.: Relating human genetic variation to variation in drug responses. Trends Genet. 28(10), 487\u2013495 (2012)","journal-title":"Trends Genet."},{"issue":"6","key":"6_CR30","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1038\/nrd.2017.70","volume":"16","author":"L Martin","year":"2017","unstructured":"Martin, L., Hutchens, M., Hawkins, C., Radnov, A.: How much do clinical trials cost. Nat. Rev. Drug Discov. 16(6), 381\u2013382 (2017)","journal-title":"Nat. Rev. Drug Discov."},{"key":"6_CR31","doi-asserted-by":"crossref","first-page":"1502745","DOI":"10.3389\/fdgth.2024.1502745","volume":"6","author":"P Mei","year":"2024","unstructured":"Mei, P., Zhang, F.: A framework for processing large-scale health data in medical higher-order correlation mining by quantum computing in smart healthcare. Front. Digital Health 6, 1502745 (2024)","journal-title":"Front. Digital Health"},{"issue":"1","key":"6_CR32","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1377\/hlthaff.12.1.119","volume":"12","author":"DN Mendelson","year":"1993","unstructured":"Mendelson, D.N., Schwartz, W.B.: The effects of aging and population growth on health care costs. Health Aff. 12(1), 119\u2013125 (1993)","journal-title":"Health Aff."},{"issue":"1","key":"6_CR33","doi-asserted-by":"crossref","DOI":"10.1088\/2632-2153\/acb900","volume":"4","author":"S Mensa","year":"2023","unstructured":"Mensa, S., Sahin, E., Tacchino, F., Kl Barkoutsos, P., Tavernelli, I.: Quantum machine learning framework for virtual screening in drug discovery: a prospective quantum advantage. Mach. Learn. Sci. Technol. 4(1), 015023 (2023)","journal-title":"Mach. Learn. Sci. Technol."},{"issue":"1","key":"6_CR34","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1186\/s12859-022-04661-7","volume":"23","author":"K Na\u0142\u0119cz-Charkiewicz","year":"2022","unstructured":"Na\u0142\u0119cz-Charkiewicz, K., Nowak, R.M.: Algorithm for DNA sequence assembly by quantum annealing. BMC Bioinform. 23(1), 122 (2022)","journal-title":"BMC Bioinform."},{"key":"6_CR35","unstructured":"Nguyen, N., Chen, K.C.: Translational quantum machine intelligence for modeling tumor dynamics in oncology (2023). https:\/\/arxiv.org\/abs\/2202.10919"},{"issue":"1","key":"6_CR36","doi-asserted-by":"crossref","first-page":"23545","DOI":"10.1038\/s41598-021-02910-y","volume":"11","author":"D Niraula","year":"2021","unstructured":"Niraula, D., Jamaluddin, J., Matuszak, M.M., Haken, R.K.T., Naqa, I.E.: Quantum deep reinforcement learning for clinical decision support in oncology: application to adaptive radiotherapy. Sci. Rep. 11(1), 23545 (2021)","journal-title":"Sci. Rep."},{"key":"6_CR37","doi-asserted-by":"crossref","unstructured":"Pei, Z.: Computer-aided drug discovery: from traditional simulation methods to language models and quantum computing. Cell Rep. Phys. Sci. 5(12) (2024)","DOI":"10.1016\/j.xcrp.2024.102334"},{"key":"6_CR38","unstructured":"Pitkanen, M.: DNA as topological quantum computer: part i. DNA Decipher J. 1(1) (2011)"},{"key":"6_CR39","doi-asserted-by":"crossref","unstructured":"Quist, A.J., Mei, J., Coopmans, T., Laarman, A.: Advancing quantum computing with formal methods. In: International Symposium on Formal Methods, pp. 420\u2013446. Springer (2024)","DOI":"10.1007\/978-3-031-71177-0_25"},{"issue":"9","key":"6_CR40","doi-asserted-by":"crossref","first-page":"4417","DOI":"10.1007\/s00521-019-04095-y","volume":"32","author":"MI Razzak","year":"2020","unstructured":"Razzak, M.I., Imran, M., Xu, G.: Big data analytics for preventive medicine. Neural Comput. Appl. 32(9), 4417\u20134451 (2020)","journal-title":"Neural Comput. Appl."},{"issue":"1","key":"6_CR41","doi-asserted-by":"crossref","first-page":"11636","DOI":"10.1038\/s41598-024-62539-5","volume":"14","author":"R Riera Aroche","year":"2024","unstructured":"Riera Aroche, R., Ortiz Garc\u00eda, Y., Mart\u00ednez Arellano, M., Riera Leal, A.: DNA as a perfect quantum computer based on the quantum physics principles. Sci. Rep. 14(1), 11636 (2024)","journal-title":"Sci. Rep."},{"issue":"2","key":"6_CR42","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1038\/clpt.2013.101","volume":"94","author":"DM Roden","year":"2013","unstructured":"Roden, D.M., Tyndale, R.: Genomic medicine, precision medicine, personalized medicine: what\u2019s in a name? Clin. Pharmacol. Ther. 94(2), 169\u2013172 (2013)","journal-title":"Clin. Pharmacol. Ther."},{"key":"6_CR43","doi-asserted-by":"crossref","unstructured":"Sinno, S., Bertl, M., Sahoo, A., Bhalgamiya, B., Gro\u00df, T., Chancellor, N.: Implementing large quantum Boltzmann machines as generative AI models for dataset balancing (2025). https:\/\/arxiv.org\/abs\/2502.03086","DOI":"10.1109\/NGISE64126.2025.11085158"},{"key":"6_CR44","doi-asserted-by":"crossref","unstructured":"Stefano, G.B.: Quantum computing and the future of neurodegeneration and mental health research. Brain Sci. 14(1) (2024)","DOI":"10.3390\/brainsci14010093"},{"key":"6_CR45","doi-asserted-by":"crossref","unstructured":"Swarna, S.R., Kumar, A., Dixit, P., Sairam, T.: Parkinson\u2019s disease prediction using adaptive quantum computing. In: 2021 Third International Conference on Intelligent Communication Technologies and Virtual Mobile Networks (ICICV), pp. 1396\u20131401. IEEE (2021)","DOI":"10.1109\/ICICV50876.2021.9388628"}],"container-title":["Lecture Notes in Computer Science","Bridging the Gap Between AI and Reality"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-01377-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,30]],"date-time":"2025-09-30T22:28:15Z","timestamp":1759271295000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-01377-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,1]]},"ISBN":["9783032013767","9783032013774"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-01377-4_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,1]]},"assertion":[{"value":"1 October 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"AISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Bridging the Gap between AI and Reality","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Crete","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 October 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 November 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aisola2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/2023-aisola.isola-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}