CURRICULUM VITAE Maryam Kamali Contact Information Postal Address: Åbo Akademi University, Dept. of Information Technologies Joukahaisenkatu 3-5, FIN-20520 Turku, Finland Phone: +358-2-215-3377 Home Page: http://users.abo.fi/mkamali/ E-mail: [email protected] Education PhD in Computer Science, Information Technology Department, Åbo Akademi University, (TUCS graduate position), Turku, Finland, 2009-Present Thesis Title: Formal Methods for the analysis of Network Designs, Supervisors: Professor Kaisa Sere and Dr. Luigia Petre M.Sc. in Information Technology Engineering, Computer Engineering Department, The Iran University of Science and Technology (IUST), Tehran, Iran, 2006-2008 GPA: 16.40/ 20 Thesis Title: The Design & Implementation of Coordination between Sensor Nodes and Actor Nodes to Improve Fault-Tolerance of Wireless Sensor Actor Networks, Supervisor: Associate Professor Mohsen sharifi B.Sc. in Software Engineering, Computer Engineering Department, the Azad University of Qazvin, Qazvin, Iran, 2001-2005 GPA: 15.81/ 20 Job Experiences Senior Technical Expert in Meteorological Organization at Telecommunication Department, Tehran, Iran, 2005-2007 University Trainer in Binaloud University College Mashhad, Mashhad, Iran, 2008-2009 Research Interests • Distributed Systems • Real-time Systems • Formal Methods • Wireless Sensor Networks • Wireless Sensor Actor Networks Technical Skills • Event-B • SPIN: model checker • Linux and Networking under Linux • MS-SQL Server, Oracle • Rational Rose, RUP, UML • Java • Ptolemy, Visual Sense Honors • Nokia Foundation Research Excellence Award, 2010. • 2-year fellowship for Doctoral Degree from Turku Centre for Computer Science (TUCS), 2009. Publications 1. Maryam Kamali, Linas Laibinis, Luigia Petre and Kaisa Sere, "A Distributed Implementation of a Network Recovery Algorithm", Accepted for publication in the International Journal of Critical Computer-Based Systems (IJCCBS) journal, August 2012. 2. Maryam Kamali, Linas Laibinis, Luigia Petre and Kaisa Sere, "Formal Development of Wireless Sensor-Actor Networks”, Accepted for publication in Science of Computer Programmin (SCP) journal, Elsevier, March 2012. 3. Masoud Daneshtalab, Maryam Kamali, Masoumeh Ebrahimi, Saeed Mohammadi, Ali Afzali- Kusha, Juha Plosila, “Adaptive Input-Output Selection Based On-Chip Router Architecture”, In Journal of Low Power Electronics, Volume 8, Number 1, pp. 11-29, February 2012. 4. Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab, “CorreComm: A Formal Hierarchical Framework for Communication Designs”, In the proceedings of the 2nd IEEE International Conference on Networked Embedded Systems for Enterprise Applications, Perth, Australia, IEEE Computer Society, pp. 1-7, December 2011. (Nominated as best papers) 5. Maryam Kamali, Luigia Petre, Kaisa Sere,Masoud Daneshtalab,” Formal Modeling of Multicast Communication in 3D NoCs”, In the Proceedings of the 14th Euromicro Conference on Digital System Design (DSD 2011), pp. 634- 642, Oulu, Finland, August-September 2011, IEEE Xplore Digital Library. 6. Maryam Kamali, Luigia Petre, Kaisa Sere,Masoud Daneshtalab, " Refinement-Based Modeling of 3D NoCs", In proceedings of the 4th IPM International Conference on Fundamentals of Software Engineering, FSEN 11, Volume 7141, Apr 2011. Springer-Verlag,. 7. Maryam Kamali, Luigia Petre, Kaisa Sere,Masoud Daneshtalab, “A Formalization of 3D NoCs”, In proceedings of the 22nd Nordic Workshop on Programming Theory, NWPT2010, November 2010. 8. Maryam Kamali, Linas Laibinis, Luigia Petre and Kaisa Sere, "Self-Recovering Sensor-Actor Networks", In proceedings of 9th International Conference on the Foundations of Coordination Languages and Software Architectures, FOCLASA2010, September 2010. 9. Maryam Kamali, Linas Laibinis, Luigia Petre and Kaisa Sere, "Reconstructing Coordination Links in Sensor-Actor Networks", In proceedings of the 4th Nordic Workshop on Dependability and Security, NODES2010, June 2010. 10. Maryam Kamali, Linas Laibinis, Luigia Petre and Kaisa Sere, "Reconstructing Coordination Links in Sensor-Actor Networks", Technical Report 967, TUCS, February 2010. 11. Mohsen Sharifi, Saeed Sedighian and Maryam Kamali, "Recharging Sensor Nodes Using Implicit Actor Coordination in Wireless Sensor Actor Networks", In Scientific Research Journal of Wireless Sensor Network, Volume 2, Number 2, pp. 123 – 131, February 2010. 12. M. Sharifi, M. Kamali, S. Sedighian and G.A. Kamali, "Study on Deployment of Wireless Sensor Network in Hard Environment to Monitor Climatic Disaster”, In Proceedings of National Conference on Climatic Disaster Reduction, Ardebil, Iran, April 19-20, 2009. 13. Maryam Kamali, Mohsen Sharifi and Saeed Sedighian , "A Distributed Recovery Mechanism for Actor-Actor Connectivity in Wireless Sensor Actor Networks", In Proceeding of the 4nd IEEE International Conference on Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP), Sydney, Australia, pp. 183-188, 15-18 December 2008. 14. M. Sharifi, M. Kamali, S. Sedighian and G.A. Kamali, “The Role of Wireless Sensor Network in Flood Forcasting”, In Scientific Journal of Applied Meteorology, 2008. .