I’ve been interested in any theories that focus on realistic applications and rigorously proven by math and logic. My current interests are not limited to:
- Applied and Industrial Mathematics
▪ Optimization and Control Theory
– Four-dimensional computed tomography (4DCT) reconstruction techniques, with applications in diamond quality inspection and healthcare
– Deconvolution problems, with applications in image processing
– Control methodologies, with applications in Hepatitis-C treatments
▪ High Performance Scientific Computing and Simulation
– Parallel computing, configured with GPU servers - Formal Mathematics
– Lean FRO with and applications in large language models (LLMs) - Formal Logic
– Logic representations of nonsenses, countersenses, incoherences and the other conflicts in philosophy of natural languages
