GIAN Course: The Science of Remulation for Executable Biology, December 12-16, 2016
Departments of Electronics and Communication Engineering & Computer Science and Engineering of MNIT Jaipur are organizing an International Short Term Course on The Science of Remulation for Executable Biology under GIAN (Global Initiative of Academic Network), an initiative of MHRD, Govt. of India. This course shall be organized during December 12 - 16, 2016. This program is also partially supported by IIIT Kota (currently mentored by MNIT Jaipur).
1. Dr. Parthasarathi Roop, Faculty, University of Auckland, New Zealand.
2. Dr. Avinash Malik, Faculty, University of Auckland, New Zealand
3. Dr. Sidharta Andalam, Postdoctoral fellow, University of Auckland, New Zealand
Dr. Parthasarathi Roop is an Associate Professor in the Department of Electrical and Computer Engineering, University of Auckland, New Zealand.
He completed his PhD in Computer Science and Engineering at the University of New South Wales, Sydney, Australia, a M.Tech at Indian Institute of Technology in Kharagpur, India and a BE degree at Anna University (College of Engineering), Madras, India. Partha had visiting positions in Kiel University, Germany, French National Laboratory of Informatics and Control, and Iowa State University and University of California, Berkeley.
He has co-authored two research monographs and over one hundred papers, which includes a best paper award in embedded systems week (CASES 2013) and has recently received the Mercator professorship from the German Science Foundation (DFG), 2016. He has also received the Humboldt fellowship for experienced researchers in 2009. Partha is an Associate Editor of IEEE embedded systems letters and EURASIP Journal on Embedded Systems. He is in the TPC of leading conferences such as ACM EMSOFT and IEEE RTAS and is the PC co-chair of 19 IEEE ISORC to be held in York in May 2016.
The Science of Remulation for Executable Biology course focuses on application of formal models for cyber physical systems (CPS). The use of formal methods for software and hardware design is motivated by requirement of mathematical analysis that can contribute to the reliability and robustness of a design. Formal methods are best described as type systems and algebraic data types to problems in software and hardware specification and verification. The course will introduce topics from closed-loop control systems, discrete event control, and real-time systems wherein formal models can be applied. It will provide an overview of the embedded system design flow and the current research questions of relevance to the topic of CPS. Topics covered will include techniques for synthesis, verification and static analysis of embedded systems.
Although the topics covered may be applied to many domains, the case study undertaken in the course shall focus on pacemaker as a cyber physical system. There are demonstrations of well-known Pacemaker algorithms and illustrations of formal modeling and validation of pacemakers using timed automata. The course will also cover a range of models, form very high-fidelity bioengineering (finite element, finite volume) ones to more recent ones developed using timed and hybrid automata. The course will illustrate the challenges of such modeling such as scalability, timing and reentrancy.
1. Understanding of the models for biological systems such as human heart's electrical conduction.
2. Creating an awareness of the design challenges especially related to the cyber-physical interface.
3. Use of formal methods and synchronous programming languages in the design of CPS.
4. Current design and research challenges of CPS specifically in domain of executable biology.
5. Provide an inter-disciplinary focus where electrical engineers, cardiac physicians, bio-engineers and computer scientists can cooperatively learn topics of immense interest for the design and verification of safety-critical systems used in medicine.
Who can attend:
1. Computer science, electrical and bio-engineering professors and their graduate students.
2. Members of the school of medical science and technology at IIT, Kharagpur and similar institutes.
3. Students in electrical engineering, computer science, bio-engineering and (Msc/MTech/PhD)
4. Cardiac physicians particularly interested in cardiac devices such as pacemakers and other ICD devices. These can be members of private / public hospitals.
Contact Email: email@example.com
For course brochure, please visit
For more information, please visit
Information for Web-streamed Lectures:
Web cast Link (Link will be active during course timings.
Instructions for accessing streamed lectures
Schedule (May be subject to minor changes)
Important Information for Applicants:
A limited number of paid accommodation is available in MNIT Guest House/Students Hostel and shall be available on "First Come First Serve" basis.
For more information please contact:
2014RCP9508@mnit.ac.in, Mention Regarding GIAN course in the subject.
MNIT guest house rooms (Rs 500 per night) shall be issued on twin-sharing basis. Other accommodation available is MNIT hostels (Rs 100 per night). These shall be available at "First Come First Served" basis. Applicants shall have to deposit complete amount expected for their stay with Guest House/Hostel on arrival. Those applicants who wish to stay outside campus may find many budget and better hotels in near vicinity of the campus within walking distance.
Guest House Room: Rs 500/= (Twin Share basis)
Guest House Breakfast : approx. Rs 100/=
Guest House Lunch/Dinner : Rs 150/= - Rs 200/=
Hostel Room : Rs 100/=
Hostel Breakfast: Rs 30/=
Hostel Lunch/Dinner: Rs 45/=
Please note that prices may slightly vary. Campus also houses a canteen "Annapurna" that operates till 8:00 PM.
Participants from abroad : US $100
Industry/ Research Organizations : Rs 5000
Faculty from other Academic Institutions : Rs 3500
Students from other Academic Institutions : Rs 1000
Faculty /Students from MNIT and IIIT Kota : Rs 1000
The course fee will be half for SC/ST students
Applicants are also requested to email filled in registration form along with proof of payment for MNIT course registration.
Fees may be paid via Demand Draft in favour of "REGISTRAR (SPONSORED RESEARCH) MNIT Jaipur" payable at Jaipur.
fees can be paid through National Electronic Funds Transfer (NEFT)
Account No. : 676801700388
In name of "REGISTRAR (SPONSORED RESEARCH) MNIT Jaipur"
Bank : ICICI Bank, Branch MNIT Jaipur
IFSC Code: ICIC0006768.
Registration can also be deposited in cash.
Preferred mode of registration is Demand Draft.
Email filled in "Registration Form", scan copy of "Demand Draft/NEFT Transaction Receipt" and pdf file (downloaded from GIAN Portal Registration) to 2014RCP9508@mnit.ac.in and firstname.lastname@example.org. Please mention "GIAN (The Science for Remulation for Executable Biology) in Subject of the email accompanied with attachments of (1) Registration Form, (2) GIAN registration and (3) Proof of Payment" and send it on or before November 14, 2016. Copy of caste certificate needs to be sent by SC/ST students.
Please note that no TA/DA shall be paid to participants.