CURRICULUM VITAE. Dr. Soumen Maity Associate Professor Indian Institute of Science Education & Research, Pune

Transcription

1 CURRICULUM VITAE Dr. Soumen Maity Associate Professor Indian Institute of Science Education & Research, Pune 1 Academic Degrees Ph. D. from Indian Statistical Institute (ISI), Kolkata in 2002 Advisor: Professor Bimal Roy, Director, Indian Statistical Institute (ISI). Thesis: Some Combinatorial Designs in VLSI Architectures and Statistics M. Sc. in Statistics from University of Calcutta in Class/Division: First Class B. Sc. in Statistics from Ramakrishna Mission Residential College, Narendrapur, University of Calcutta in Class/Division: First Class 2 Professional Background 2012 onwards: Associate Professor at Indian Institute of Science Education & Research Pune : Assistant Professor at Indian Institute of Science Education & Research Pune : Assistant Professor at Indian Institute of Technology, Kharagpur, INDIA : Assistant Professor at Indian Institute of Technology, Guwahati, INDIA. January June 2004: Senior Lecturer at Indian Institute of Technology, Guwahati, INDIA. May 2003-December 2003: Post Doctoral Fellow at School of Information Technology & Engineering, University of Ottawa, CANADA. September April 2003: NBHM Post Doctoral Fellow at Management of Information Systems, Indian Institute of Management Calcutta, INDIA. February 2002-August 2002: Post Doctoral Fellow at Department of Information Technology, Lund University, SWEDEN. 3 Research Interests I am mostly interested in combinatorial problems. More specifically, I have been working on (1) covering arrays on hypergraphs, (2) constructions of cryptographically important Boolean functions, (3) fault tolerance in VLSI systems. 1

2 4 Publications All the papers below have appeared in refereed journals or refereed conference proceedings. IEEE conference proceedings are published by IEEE Computer Society and Lecture Notes in Computer Science (LNCS) is a book series published by Springer-Verlag. 1. Maity, S., Akhtar, Y., Chandrasekharan, R.C., and Colbourn, C.J., Improved strength four covering arrays with three symbols, submitted. 2. Akhtar, Y. and Maity, S., Mixed covering arrays on 3-uniform hypergraphs, submitted. 3. Akhtar, Y., Chandrasekharan, R.C., and Maity, S. Test suites with high 3-way configuration coverage, submitted. 4. Y. Akhtar and S. Maity. Covering arrays on product graphs. In 47th Southeastern International Conference on Combinatorics, Graph theory and Computing. Boca Raton, FL. March Akhtar, Y., Maity, S., Chandrashekharan, R.C., Covering Arrays of Strength Four and Software Testing, Book Name: Mathematics and Computing, Springer Proceedings in Mathematics and Statistics, Vol. 139, pp , Chandrasekharan, R.C., Maity, S., Covering arrays of strength two and pairwise software testing, Book Name: Mathematical and Computational Sciences, Narosa, pp , Maity, S., Chrisil Arackaparambil, and Kezhasono Meyase, A new construction of resilient Boolean functions with high nonlinearity, Ars Combinatoria, Vol. 109, 2013, Akhtar, Y. and Maity, S., Mixed covering arrays on hypergraphs, Communications in Computer and Information Science, Vol. 305, 2012, pp Maity, S., 3-Way software testing with budget constraints, IEICE Trans. Information & Systems, Vol. E95-D, No. 9, 2012, pp Maity, S., Software testing with budget constraints, Proc. 9th IEEE International Conference on Information Technology New Generation (ITNG12), 2012, pp Maity, S., 3-Way software testing with budget constraints, Proc. 22nd IEEE International Symposium on Software Reliability Engineering (ISSRE 2011), Hiroshima, Japan. 12. Maity, S. and Maitra, S., Minimum distance between bent and 1-resilient Boolean functions, Ars Combinatoria, Vol. 97, 2010, pp Maity, S., A test generation algorithm for 3-way software testing (Fast Abstract), Proc. 20th IEEE International Symposium on Software Reliability Engineering, Maity, S., Nayak, A., and Ramsundar, S., Characterization, testing and reconfiguration of faults in mesh networks, INTEGRATION, the VLSI Journal, Vol. 40, 2007, pp

