Career Objective

I am Pradeep Kumar D S, PhD, and I possess more than 14 years of expertise in software programming and research.

My main areas of research focus encompass Programming Language, Android Security, Dynamic Knowledge Sharing, formal methods, Program Analysis, Machine Learning, and Artificial Intelligence. 

I am presently engaged in the application of Artificial Intelligence, Machine Learning, and Collective Intelligence to create a dynamic, decentralized learning BOT ecosystem tailored for inter-app communications within Mobile Applications. This system is designed to effectively manage uncertain knowledge and beliefs.

Prior to embarking on my Ph.D. journey, I held the position of Research Scholar at Arizona State University. During my tenure there, I focused on cybersecurity attacks within the Android Open Source Project (AOSP).

At present, I am actively involved in an Android Security project in partnership with professors from both Arizona State University and Texas A&M University.

Presently, I’m a Scientist at the Zoho Corporation, India. If you want to know more about me, feel free to take a look at my

• about
• innovations
• publications
• patents
• teaching
• research
• education
• employment
• collaborations
• grants and honours.

Most of this information can also be found bundled in my CV here.

You may also be interested in taking a look at my

• current projects, or
• contact details.

Research Documents

• [Research Statement]here
• [First Representative Publication]here

---

Application Domains

• Software Analytics: SLA (Software Level Agreement) Requirements’ Analysis, Mining Incident and Defect Repositories, Test Data Synthesis and Validation, …
• Security: Android Security, Language-based security, Human Aspects in Security, PDF security, Public Blockchain Key Generation Model, …
• AI for Application Security: Generative AI (for GDPR-enabled CAPTCHA generation), Responsible AI (for knowledge classification and trustworthyness between bots), …

Technical Domains

• Natural Language Processing, and Information Retrieval: Context Identification, Semantic correlation between Contexts, Semantic Similarity and Relatedness, Search, Topic Modeling, Type and Constraint Mining, …
• Applied Machine Learning: Collective Intelligence, Trustworthyness of Knowledge,…
• Data Engineering: Data Synthesis and Validation, Automations in Feature Engineering,…
• Formal Verification: Lambda Calculus, Object Calculus, Modal Logic, Temporal Logic, …
• Complex Systems: Android App Analysis (combining Reviews and Static analysis), …

Technical Reviewer

• International Journal of Computers & Security (https://www.sciencedirect.com/journal/computers-and-security)

Research Keywords:

Cyber security, Software security, Mobile security and privacy, Data Privacy, Programming Languages, Language-based security, Artificial Intelligence, Data Science, Machine Learning, Security and privacy, LLM, NLP

Languages and Tools:

Java, Python, Android, OpenNLP, Javascript, C/C++, ANTLR, GoLang, LLVM, ByteCode, Smali

Services:

(Reviewer) Journal Of Computers and Security (ELSEVIER)