B.Sc. in Computer Engineering, School of Electrical and Computer Engineering,

Transcription

1 Narges Khakpour Postdoctoral Researcher Theoretical Computer Science School of Computer Science and Communication Royal Institute of Technology (KTH) Stockholm Leiden Institute of Advanced Computer Science Leiden University Leiden, The Netherlands Education 2013 (Expected) : PhD. in Computer Science, Leiden Institute of Advanced Computer Science Leiden University Thesis Title: Safe Structural Adaptation Supervisors: Prof. Farhad Arbab, Dr. Jetty Kleijn April 2012 : Feb 2006 : Feb 2003 : PhD. in Computer Engineering, School of Electrical and Computer Engineering, Tarbiat Modares University Thesis Title: Formal Modeling and Verification of self-adaptive Systems Supervisors: Dr. Saeed Jalili, Dr. Marjan Sirjani, accepted with score (18/18) M.Sc. in Computer Engineering, School of Electrical and Computer Engineering, Tarbiat Modares University: Thesis Title: Verification of Firewalls Configuration vs. Security Policies Using Description Logics, accepted with score (19.75/20). Supervisor: Dr. Saeed Jalili B.Sc. in Computer Engineering, School of Electrical and Computer Engineering, Shahid Beheshti University: Thesis Title: Design and Implementation of an Electronic Shop Supervisor: Dr. Ghasem Jaberipour Research Interests - Logic (Hoare Logic, Separation Logic,Rewriting Logic,Description Logic), Theorem Proving, Machine Code Verification, Process Algebra, Actor-based Models - Security, Self-* Systems, Component-based Systems - Supervisory Control Theory, Program Synthesis - Graph Transformation Systems - Runtime Verification 1

2 Publications Journal Papers 1. N. Khakpour and S. Jalili, Verification of Distributed Firewalls Configuration vs. Security Policies: A Description Logic Approach, Applied Artificial Intelligence, vol.23, no.10, pp , 2009, Taylor & Francis. 2. N. Khakpour, S. Jalili, C. Talcott, M. Sirjani, and M. Mousavi, Formal Modeling of Evolving Self-Adaptive Systems, Science of Computer Programming, vol. 78, no. 1, pp. 3-26, 2012, Elsevier. 3. N. Khakpour, S. Jalili, M. Sirjani, U. Goltz, B. Abolhasanzadeh, HPobSAM for Modeling and Analyzing IT-Ecosystems - Through a Case Study, Journal of Systems and Software, vol. 85, no. 12, pp , 2012, Elsevier. Conference Papers 1. N. Khakpour, M. Sirjani, U. Goltz, Context-Based Behavioral Equivalence of Components in Self-Adaptive Systems, In Proceedings of the 13th Conference on Formal Engineering Methods, LNCS 6991, pages 16-32, Durham, UK, 2011, Springer-Verlag Berlin Heidelberg. 2. N. Khakpour, R. Khosravi, M. Sirjani, and S. Jalili, Formal Analysis of Policy-based Self-Adaptive Systems, In Proceedings of the 25th ACM Symposium on Applied Computing, Sierre, Switzerland, 2010, ACM. 3. N. Khakpour, S. Jalili, C. L. Talcott, M. Sirjani, M. R. Mousavi, PoBSAM: Policybased Managing of Actors in Self-Adaptive Systems, Electr. Notes Theor. Comput. Sci. 263, pp , M. Khaksar, S. Jalili, and N. Khakpour, Monitoring Safety Properties of Composite Web Services at Runtime Using CSP, In Proceedings of the Middleware for Web Services Workshop at 13th International IEEE EDOC Conference (MWS 2009), Auckland, New Zealand, 2009, IEEE Computer Society Press. 5. N. Khakpour, M. Sirjani, and S. Jalili, Formal Analysis of Smart Home Policies using Compositional Verification, In Proceedings of the 10th International Conference on Feature Interaction, pages , Lisbon, Portugal, 2009, IOS Press. 6. N. Khakpour and S. Jalili, Using Supervised and Transductive Learning Techniques to Extract Network Attack Scenarios, In Proceedings of the CSI Computer Conference, Tehran, Iran, 2009, IEEE Computer Society Press. 7. N. Khakpour and S. Jalili, A Formal Approach for Analysis of Distributed Firewalls Configurations, In Proceedings of the 12th Iranian Computer Society Conference, Tehran, Iran, S. Jalili and N. Khakpour, Verification of Service Access Control Policies: A Description Logic Approach, In Proceedings of the 11th Iranian Computer Society Conference, pages , Tehran, Iran,