3 15. Maity, S., Chrisil Arackaparambil, and Kezhasono Meyase, Constructions of cryptographically significant Boolean functions, Congressus Numerantium Vol. 181, 2006, pp Maity, S., Chrisil Arackaparambil, and Meyase, K., Construction of 1-resilient Boolean functions with very good nonlinearity, Sequences and Their Applications - SETA 2006, Lecture Notes in Computer Science, Springer-Verlag, Vol. 4086, 2006, pp Maity, S., Nayak, A., and Ramsundar, S., On Fault tolerance of two-dimensional mesh networks, In International Conference on Distributed Computing and Networking - ICDCN 2006, Lecture Notes in Computer Science, Springer-Verlag, Vol. 4308, 2006, pp Maity, S. and Ramsundar, S., On reliability analysis of forward loop forward hop networks, In International Conference on Distributed Computing and Internet Technology ICDCIT 2006, Lecture Notes in Computer Science, Springer-Verlag, Vol. 4317, 2006, pp Maity, S. and Nayak, A., Improved test generation algorithms for pair-wise testing, In the Proc. of 16th IEEE International Symposium on Software Reliability Engineering (ISSRE 05), IEEE Computer Society, Los Alamitos, CA, 2005, pp Maity, S. and Maitra, S., Minimum distance between bent and 1-resilient Boolean functions, Fast Software Encryption - FSE 2004, Lecture Notes in Comput. Sci., Springer-Verlag, Vol. 3017, 2004, pp Maity, S., Nayak, A., and Roy, B.K., Reliability of VLSI linear arrays with redundant links, The International Workshop on Distributed Computing - IWDC 2004, Lecture Notes in Comput. Sci., Springer-Verlag, Vol. 3326, 2004, pp Maity, S., Nayak, A., and Roy, B.K., On characterization of catastrophic faults in two-dimensional VLSI arrays, INTEGRATION, The VLSI Journal, Vol. 38, 2004, pp Maity, S., Nayak, A., and Roy, B.K., Characterization of catastrophic faults in twodimensional reconfigurable systolic arrays with unidirectional links, Information Processing Letters, Vol. 92 (4), 2004, pp Maity, S., Nayak, A., Zaman, M., Srivastava, A., and Goel, N., An efficient test generating algorithm for pair-wise testing, Proc. 14th IEEE International Symposium on Software Reliability Engineering (ISSRE 2003), 2003, Colorado, Denver, USA. 25. Maity, S. and Johansson, T., Constructions of cryptographically important Boolean functions, INDOCRYPT 2002, Lecture Notes in Comput. Sci., Springer-Verlag, Vol. 2551, 2002, pp Maity, S., Roy, B.K., and Nayak, A., Enumerating catastrophic fault patterns in VLSI arrays with both uni- and bidirectional links, INTEGRATION, The VLSI Journal, Vol. 30 (2), 2001, pp

4 27. Maity, S., Dutta, T.K., and Roy, B.K., Construction and efficiency of some repeated measurements designs, Journal of the Indian Statist. Assoc., Vol. 39 (2), 2001, pp Maity, S., Roy, B.K., and Nayak, A., Identification of optimal link redundancy for which a given fault pattern is catastrophic in VLSI linear arrays, Congressus Numerantium Vol. 151, 2001, pp Maity, S. and Roy, B.K., Construction of some classes of optimal repeated measurements designs, Cal. Statist. Assoc. Bull., Vol. 50, Nos , 2000, pp Maity, S., Roy, B.K., and Nayak, A., On enumeration of catastrophic fault patterns, Information Processing Letters, Vol. 81(4), 2002, pp Teaching I have taught the following courses at IITs and IISER Pune. Courses in Statistics Probability and Statistics, 2007 & 2008 IIT-KGP, 2009, 2010, 2015 IISER Probability and Stochastic Processes, 2008 IIT-KGP Regression Analysis, 2008 & 2009 IIT-KGP Design & Analysis of Experiments, 2009 IIT-KGP Courses in Theoretical Computer Science Introduction to Algorithms, 2006 IIT-G, 2009 & 2011 IISER Pune. Data Structures, 2004, 2005, 2007 IIT-G Graph Theory & Algorithms, 2008 IIT-KGP & 2012 IISER Pune. Courses in Mathematics Discrete Mathematics, 2004 IIT-G, 2011 IISER Pune. Cryptography, 2004 & 2005 IIT-G, 2010 IISER Pune. Discrete Mathematics I for PhD students, Fall 2012, 2013, 2014 IISER Pune. Discrete Mathematics II for PhD students, Spring 2013, 2014 IISER Pune. 6 Sponsored Projects 1. Development of Video Course on Regression Analysis (Completed) Sponsor: National Programme on Technology Enhanced Learning (NPTEL), Ministry of Human Resources & Development, Government of India. Available at: 2. Development of Web Course on Regression Analysis (Ongoing) Sponsor: Ministry of Human Resources & Development, Government of India. 4

