Professor (Software Systems)

BTech(IIT Kanpur)
MS (UMichigan, Ann Arbor)
PhD (UMichigan, Ann Arbor)

Dr. Paddy Krishnan has held various positions at University of Canterbury (Christchurch New Zealand), Siemens Research (Munich, Germany), Aarhus University (Aarhus, Denmark) and Texas A&M University (College Station, USA).

He is an Associate Research Fellow at the United Nations University, International Institute for Software Technology.

Download a more extensive listing of Paddy Krishnan's publications

Book Chapters

• Zhao Xiangpeng, Antonio Cerone, and Padmanabhan Krishnan (2006) Verifying BPEL Workflows Under Authorisation Constraints

Conference Proceedings

• Lei Wang and Padmanabhan Krishnan (2006) A Framework for Checking Behavioral Compatibility for Component Selection
• Lei Wang and Padmanabhan Krishnan (2006) An Approach to Provisioning E-Commerce Applications with Commercial Components
• Padmanabhan Krishnan (2004) Uniform Descriptions for Model Based Testing
• Padmanabhan Krishnan (2002) Providing Assistance for Proofs in the Teaching of Theory of Computation
• Padmanabhan Krishnan and Danita Hartley (2002) Using model checking to test a firewall : A case study.

Conference Papers

• Shane Bracher and Padmanabhan Krishnan (2006) Secure Document Circulation: An Architecture for e-Health