Visit Campus
UGC Disclosures
Visit Campus
UGC Disclosures
Pursuing a PhD in Computer Science at Krea University offers an environment centred on depth, rigour, and close scholarly engagement. The programme is built around sustained faculty mentorship, encouraging students to develop independent research directions while engaging with fundamental questions in computation and emerging computational paradigms. Faculty expertise spans algorithms and complexity, logic and foundations of computing, formal methods, programming languages, mechanised reasoning and proof formalisation, software and cyber-physical systems, and quantum computation and information.
Key research questions pursued by faculty and students include: How fast can problems be solved, and what are the limits of efficient computation? How can we mathematically prove that software and systems behave correctly?
What is the relationship between proofs, programs, and computation? Can mathematical proofs themselves be formalised and verified by computers? And what new computational possibilities emerge from quantum systems?
The department aims to foster an inclusive, encouraging, and relatively non-hierarchical culture, where students are active participants in shaping research discussions and academic life. Its small size and interdisciplinary nature of the university enables close interaction with faculty, frequent collaboration, and individualized guidance. This is complemented by seminars, workshops, and research visits from external scholars, providing exposure to diverse ideas and diverse contemporary research directions.
Algorithms and Complexity
Approximation Algorithms and Parameterized Algorithms
Computational Logic, Formal Methods and Programming Languages
Application of formal methods and artificial intelligence to software systems and cyber-physical systems, Logic and foundations of Computer Science, Programming Language Semantics, Verification and Formalisation of Proofs
Quantum Computation
Quantum Algorithms and Quantum Information Theory.
Closely related disciplines include (but are not limited to):
Mathematics, Statistics, Data Science, Physics, Electronics, Electrical Engineering, Electrical and Electronics Engineering, Electronics and Communication Engineering, Information Technology, Information Systems, Computer Engineering, Artificial Intelligence, Computational Sciences, Operations Research, Bioinformatics, Computational Biology, Quantitative Economics, and other allied interdisciplinary programmes with substantial computational and/or mathematical content.
A minimum of 55% marks* in HSC, Pre-University Exam (12th grade), UG and PG are essential.
*Please Note: A relaxation of 5% marks or equivalent will be given to candidates who belong to SC, ST, OBC (NCL), PwD, and EWS categories.
(i) a four-year Bachelor’s degree in Computer Science or a closely related discipline, or
(ii) a postgraduate degree (MSc/ME/MTech/MCA or equivalent) in Computer Science or a closely related discipline, from a UGC recognised institution
Faculty members are drawn from the best universities across the world and are a fine blend of academic expertise, combined with robust research credentials. Each year over 100 peer-reviewed publications published, combining rigorous scholarship and industry-linked expertise to guide PhD research across disciplines.
The pathway to becoming an able researcher seeks a blend of curiosity, critical thinking, perseverance, resilience and to top it all, a knack of handling uncertainty, and the Krea PhD scholars are all of these and more. They are driven with a singular aim to contribute to the welfare of humanity through academia, research, and industry.
Let’s help you take the first step into the Kreaverse. We encourage you to explore the various facets of the admissions process in-depth, and reach out to us in case of any queries. We are here to help.