5 7 Academic and Professional Awards (Honours) National Board for Higher Mathematics (NBHM) Post Doctoral Fellowship, India Post Doctoral Fellowship at Lund University, Sweden Post Doctoral Fellowship at University of Ottawa, Canada 8 Students Advised 1. Yasmeen Akhtar, PhD Student, Thesis: Covering arrays on graphs and hypergraphs, IISER Pune, Started in January Reshma C Chandrasekharan, Integrated BS-MS program, Thesis: Constructions of covering arrays, 5th year project at IISER Pune, Sourajit Basu, Integrated BS-MS Program, Thesis: Erdos-Ko-Rado and Kruskal Katona theorems for discrete structures, 5th year project at IISER Pune, Kumar Vasu Mitra, Integrated BS-MS Program, Thesis: Erdos-Ko-Rado Theorem and Kruskal-Katona Theorem, 5th year project at IISER Pune, Ankur Pariwal, Integrated BS-MS Program, Thesis: Transversal Hypergraphs, 5th year project at IISER Pune, R. Vinay Yadav, Integrated BS-MS Program, Thesis: Bandwidth problem in biconvex bipartite graphs, 5th year project at IISER Pune, 2012 (Guide: Prof. Pandu Rangan, IIT Madras, Local Coordinator: Dr. S. Maity). 7. Ruchi Gupta, Integrated BS-MS Program, Thesis: Group construction of covering arrays, 5th year project at IISER Pune, Navi Prasad, Integrated BS-MS Program, Thesis: Software testing using combinatorial designs, 5th year project at IISER Pune, Currently, Navi is working at HeyMath, Chennai. 9. Gourav Chauhan, Integrated BS-MS Program, Thesis: Permutation polynomials over finite fields and their applications in cryptography, 5th year project at IISER Pune, Avi Prasanna, Integrated BS-MS Program, Thesis: Scheduling and conflict resolution of television commercials, 5th year project at IISER Pune, 2011 (Guide: Prof. Jaikumar Radhakrishnan, TIFR Mumbai, Local coordinator: Dr. S. Maity). 11. Kapil Kumar Gupta, Integrated BS-MS Program, Thesis: An implementation oriented overview of code based cryptography, 5th year project at IISER Pune, 2011 (Guide: Prof. Bimal Roy, ISI Kolkata, Local coordinator: Dr. S. Maity). 12. Romina Dutta, Master s in Mathematics & Computing, Thesis: Max-flow algorithms and their applications, IIT Kharagpur, Currently, Romina is working at Google, Hyderabad. 13. Anusuya Ghosh, Master s in Mathematics, Thesis: Visual cryptography for black and white images, IIT Kharagpur, Anusuya is working on her PhD in Mathematics at IIT Mumbai. 5

