Assistant Professor, Indian Institute of Technology, Gandhinagar, (Dec. 2009 to present)
Assistant Professor, Electrical Engg. Dept. M. S. University of Baroda, (Jun 2007 - Dec 2009)
Selected Recent Publications
S. Chakraborty, J. Mekie and D. K. Sharma, March 2006, "Reasoning about Synchronization using Abstract Timing Diagrams," in Special Issue on Formal Methods for Globally Asynchronous Locally Synchronous (GALS) Systems, Formal Methods in System Design (FMSD), pp. 153-169, Vol. 28, No. 2.
J. Mekie, S. Chakraborty, G. Venkataramani, P. Thiagarajan and D. K. Sharma, March 2006, "Interface Design for Rationally Clocked GALS Systems," in Proc. of ASYNC, pp. 160-171.
J. Mekie, S. Chakraborty and D. K. Sharma, Jan 2004, "Evaluation of Pausible Clocking Scheme for Interfacing High Speed IP Cores in GALS Framework," in Proc. of International Conference on VLSI Design, pp. 559-564.
S. Chakraborty, J. Mekie and D. K. Sharma, Sept 2003, "Reasoning about Synchronization Issues in GALS Systems: A Unified Approach," invited paper in Proc. of Workshop on Formal Methods in GALS Architectures (FMGALS), Formal Methods Europe Symposium.