nanopore sequencing , metagenomics , Machine Learning, Pytorch, Python, R, genome annotation, Bioinformatics, scikit-learn, Ai, microbial genomics

Formal verification and automated theorem proving, Formal methods and verification tools, Neuro-symbolic AI machine learning and LLMs for code and reasoning, Deep learning and modern machine learning frameworks, Programming languages and software analysis, Trustworthy interpretable and reliable AI systems, Reproducible and open research practices, Software tool development for research, Reasoning over code logic or symbolic systems, Benchmarking and evaluation of AI systems

causal inference , latent class analysis , Sql, Statistical Modelling, Pyspark, Deep Learning, Machine Learning, Python, Scala, Spark, snomed, NDC, ICD10-AM, Cpt, survival modelling, R, LOINC, RxNorm, OMOP Common Data Model, omics analytics

latent class analysis , causal inference , Machine Learning, Scala, Pyspark, Sql, Deep Learning, Spark, Statistical Modelling, Python, omics analytics, LOINC, Cpt, snomed, RxNorm, NDC, R, survival modelling, OMOP Common Data Model, ICD10-AM

additive manufacturing , Debugging, Testing, Python, Solidworks, ESP32, embedded systems programming, Mechanical Design, 3D CAD software, 3D printing technologies, Arduino, 3D printer firmware customization, Fusion360, hardware prototyping

Fpga, 3g, satellite communication systems, RTL, AI for wireless communication, mobile communication systems, 6G, 5G, 4G, wireless communication technologies, energy engineering for wireless networks, Embedded Systems, CUDA coding for GPU acceleration, RF technologies