6 14. Smriti Awasthi, Master s in Mathematics & Computing, Thesis: Authenticated key agreement protocols based on Diffie-Hellman problem, IIT Guwahati, Nishigandha Misra, Master s in Mathematics & Computing, Thesis: Visual cryptography for black and white images, IIT Guwahati, Chandabani Dutta, Master s in Mathematics & Computing, Thesis: Threshold proxy signature schemes based on public key cryptosystems, IIT Guwahati, Raviraj Paliwal, Master s in Mathematics & Computing, Thesis: On path length of trees with known fringe, IIT Guwahati, Anand Kumar Mallik, Master s in Mathematics & Computing, Thesis: Authenticated key agreement protocols based on Diffie-Hellman problem, IIT Guwahati, Kezhasono Meyase, Master s in Mathematics & Computing, Thesis: Visual cryptography for black and white images, IIT Guwahati, Currently Kezhasono is working at Tata Consultancy Service (TCS) Bangalore. 20. Chrisil Arackaparambil, Master s in Mathematics & Computing, Thesis: Generalized visual cryptography schemes, IIT Guwahati, Chrisil completed his PhD in Computer Science at the Dartmouth College. 9 Editorial Work Programme Committee Member for ICMC 2015, International Conference on Mathematics and Computing, 5-10 January, India. NSC 2013, 37th National Systems Conference, Centre of Excellence in Systems Science, 5-7 December 2013, IIT Jodhpur, India. ICMC 2013, International Conference on Mathematics and Computing, December 2013, India. IWMS 2012, International Workshop on Mathematical Modeling and Scientific Computing, August 9-11, 2012, Indian Institute of Science Education and Research (IISER) Thiruvananthapuram, India. INDOCRYPT 2008, The 9th International Conference on Cryptology in India, December 14-17, 2008, Indian Institute of Technology, Kharagpur, India. ISPA 2007, The Fifth International Symposium on Parallel and Distributed Processing and Applications, August 29-31, 2007, Niagara Falls, ON, Canada. QIP Short-Term Course: Foundations of Computer Science, November, 2004, IIT Guwahati, India. Organizing Committee Member for Workshop on Bloch-Kato Conjectures for the Riemann Zeta Function, July 17-21, 2012, (Sponsored by ICTS, Tata Institute of Fundamental Research) at Indian Institute of Science Education and Research, Pune, India. 6

7 The 4th Pan Asian Number Theory Conference, July 23-27, 2012, (Sponsored by ICTS, Tata Institute of Fundamental Research) at Indian Institute of Science Education and Research, Pune, India. National Initiative in Mathematics Education, Dec 26-28, 2011, (Sponsored by IISER Pune and NBHM) at Indian Institute of Science Education and Research, Pune, India. 10 Talks at International Conferences/Workshops Covering arrays and generalizations, In 29th Annual Conference of Ramanujan Mathematical Society, June 2014, IISER Pune. A Test Generation Algorithm for 3-Way Software Testing, In 20th IEEE International Symposium on Software Reliability Engineering- ISSRE 2009, Mysore, India. Invited talk at First Indo-French Workshop on Cryptography and Related Topics, IFW 2007, June 11-13, 2007, Paris, France. On Reliability Analysis of Forward Loop Forward Hop Networks, In International Conference on Distributed Computing and Internet Technology ICDCIT 2006, Bhubaneswar, India. On Fault Tolerance of Two-Dimensional Mesh Networks, In International Conference on Distributed Computing and Networking - ICDCN 2006, IIT Guwahati, India. Reliability of VLSI Linear Arrays with Redundant Links. The International Workshop on Distributed Computing - IWDC 2004, Indian Statistical Institute, Kolkata, India. Minimum Distance between Bent and 1-resilient Boolean Functions. Fast Software Encryption -FSE 2004, Delhi, India. 11 Service to IISER Pune As Associate Dean for Graduate Studies, we (dean and myself) manage the BS-MS dual degree programme of the institute, including all issues connected with courses, examinations, degree, attendance and academic leave. I serve on many institute level committees: Senate, Academic Committee, Committee on Graduate Studies, Women s Cell, Semester Committee II (chair), Course and Evaluation Committee (chair), PhD Committee (Maths). 12 Referees Professor Bimal Roy, Director, Indian Statistical Institute, 203 B. T. Road, Kolkata , INDIA, Tel: +91 (0) , Fax: +91 (0) , bimal@isical.ac.in 7