3 Pending Papers 1. M. Dam, R. Guanciale, N. Khakpour, H. Nemati, O. Schwarz, Formal Verification of Information Flow Security for a Simple ARM-Based Separation Kernel, submitted. 2. M. Dam, N. Khakpour, O. Schwarz, Formal Verification of ARMv7 Security Properties for User Mode Execution, in preparation for submission. 3. N. Khakpour, E. Rutten, F. Arbab, Safe Structural Adaptation Using Supervisory Control Theory, Submitted. 4. N. Khakpour, F. Arbab, J. Kleijn, M. Sirjani, Dynamic Model Construction of Self- Adaptive Systems, Submitted. 5. B. Abolhasanzadeh, S. Jalili, N. Khakpour, Toward Modeling and Runtime Verification of Self-Organizing Systems, revised. 6. N. Khakpour, S. Jalili, M. Sirjani, An Algebraic Approach for Runtime Verification of Self-Adaptive Systems, Submitted. Technical Reports 1. N. Khakpour, A Formal Model to Develop and Verify Self-Adaptive Systems, Doctoral Symposium of 16th International Symposium on Formal Methods, Eindhoven University of Technology Technical Report CS-09-15, Eindhoven, the Netherlands, U. Goltz, N. Khakpour, C. Knieke, L. Martin, Behavioral Modeling of IT Ecosystems, Technical Report of NTH School for IT Ecosystems, N. Khakpour, S. Jalili, M. Sirjani, Assuring the Correctness of Large-scale Adaptive Systems, Technical Report of Technical University of Braunschweig , Professional Activities Postdoctoral Researcher (April 2012-) School of Communication and Computer Science, KTH the Royal Institute of Technology, Stockholm, Sweden,. Researcher (November 2010-May 2011) Institute for Programming and Reactive Systems, Technical University of Braunschweig, Germany. Researcher (February June 2009) Iran Telecommunication Research Center(Tehran) Researcher: A Service-oriented Architecture based on Public Key Infrastructure 3

4 Talks Thomas A. Henzinger s Group, Institute of Science and Technology (IST), Austria, November Institute for Programming and Reactive Systems, Technical University of Braunschweig, Germany, May Honors and Grants Research Fellowship from NTH School for IT Ecosystems, Germany, November May Best PhD Defense Award, Doctoral Symposium of 16th International Symposium on Formal Methods, Travel Grant to attend 16th International Symposium on Formal Methods, Graduated among top three in Computer Engineering, M.Sc. program, Grant form Iran Telecommunication Research Center for MSc thesis. Graduated among top five in Computer Engineering, B.Sc. program, Ranked 236th among 100,000 students in the Nationwide Examination for Undergraduate Admissions in the Public Universities, Iran, th place of National Mathematics Olympiad, Chahar-mahal Province, Iran, MSc Students Adam Renberg KTH Stockholm, 2012 (Supervisor) PC member 2013 Fundamentals of Software Engineering, FSEN External Review 2013 VMCAI ICFEM 12, FOCLASA FACS 11, Coordination 11, CSSE 11, FMICS 11, ICFEM FACS 10, Coordination 10, FOLCASA 10, ICFEM 10, ICTAC FACS 09 Iranian Journal of Computer and Electrical Engineering, Scientica Informatica, IJPS 4

5 Skills Tools: Hol4, Maude, µcrl2, Spin, UPPAL, Modere Programming Languages: SML, Java, AspectJ, C-sharp Database: MS SQL Server Development Tools: Eclipse, MS Visual Studio.NET 2005/2003 Work Experience Designer and Developer (November September 2006) ITOrbit (Fatemi Street, Tehran) Designer and Developer: Cost Accounting System Designer and Developer: Inventory System Researcher: Modeling ERP Systems System Analyst and Designer(November June 2005) ISIRAN Company (Aghdasiyeh, No-bonyad Square, Tehran) System Analyst: Strategic Planning for the General Inspection Organization of Iran Designer: Design and Implementation of Sample System Researcher (May September 2003) Azad University of Majlesi(Majlesi town, Isfahan) Researcher: Face recognition Researcher: Designing a Video Compressor based on 3D wavelet projects Researcher (June November 2002) Laser Research Institute(Shahid Beheshti University, Tehran) Researcher: 3D-Digitizer : Extraction of 3-D Information and Texture of Objects Using Optical Spectra 5

6 References Marjan Sirjani Associate Professor at School of Computer Science, Reykjavik University MohammadReza Mousavi Professor at Halmstad University, Halmstad, Sweden mousavi/ Mads Dam Professor at KTH Stockholm, Sweden mfd/ Carolyn Talcott Senior Computer Scientist at Computer Science Laboratory, SRI, Menlo Park, California Saeed Jalili Associate Professor at Faculty of Electrical and Computer Engineering, Tarbiat Modares University, Tehran 6