CV: Prof. Lars M. Kristensen, PhD
|
|
|
- Matilda Kelley
- 7 years ago
- Views:
Transcription
1 CV: Prof. Lars M. Kristensen, PhD Personal Information Name: Lars M. Kristensen Date of Birth: September 1, 1971 Civil status: Married, two children Nationality: Danish Homepage: home.hib.no/ansatte/lmkr Academic Degrees MSc in Computer Science and Mathematics, University of Aarhus, Denmark, June PhD in Computer Science, University of Aarhus, Denmark, April Academic Career 02/2009 present Professor, Department of Computing, Bergen University College. 07/ /2009 Associate Professor, Dept. of Comp. Science, University of Aarhus. 04/ /2007 Research Associate Professor, Dept. of Comp. Science, University of Aarhus. 09/ /2005 Research Assistant Professor, Dept. of Comp. Science, University of Aarhus. 08/ /2002 Research Fellow, Computer Systems Engineering Centre, University of South Australia / Australian Defence Science and Technology Organisation. 02/ /2000 Research Assistant Professor, Dept. of Comp. Science, University of Aarhus. Research Projects and Grants T. Røkenes, L.M. Kristensen, P. Trefall, and R. Herhim. The SIMSubsea game-based Learning Application. Partner Investigator. Supported by Bergen University College, One Subsea, Aker Solutions, FMC Technologies, NCE Subsea. 2.5 MNOK, T. Ågotnes, H. Helstrup, Y. Lamo, and L.M. Kristensen. FormGRID: Formal Verification of GRID Systems. Partner Investigator. Supported by the Norwegian Research Council. NOK 4,100, K. Grønbæk, L.M. Kristensen, K.M. Hansen, and L.A. Arge. A Platform for Galileo Based Pervasive Positioning. Joint Primary Investigator. Supported by the Danish National Advanced Technology Foundation. DKR 5,800,000 (University of Aarhus part) L.M. Kristensen. SensoByg : Sensor-based Surveillance in the Construction Industry. Primary Investigator. Innovation consortium supported by the Danish Agency for Science, Technology and Innovation. DKR 1,800,000 (University of Aarhus part) L.M. Kristensen. Advanced State Space Methods and Computer Tools for Verification of Communication Protocols. Primary Investigator. Project Grant. Danish Research Council for Technology and Production. DKR 4,000, L.M. Kristensen, I. Thysen, J. Pagter, B. Magnussen, L. Personen, M. Gilbertsson, and T. Bak. Mobile Internet Services for Online Support of Agricultural Machinery. Joint Primary Investigator. Nordunet 3 Programme of the Nordic Natural Science Research Council. DKR 1,500, L.M. Kristensen. Development and Validation of Communication Protocols for Mobile Ad-hoc Networking. Primary Investigator. Carlsberg Foundation. DKR 1,100, K.M. Hansen and L.M. Kristensen. Architecture for Communication between Mobile and Stationary Devices. Joint Primary Investigator. Project Grant from ISIS Katrinebjerg. DKR 2,800, L.M. Kristensen. Formal Methods and Computer Tools for the Development of Communication Protocols. Primary Investigator. Steno Grant. Danish Natural Science Research Council. DKR 1,771, J. Billington and L.M. Kristensen. Sweep-line State Space Methods for the Verification of Concurrent and Distributed Systems. Primary Researcher. Discovery Grant from the Australian Research Council
2 L.M. Kristensen. Information Infrastructure for Electronic Commerce. Primary Investigator. Post Doc. Grant. Danish Natural Science Research Council. DKR 210, Selected Programme, Steering Committees, and Editorial Boards International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, 2002, 2007,2008,2009,2010, 2011 (PC co-chair), 2012, 2015 French Singaporean Workshop on Formal Methods and Applications, 2013, 2014 IEEE International Conference on Mobile Ad-hoc and Sensor Systems, 2011, International Workshop on Petri Nets and Software Engineering, International Workshop on Sensor Networks and Ambient Intelligence, 2008, 2009, 2012, 2013 International Workshop on Network Simulation Tools, International Workshop on Localized Algorithms and Protocols for Wireless Sensor Networks, 2007, European Conference on Modelling and Simulation, International Conference on Distributed Computing, Applications and Technologies, International Workshop on Petri Nets and Distributed Systems, 2008 International Workshop on Teaching Concurrency, International SPIN Workshop on Model Checking of Software, International Workshop on Formal Methods Applied to Defence Systems, 2002 (PC co-chair). Guest co-editor on special issue of Fundamenta Informaticae journal based on Petri Nets Guest co-editor on special volume of the LNCS Transaction on Petri Nets and Other Models of Concurrency on Protocols, Networks, and Services, 2012 Member of the editoral board for Transactions on Petri Nets and Other Models of Concurrency (ToPNoC), a subseries of Lecture Notes in Computer Science (LNCS) published by Springer. Member of the steering committee for the International Conference on Application and Theory of Petri Nets and Concurrency. Reviewer for more than 30 international journals, conferences, and workshops. Reader of Grant Applications for the Swiss and Czech Science Foundations. Bachelor and Master s Thesis Supervision: Supervision of two honors thesis at University of South Australia, three bachelor projects at Bergen University College, 23 master s theses in Computer Science at University of Aarhus, 3 master s theses in software engineering at Bergen University College, and currently supervising six master s projects at Bergen University College. PhD Supervision and Examination: Currently supervising three PhD research fellow and projects within concurrent software systems modeling and verification at Bergen University College. Expected completion 2014, 2016, and M.T. Hansen. Efficient Protocols and Middleware for Sensor Networks (supervision ended with move to Bergen University College). Degree awarded J. Andersen. Medical Sensor Network Infrastructures Degree awarded J. Brøndsted. Software Architecture and Communication in Mobile Environments, University of Aarhus, Supervised with K.M. Hansen. Degree awarded M. Westergaard. Model Checking and State Space Methods. University of Aarhus, Jointly supervised with K. Jensen. Degree awarded C. Ouyang. The Internet Open Trading Protocol. University of South Australia, Cosupervised with Prof. Jonathan Billington. Degree awarded Associate supervisor for Ph.D. students: S. Gordon, L. Liu, B. Han, and A. Singh, University of South Australia, Main supervisor was Prof. Jonathan Billington. Examiner (opponent) on 12 PhD theses (Denmark, Germany, Australia, and Norway)
3 Research Management and Administrative Experience Acting Deputy Dean of Research at the Faculty of Engineering, Bergen University College, November 2013 April Director of the strategic research program on Software Technologies for Distributed Systems at Bergen University College, 2009 present Member of the steering committee for the HiB-UiB joint master s degree in software engineering, 2012-present Member of the teaching committee for the Bachelor Programme in Computing and Information Technology at Bergen University College, present Completed 3x3 day Research Leadership Programme organised by the research administration of University of Oslo, November 2011 March Chair of the teaching committee for the Bachelor Programme in Computing and Information Technology at Bergen University College, Member of the PhD commitee, Computer Science Department, Aarhus University, Member of the teaching commitee for technical IT, electrical, and optical engineering, Aarhus Graduate School of Engineering ( ). Member of the Danish Censor Corpus for Computer Science, Member of the steering commitee for the SensoByg innovation consortium under the Danish Agency for Science, Technology, and Innovation, Member of the Departmental Advisory Board, Department of Computer Science, University of Aarhus, Awards The Research and Development Prize of Bergen University College, The prize is awarded to researchers at Bergen University College that have succeeded in research and development work of high quality in a regional and in an international context. The Danish Independent Research Councils Young Researcher s Award, The award was given in relation to the project Advanced State Space Methods and Computer Tools for Verification of Communication Protocols. The award is given to talented young researchers below the age of 35 who have earned recognition for their work to such an extent that is unusual for their age. Selected Invited Talks and Tutorials 1. L.M. Kristensen. From Executable Simulation Models to Executable Protocol Software. Invited talk at International Conference on Simulation Tools and Techniques, Lisbon, L.M. Kristensen. Coloured Petri Nets. Invited tutorial at the International Conference on Application and Theory of Petri Nets, 2012, 2013, L.M. Kristensen. State Spaces and Protocol Verification. Invited lecture shared with W. Penczek at the 5 th Advanced Course and PhD School on Petri Nets, Rostock, Germany, L.M. Kristensen. Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future. Invited talk at ICATPN 2010, Braga, Portugal, M.Westergaard and L.M. Kristensen. State Space Exploration and the ASAP Model Checking Platform. Tutorial at the ICATPN 2010, Braga, Portugal, L.M. Kristensen. The ASAP Platform: Next Generation Tool Support for State Space Analysis of CPN Models. Invited talk at International Workshop on Petri Nets and Distributed Systems, Xian, China, L.M. Kristensen: Modelling and Validation of Communication Protocols using Coloured Petri Nets. Ph.D. School on Verification of Protocols for Security and Mobility. IT University of Copenhagen. October 2006.
4 Selected Recent Publications ( ) Google scholar summary: Citations = 2847 and h-index = 22 [ ] Textbooks and proceedings 1. L.M. Kristensen, W. Penczek, and L. Petrucci. Application and Theory of Petri Nets, Special issue of Fundamenta Informaticae, Vol. 122, No-1-2, IOS Press, 2013.Level Wil M. van der Aalst, M. Ajmone Marsan, G. Franceschinis, J. Kleijn, L.M. Kristensen (Eds). Transactions on Petri Nets and Other Models of Concurrency VI. Special issue on Best Papers from Petri Nets 2012 with special section on Networks, Protocols, and Services. Subseries of Lecture Notes in Computer Science, LNCS Vol 7400, Springer, Level L.M. Kristensen and L. Petrucci (Eds.). Proc. of 32 nd International Conference on Application and Theory of Petri Nets and Other Models of Concurrency. Vol of Springer Lectures Notes in Computer Science, Level K. Jensen and L.M. Kristensen. Coloured Petri Nets Modelling and Validation of Concurrent Systems. Springer, July Level 1. Peer-reviewed international journals (Level 1 or Level 2 publications) 1. K. Jensen and L.M. Kristensen: Coloured Petri Nets: A Graphical Language for Formal Modelling and Validation of Concurrent Systems. Accepted for Communication of the ACM. Level A. Kumar, L.M. Kristensen, and K. Ovsthus. An Industrial Perspective on Wireless Sensor Networks - A Survey of Requirements, Protocols, and Challenges. To appear in IEEE Communications Survey and Tutorials, Level S. Evangelista and L.M. Kristensen. A Sweep-Line Method for Buchi Automata-based Model Checking. To appear in Fundamenta Informaticae, Level A. Kumar, L.M. Kristensen, and K. Ovsthus. An Industrial Perspective on Wireless Sensor Networks - A Survey of Requirements, Protocols, and Challenges. To appear in IEEE Communications Survey and Tutorials, Level S. Evangelista and L.M. Kristensen. Dynamic State Space Partitioning for External Memory State Space Exploration. Vol. 78, Issue 7 of Science of Computer Programming, pp , Elsevier, Level 2 6. L.M. Kristensen and K. Simonsen. Application of Coloured Petri Nets for Functional Validation of Protocol Designs. In Transactions on Petri Nets and Other Models of Concurrency, LNCS Vol. 7480, pp , Springer, Level K. Jensen, L.M. Kristensen, and T. Mailund. The Sweep-line State Space Exploration Method. In Theoretical Computer Science, Elsevier, 2012 (in press). Level 2 8. M. Westergaard and L.M Kristensen. A Graphical Approach to Component-based and Extensible Model Checking Platforms. Accepted for LNCS Transactions on Petri Nets and Other Models of Concurrency, Springer, Level S. Evangelista and L.M. Kristensen. Search-Order Independent State Caching. In LNCS Transactions on Petri Nets and Other Models of Concurrency. Vol 4, pp , Springer, Level P. Fleischer and L.M. Kristensen. Modelling and Validation of Secure Connection Establishment in a Generic Access Network Scenario. In Vol. 94, No. 3-4 of Fundamenta Informaticae, pp , IOS Press, Level S. Evangelista, M.Westergaard, and L.M. Kristensen The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection. In of LNCS Transactions on Petri Nets and Other Models of Concurrency Vol. 3, pp , Springer, Level 1. Peer-reviewed international conference papers (All level 1 publications) 1. L.M. Kristensen. Investigating Optimal Progress Measures for Verification of the WebSocket Protocol. Accepted for the Norwegian Informatics Conference, A. Kumar, K. Ovsthus, and L.M. Kristensen. Towards a Dual-mode Adaptive MAC Protocol (DMA-MAC) for Feedback-based Networked Control Systems. In Procedia Computer Science, 2014, Vol. 34, pp K. Simonsen and L.M. Kristensen. Implementing the WebSocket Protocol based on Formal Modelling and Automated Code Generation. To appear in IFIP Conference on Distributed Systems and Interoperable Systems. Springer Lecture Notes in Computer Science, A. Kumar, L.M. Kristensen, and K. Ovsthus: A Formal Executable Specification of the GinMAC Protocol for Wireless Sensor Actuator Networks. In Proc. of 8th Int. Symposium on Wireless Pervasive Computing, IEEE Computer Society, To Appear. 5. K. Simonsen, E. Kindler, and L.M. Kristensen. Generating Protocol Software from CPN Models annotated with Pragmatics. In Proc. of SBMF'13. Vol of Lecture Notes in Computer Science, pp , Springer S. Evangelista, L.M. Kristensen, and L. Petrucci. Multi-threaded Explicit State Space Exploration with State Reconstruction. In Proc. of ATVA Vol of Lecture Notes in Computer Science, pp , K. Simonsen and L.M. Kristensen. Towards a CPN-based Modelling Approach for Reconciling Verification and Implementation of Protocol Models. In Proc. of 8th International Workshop on Model-based Methodologies for Pervasive and Embedded Software. LNCS Vol. 7706, pp , Springer, S. Evangelista and L.M. Kristensen. Hybrid LTL Model Checking with the Sweep-Line Method. Accepted for International Conference on Application and Theory of Petri Nets (ICATPN), Proceedings published in LNCS series, Springer, S.Taktak and L.M. Kristensen. Formal Modelling and Initial Validation of the Chelonia Distributed Storage System: In Proc. of International Conference on Grid and Pervasive Computing. Vol of LNCS, pp , Springer, L.M. Kristensen: A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future. In Proc. of ICATPN 10, Vol of LNCS, pp , Springer, Invited talk
5 11. M. Westergaard, L.M. Kristensen, and M. Kuusela. Towards Cosimulating SystemC and Coloured Petri Net Models for SoC Functional and Performance Evaluation. In Proc. of 21 st European Modeling and Simulation Symposium. September L. M. Kristensen and M. Westergaard: Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept. In Formal Methods for Industrial Critical Systems (FMICS), Vol of LNCS, pp , Springer, S. Evangelista and L.M. Kristensen. Dynamic State Space Partitioning for External Memory Model Checking. In Proc. of Formal Methods for Industrial Critical Systems (FMICS), Vol of LNCS, pp Springer, M. Westergaard, S. Evangelista, and L.M. Kristensen. ASAP: An Extensible Platform for State Space Analysis. In Proc. of ICATPN, Vol of LNCS, pp Springer, M. Westergaard and L.M. Kristensen. The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator. In Proc. of ICATPN, Vol of LNCS, pp Springer-Verlag, In addition: A total of 31 peer-reviewed publications in international workshops.
CPN Tools 4: A Process Modeling Tool Combining Declarative and Imperative Paradigms
CPN Tools 4: A Process Modeling Tool Combining Declarative and Imperative Paradigms Michael Westergaard 1,2 and Tijs Slaats 3,4 1 Department of Mathematics and Computer Science, Eindhoven University of
Curriculum Vitae. 1 Person Dr. Horst O. Bunke, Prof. Em. Date of birth July 30, 1949 Place of birth Langenzenn, Germany Citizenship Swiss and German
Curriculum Vitae 1 Person Name Dr. Horst O. Bunke, Prof. Em. Date of birth July 30, 1949 Place of birth Langenzenn, Germany Citizenship Swiss and German 2 Education 1974 Dipl.-Inf. Degree from the University
B.Sc. in Computer Engineering, School of Electrical and Computer Engineering,
Narges Khakpour Postdoctoral Researcher Theoretical Computer Science School of Computer Science and Communication Royal Institute of Technology (KTH) Stockholm E-mail: nargeskh@kth.se Leiden Institute
Dr Christos Anagnostopoulos. 1. Education. 2. Present employment. 3. Previous Appointments. Page 1 of 6
Dr Christos Anagnostopoulos 1. Education Ph.D. in Computer Science Department of Informatics & Telecommunications, National and Kapodistrian University of Athens, July 2008 Dissertation: Pervasive and
Test Coverage Criteria for Autonomous Mobile Systems based on Coloured Petri Nets
9th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems Institut für Verkehrssicherheit und Automatisierungstechnik, TU Braunschweig, 2012 FORMS/FORMAT 2012 (http://www.forms-format.de)
CURRICULUM VITAE OF DAN D. V. BHANDERI
1 CURRICULUM VITAE OF DAN D. V. BHANDERI Last update: 18th January 2008 PERSONAL DATA Name: Degree: Birth: Gender: Citizenship: Dan D. V. Bhanderi M.Sc.E.E., Ph.D. May 4th, 1977 in Vejle, Male Danish CURRENT
Supervisors: Ph.D., Dr.scient. Hans C. Fogedby and Prof. Per Bak Institute of Physics & Astronomy, University of Århus, DK-8000 Århus C, Denmark.
Curriculum vitae Personal Name: Kim Christensen. Sex: Male. Date of birth: 1st December, 1962. Place of birth: Søndre Sogn, Viborg, Denmark. Nationality: Danish. Affiliation: Imperial College London, Blackett
C.V. Personal Information
Personal Information C.V. Name : Mohammed Amoon Ahmed Sharaby. Place of birth : Menouf - Menoufia, Egypt. Date of birth : 9 / 2 / 1974. Specialization : Computer Science & Engineering Distributed Computing
Ulrik M. Nyman - Curriculum Vitæ
Ulrik M. Nyman - Curriculum Vitæ Personal Information Ulrik Mathias Nyman Phone: 40 89 21 56 Doravej 45 st. th. Email: ulrik@cs.aau.dk 9000 Aalborg Born: 2nd of December 1978 Married to Tina, Father of
Call for Papers for Ad-hoc and Sensor Networks Symposium
Call for Papers for Ad-hoc and Sensor Networks Symposium Scope and Motivation: An ad-hoc network is a system of wireless nodes dynamically self-organizing in arbitrary and temporary network topologies.
Preface. Book Origin and Overview
Preface The field of wireless sensor networks continues to evolve and grow in both practical and research domains. More and more wireless sensor networks are being used to gather information in real life
Dr. Shashank Srivastava. Contact. E-mail: shashank12@mnnit.ac.in. Telephone: 0532-2271365. Teaching. Courses Taught: Current Courses: Past Courses:
Dr. Shashank Srivastava Assistant Professor Department of Computer Science & Engineering Image Processing Department Building-First Floor Motilal Nehru National Institute of Technology Allahabad-211004,
ERIC WILLIAM GILL, Ph.D., P.Eng. Faculty of Engineering and Applied Science Memorial University of Newfoundland Ph: 709-864-8922; Email: ewgill@mun.
CURRICULUM VITAE ERIC WILLIAM GILL, Ph.D., P.Eng. Faculty of Engineering and Applied Science Ph: 709-864-8922; Email: ewgill@mun.ca EDUCATION 1999 Ph.D. (Engineering Electromagnetics) Dissertation: The
Curriculum Vitae. Jens Chr. Godskesen. IT University of Copenhagen Rued Langgaards Vej 7, DK-2300 Copenhagen S, Denmark www.itu.
Curriculum Vitae Jens Chr. Godskesen Date of Birth May 25, 1963 Position Address www Positions Head of Department IT University of Copenhagen Rued Langgaards Vej 7, DK-2300 Copenhagen S, Denmark www.itu.dk/~jcg
CURRICULUM VITAE. John P Ulhøi Professor of OMT
CURRICULUM VITAE John P Ulhøi Professor of OMT Affiliation: Centre for Organizational Renewal and Evolution Aarhus School of Business, Aarhus University Location: Haslegaarden - Bld. D, Room 530 Born:
Teaching in School of Electronic, Information and Electrical Engineering
Introduction to Teaching in School of Electronic, Information and Electrical Engineering Shanghai Jiao Tong University Outline Organization of SEIEE Faculty Enrollments Undergraduate Programs Sample Curricula
Knowledge Discovery from Data Bases Proposal for a MAP-I UC
Knowledge Discovery from Data Bases Proposal for a MAP-I UC P. Brazdil 1, João Gama 1, P. Azevedo 2 1 Universidade do Porto; 2 Universidade do Minho; 1 Knowledge Discovery from Data Bases We are deluged
DR AYŞE KÜÇÜKYILMAZ. Imperial College London Personal Robotics Laboratory Department of Electrical and Electronic Engineering SW7 2BT London UK
DR AYŞE KÜÇÜKYILMAZ Imperial College London Personal Robotics Laboratory Department of Electrical and Electronic Engineering SW7 2BT London UK http://home.ku.edu.tr/~akucukyilmaz a.kucukyilmaz@imperial.ac.uk
CURRICULUM VITAE. Igor V. Maslov. 1-24-17-6 Sasazuka, Shibuya-ku Phone: +81 (80) 54863304. Web: http://www.columbia.edu/~ivm3/
CURRICULUM VITAE 1 Igor V. Maslov Contact information 1-24-17-6 Sasazuka, Shibuya-ku Phone: +81 (80) 54863304 Tokyo 151-0073 E-mail: ivm3@columbia.edu Japan Web: http://www.columbia.edu/~ivm3/ Education
Invitation. Nordic PhD course in Advanced Systems Analysis: economic, technical, and societal aspects.
Department of Computer and Systems Sciences (DSV) Invitation Nordic PhD course in Advanced Systems Analysis: economic, technical, and societal aspects. The course aims at a conceptual discussion of systems
Summary. Grants. Publications. Peer Esteem Indicators. Teaching Experience. Administrative Experience. Industrial Experience
Summary Grants Total amount of 32,535 in two Google Research Awards, for which I wrote proposals as the Principal Researcher. Publications Peer-reviewed journal papers accepted or in print: 3 Peer-reviewed
Sarah M. Loos. Education. Research Interests. Fellowships. Honors/Awards
Computer Science Department, CMU 5000 Forbes Avenue Pittsburgh, Pennsylvania 15213 Phone: +1 812.606.7760 Email: sloos@cs.cmu.edu Website: www.cs.cmu.edu/~sloos Education Ph.D. Carnegie Mellon University,
AN EFFICIENT STRATEGY OF AGGREGATE SECURE DATA TRANSMISSION
INTERNATIONAL JOURNAL OF REVIEWS ON RECENT ELECTRONICS AND COMPUTER SCIENCE AN EFFICIENT STRATEGY OF AGGREGATE SECURE DATA TRANSMISSION K.Anusha 1, K.Sudha 2 1 M.Tech Student, Dept of CSE, Aurora's Technological
Special Issue on Advances of Utility and Cloud Computing Technologies and Services
Special Issue on Advances of Utility and Cloud Computing Technologies and Services Aims Computing is rapidly moving towards a model where it is provided as services that are delivered in a manner similar
Supporting the Workflow Management System Development Process with YAWL
Supporting the Workflow Management System Development Process with YAWL R.S. Mans 1, W.M.P. van der Aalst 1 Department of Mathematics and Computer Science, Eindhoven University of Technology, P.O. ox 513,
Title ISSN SJR H index Country Foundations and Trends in Information 1554 1 Retrieval
Title ISSN SJR H index Country Foundations and Trends in Information 1554 1 Retrieval 0677 Q1 6,536 12 United States 2 Swarm and Evolutionary Computation 2210 6502 Q1 3,364 8 Netherlands 3 IEEE Transactions
ACADEMIC PROGRAM A SOCIALLY COHERENT SOCIETY: PROSPECTS FOR SOCIETAL DEVELOPMENT IN DENMARK AND THE NETHERLANDS
ACADEMIC PROGRAM A SOCIALLY COHERENT SOCIETY: PROSPECTS FOR SOCIETAL DEVELOPMENT IN DENMARK AND THE NETHERLANDS 17 MARCH 2015 INTRODUCTION Historically, Denmark and the Netherlands have both been successful
INSTRUCTIONS 1 / 7 Ref no P2012/178
INSTRUCTIONS 1 / 7 Ref no P2012/178 Instructions for Applicants in Connection with Appointments of Academically Qualified Teaching Staff Other than Professors (For Example Assistant Senior Lecturer, Senior
Swiss Joint Master in Computer Science of the universities of Bern, Neuchâtel and Fribourg
Swiss Joint Master in Computer Science of the universities of Bern, Neuchâtel and Fribourg 1 The MSc program in computer science Worldwide, computer scientists are in high demand. To cater for this demand,
Norwegian University of Science and Technology (NTNU), Department of Energy and Process Engineering, N-7491 Trondheim, Norway
CURRICULUM VITAE (Last updated at March 20, 2015) PERSONAL INFORMATION Name: Vojislav Novakovic Year of birth: 1953 Nationality: Norwegian Position: Professor Address: Phone: +47 73 59 38 68 Fax: +47 73
ACQUIRING, ORGANISING AND PRESENTING INFORMATION AND KNOWLEDGE ON THE WEB. Pavol Návrat
Computing and Informatics, Vol. 28, 2009, 393 398 ACQUIRING, ORGANISING AND PRESENTING INFORMATION AND KNOWLEDGE ON THE WEB Pavol Návrat Institute of Informatics and Software Engineering Faculty of Informatics
CURRICULUM VITAE. Dr. Maya Kaner, Senior Lecturer August, 2011
CURRICULUM VITAE Dr. Maya Kaner, Senior Lecturer August, 2011 Place of birth: Dushanbe, USSR Immigrated to Israel: January, 21, 1991 EDUCATION Ph.D. 2004, Industrial Engineering. Faculty of Industrial
Intelligent Transport Systems
FULL-TIME MULTIPLE DEGREE PROGRAM IN ENGLISH MASTER S Intelligent > Technology is networking. FACHHOCHSCHULE TECHNIKUM WIEN CZECH TECHNICAL UNIVERSITY IN PRAGUE Intelligent Challenges in Transport The
Curriculum Vitae of. Vicky G. Papadopoulou
Curriculum Vitae of Vicky G. Papadopoulou Personal Information Full Name: Vicky G. Papadopoulou Home Address: Odysseos 23, Strovolos, PO Box 2040, Nicosia, Cyprus Phones: Office: +357 22 713046 Email:
REGULATIONS LUISS BUSINESS SCHOOL. SECTION I Purpose and Scope
REGULATIONS LUISS BUSINESS SCHOOL SECTION I Purpose and Scope Article 1 Scope These Regulations govern the mission, organisation, and operation of the LUISS Business School, hereinafter referred to as
Cyber-Physical System Security of the Power Grid
Course on: Cyber-Physical System Security of the Power Grid April 9-11, 2013 at KTH Royal Institute of Technology, Stockholm, Sweden Background Cyber Security is essential to today s power grid operation
Title: Basic Concepts and Technologies for Business Process Management
Title: Basic Concepts and Technologies for Business Process Management Presenter: prof.dr. Manfred Reichert The economic success of an enterprise more and more depends on its ability to flexibly and quickly
Graduate Studies COMPUTER SCIENCE
Graduate Studies COMPUTER SCIENCE www.cs.dal.ca CREATE THE FUTURE Graduate studies in computer science at Dalhousie University immerse you in a vibrant learning environment at one of Canada s leading universities.
CS556 Course Project Performance Analysis of M-NET using GSPN
Performance Analysis of M-NET using GSPN CS6 Course Project Jinchun Xia Jul 9 CS6 Course Project Performance Analysis of M-NET using GSPN Jinchun Xia. Introduction Performance is a crucial factor in software
1999 2004 Diploma (5-year degree), School of Applied Mathematics and Physics, NTUA (Greece) Major: Computer Science and Applied Mathematics.
Curriculum Vitae Vassilis Zikas Postdoctoral Researcher, UCLA University of California, Los Angeles Los Angeles, CA 90095-1596 +1 (424) 781-7942 vzikas@cs.ucla.edu www.cs.ucla.edu/~vzikas Education 2006
Europass Curriculum Vitae
Europass Curriculum Vitae Personal information Surname(s) / First name(s) Address(es) Custódio, Jorge Filipe Telephone(s) +351 919687707 Email(s) Personal website(s) Nationality(-ies) Rua Francisco Pereira
Faculty of Information Technology
Faculty of 71 Faculty of Formal establishment of the Faculty of is subject to Council approval Faculty officers Academic Dean tba Prior to the election of the Academic Dean, contact Dr CB Hallam (Bachelor
Victoria SINCLAIR Curriculum vitae
Victoria SINCLAIR Curriculum vitae 1. Full name and date Surname: SINCLAIR Given Names: Victoria Anne Gender: female Date of writing: 8 September 2014 2. Date and place of birth, nationality, current residence
CURRICULUM VITAE. Amardeep Kahlon +1 (512) 223-2069 Email: akahlon@austincc.edu
CURRICULUM VITAE Amardeep Kahlon +1 (512) 223-2069 Email: akahlon@austincc.edu EDUCATION HISTORY Doctor of Philosophy Higher Education Administration University of Texas at Austin Major area of research
Curriculum of the research and teaching activities. Matteo Golfarelli
Curriculum of the research and teaching activities Matteo Golfarelli The curriculum is organized in the following sections I Curriculum Vitae... page 1 II Teaching activity... page 2 II.A. University courses...
Studying Computer Science in a Multidisciplinary Degree Programme: Freshman Students Orientation, Knowledge, and Background
Journal of Information Technology Education Volume 3, 2004 Studying Computer Science in a Multidisciplinary Degree Programme: Freshman Students Orientation, Knowledge, and Background Karlheinz Kautz and
Ming-Hsing Chiu. Home: (985)845-2664 340 Chapel Loop Office: (985)549-5313 EDUCATION
Ming-Hsing Chiu Home: (985)845-2664 340 Chapel Loop Office: (985)549-5313 Mandeville, LA 70471 e-mail: mchiu@selu.edu EDUCATION Ph.D. in Computer Science, University of Central Florida, May 99. Dissertation
RESUME. Amir TOMER. July 24, 2004. Israeli ID #: 0-5183237-6 Born 22 May, 1953, Nahariya, Israel Married with two children.
RESUME July 24, 2004 Israeli ID #: 0-5183237-6 Born 22 May, 1953, Nahariya, Israel Married with two children. Amir TOMER Academic Degrees 1979 B.Sc. (cum laude) Computer Science, Technion Israel Institute
IEEE biography samples
IEEE biography samples Bhim Singh (SM 99) was born in Rahamapur, India, in 1956. He received the B.E. degree in electrical engineering from the University of Roorkee, Roorkee, India, in 1977, and the M.Tech.
How To Get A Computer Science Degree
MAJOR: DEGREE: COMPUTER SCIENCE MASTER OF SCIENCE (M.S.) CONCENTRATIONS: HIGH-PERFORMANCE COMPUTING & BIOINFORMATICS CYBER-SECURITY & NETWORKING The Department of Computer Science offers a Master of Science
CURRICULUM VITAE. September, 2015
CURRICULUM VITAE September, 2015 C1. Personal Information Asaad AbdulRahman Nayyef Alani Department of Computer Science,, Sultan Qaboos University, P.O. Box 36, Al-Khoudh 123, Muscat, Sultanate of Oman,
SERVICE TO PROFESSIONAL COMMUNITY. - Registration Chair of the 2017 IEEE Conference on Decision and Control (IEEE CDC 2017)
SERVICE TO PROFESSIONAL COMMUNITY - Registration Chair of the 2017 IEEE Conference on Decision and Control (IEEE CDC 2017) - Member of IEEE Strategic Planning Committee (2015 Present) - Member of IEEE
PhD Studies. Faculty of Natural Sciences and Technology. Senior Executive Officer Gro Neergård
PhD Studies Faculty of Natural Sciences and Technology Senior Executive Officer Gro Neergård Content 1. Focus on PhD as an education - coursework 2. PhD contacts 3. PhD Travel Grant 2 PhD Candidate? PhD
Bachelor Degree in Informatics Engineering Master courses
Bachelor Degree in Informatics Engineering Master courses Donostia School of Informatics The University of the Basque Country, UPV/EHU For more information: Universidad del País Vasco / Euskal Herriko
PERSONNEL DOCUMENT. DEPARTMENT OF COMPUTER SCIENCE AND COMPUTER ENGINEERING University of Arkansas
PERSONNEL DOCUMENT DEPARTMENT OF COMPUTER SCIENCE AND COMPUTER ENGINEERING University of Arkansas Passed by faculty vote: September 13, 2011 PERSONNEL DOCUMENT Evaluative Criteria, Procedures, and General
Associate Dean since Sept. 2014 Master Program Strategic Management. Assistant Professor since Jun. 2014
Department of Strategic Management, Marketing and Tourism 6020 Innsbruck Austria, Europe Phone: +43(0)512 507 7211 Mobile: +43 (0)660 65 89 901 E-Mail: roland.schroll@uibk.ac.at Last Update: February 2015
GUIDELINES on the use of teaching portfolios
GUIDELINES on the use of teaching portfolios These guidelines are intended for applicants for academic positions and assessment committees. These guidelines concern only teaching portfolios. The Faculty
Articles IEEE have removed from their database
Articles IEEE have removed from their database Application of Game-Theoretic and Virtual Algorithms in Information Retrieval System 2008 International Conference on MultiMedia and Information Technology
CURRICULUM VITAE. De Montfort University - Leicester - UK 2008 PhD Degree in Architecture-Product and Spatial Design
CURRICULUM VITAE Personal Information Education Name: Feda M. M. Salah Date of Birth: 18/07/1969 Marital Status: Married Current Address: Amman-Jordan Contact Coordinates Tel No.: 00962 6 Fax No.: 00962
A Novel Multi Ring Forwarding Protocol for Avoiding the Void Nodes for Balanced Energy Consumption
International Journal of Computer Sciences and Engineering Open Access Review Paper Volume-4, Issue-4 E-ISSN: 2347-2693 A Novel Multi Ring Forwarding Protocol for Avoiding the Void Nodes for Balanced Energy
Academic Titles in Trinity College Dublin
Academic Titles in Trinity College Dublin Contents 1.0 INVENTORY OF ACADEMIC TITLES... 1 2.0 PROFESSORIAL TITLES... 1 2.1 Professors holding established chairs... 1 2.2 Professors holding personal chairs...
M.Sc. Program in Informatics and Telecommunications
M.Sc. Program in Informatics and Telecommunications at UoA-DIT Prof. Ioannis Stavrakakis Deputy Dept Chair, Director of Graduate Studies 1 Overview of Graduate Studies Initiated in 1993 Modified in 2000
Information Technology Degree Programs
Information Technology Degree Programs Undergraduate Prospectus 2014/2015 Faculty of Information Technology HORIZON COLLEGE OF BUSINESS AND TECHNOLOGY Ministry of Higher Education and University Grants
School of Computer Science
School of Computer Science Computer Science - Honours Level - 2014/15 October 2014 General degree students wishing to enter 3000- level modules and non- graduating students wishing to enter 3000- level
Building leadership capacity in the development and sharing of mathematics learning resources, across disciplines, across universities.
Building leadership capacity in the development and sharing of mathematics learning resources, across disciplines, across universities. Anne L. Porter BCom DipEd, DipCompSc MSc PhD Associate Professor
Clemson University College of Health, Education, and Human Development School of Nursing Promotion, Tenure, and Appointment Renewal Guidelines
Approved SON Faculty September 2000 1 Clemson University College of Health, Education, and Human Development School of Nursing Promotion, Tenure, and Appointment Renewal Guidelines The School of Nursing
CS Master Level Courses and Areas COURSE DESCRIPTIONS. CSCI 521 Real-Time Systems. CSCI 522 High Performance Computing
CS Master Level Courses and Areas The graduate courses offered may change over time, in response to new developments in computer science and the interests of faculty and students; the list of graduate
CURRICULUM VITAE. 2, Route de Florissant, 1206, Geneva, Switzerland Plaisio 3, P.O. Box 130, Sternes, 73100 Crete, Greece
CURRICULUM VITAE 1. PERSONAL DATA Name Dionysios (Dennis) Tsichritzis Date of Birth May 29, 1943 Place of Birth Email Address Home Address Athens, Greece dennis.tsichritzis@gmail.com 2, Route de Florissant,
Curriculum Vitae. Zhenchang Xing
Curriculum Vitae Zhenchang Xing Computing Science Department University of Alberta, Edmonton, Alberta T6G 2E8 Phone: (780) 433 0808 E-mail: xing@cs.ualberta.ca http://www.cs.ualberta.ca/~xing EDUCATION
International human rights
International human rights Social entreprenurship - 2nd International Summer School in Mostar, Bosnia and Hercegovina May 26th June 7th 2014 EU-prosjektledelse Practical information The course is suitable
Gian-Luca Dei Rossi Curriculum Vitae et Studiorum
Gian-Luca Dei Rossi Curriculum Vitae et Studiorum Personal Data Name Surname Place of Birth Gian-Luca Dei Rossi Venice, Italy Date of Birth 10th February 1981 Nationality Education Dec 2013 Apr 2010 Jul
European Master s Programme in Sport & Exercise Psychology
European Master s Programme in Sport & Exercise Psychology [Name] [Department] [University] [Country] Supported by the European Commission and FEPSAC History of the programme Since 1988 the idea on the
Software Distributed Shared Memory Scalability and New Applications
Software Distributed Shared Memory Scalability and New Applications Mats Brorsson Department of Information Technology, Lund University P.O. Box 118, S-221 00 LUND, Sweden email: Mats.Brorsson@it.lth.se
High-level Petri Nets
High-level Petri Nets Model-based system development Aarhus University, Denmark Presentation at the Carl Adam Petri Memorial Symposium, Berlin, February 4, 2011 1 Concurrent systems are very important
NANJING UNIVERSITY SCHOOL OF ARCHITECTURE AND URBAN PLANNING. MSc SUSTAINABLE BUILDING DESIGN MSC ARCHITECTURE AND URBANISM
NANJING UNIVERSITY SCHOOL OF ARCHITECTURE AND URBAN PLANNING MSc SUSTAINABLE BUILDING DESIGN MSC ARCHITECTURE AND URBANISM MSc SUSTAINABLE BUILDING DESIGN 1. General Introduction The aim of the MSc in
- Assistant Professor (tenure-track), Math and Computer Science Depart., University of Texas-Permian Basin, TX, USA. Aug.
QUAN (ALEX) YUAN, PH.D. Assistant Professor Math and Computer Science Department University of Texas-Permian Basin Office: (432) 552-2258 Fax: (432) 552-3230 Email: yuan_q@utpb.edu 1 RESEARCH INTERESTS
Business Independent Model of Mobile Workforce Management
Business Independent Model of Mobile Workforce Management Volker Gruhn and Thomas Richter Chair of Applied Telematics / e-business, University of Leipzig Klostergasse 3, 04109 Leipzig, Germany {gruhn,richter}@ebus.informatik.uni-leipzig.de
TENURE AND PROMOTION CRITERIA DEPARTMENT OF ELECTRICAL ENGINEERING
1. GENERAL TENURE AND PROMOTION CRITERIA DEPARTMENT OF ELECTRICAL ENGINEERING The evaluation of candidates for tenure, promotion, and annual evaluation is based upon: (i) teaching, (ii) scholarship, and
PhD Degree Programme in Business, Economics and Statistics and Doctoral Degree Programme in Business, Economics and Statistics
PhD Degree Programme in Business, Economics and Statistics and Doctoral Degree Programme in Business, Economics and Statistics Faculty of Business, Economics and Statistics Brünner Straße 72 A-1210 Vienna
8942 5612 A A R H U S U N I V E R S I T Y
Strategic Plan, Aarhus University kjensen@cs.au.dk 8942 5612 1 New Strategic Plan Since the development of the 2003 hiring plan, many internal and external constraints have changed: Political priorities
CURRICULUM VITAE. January, 2015
CURRICULUM VITAE Name: Hsiao-chuan Chang Gender: Female Address: Department of Economics, FSS University of Macau Taipa, Macau Contact: +853-88228248 E-mail: hchang@umac.mo January, 2015 Education 1. Ph.D.,
INTERNAL REGULATIONS FOR THE BACHELOR OF SCIENCE DEGREE IN MECHATRONICS AND ROBOTICS ENGINEERING
Czech Technical University in Prague Faculty of Engineering Assiut University INTERNAL REGULATIONS FOR THE BACHELOR OF SCIENCE DEGREE IN MECHATRONICS AND ROBOTICS ENGINEERING Assiut University awards at
https://sites.google.com/a/asu.edu/cse-522-spring-12/ sensors and actuators? How do we handle the errors introduced due to noise, quantization etc?
CSE 522 Spring 12 https://sites.google.com/a/asu.edu/cse-522-spring-12/ 1 of 3 5/29/2012 16:56 CSE 522 Spring 12 Navigation CSE522: Real-Time Embedded Systems The Schedule Sitemap CSE522: Real-Time Embedded
Workflow Automation and Management Services in Web 2.0: An Object-Based Approach to Distributed Workflow Enactment
Workflow Automation and Management Services in Web 2.0: An Object-Based Approach to Distributed Workflow Enactment Peter Y. Wu wu@rmu.edu Department of Computer & Information Systems Robert Morris University
PROCEDURES AND EVALUATIVE GUIDELINES FOR PROMOTION OF TERM FACULTY DEPARTMENT OF PSYCHOLOGY VIRGINIA COMMONWEALTH UNIVERSITY MARCH 31, 2014
PROCEDURES AND EVALUATIVE GUIDELINES FOR PROMOTION OF TERM FACULTY DEPARTMENT OF PSYCHOLOGY VIRGINIA COMMONWEALTH UNIVERSITY MARCH 31, 2014 This document describes procedures and evaluative guidelines
A Software Framework for Risk-Aware Business Process Management
A Software Framework for Risk-Aware Business Management Raffaele Conforti 1, Marcello La Rosa 1,2, Arthur H.M. ter Hofstede 1,4, Giancarlo Fortino 3, Massimiliano de Leoni 4, Wil M.P. van der Aalst 4,1,
A Survey of Mechatronics Education in the Nordic and Baltic Countries
A Survey of Mechatronics Education in the Nordic and Baltic Countries M. Ottestad 1,a, G. Hovland 1,b, S. Persson 1,c, K.G. Robbersmyr 1,d, J. Pohl 1,e 11 Agder University College, Faculty of Engineering
IMPROVING BUSINESS PROCESS MODELING USING RECOMMENDATION METHOD
Journal homepage: www.mjret.in ISSN:2348-6953 IMPROVING BUSINESS PROCESS MODELING USING RECOMMENDATION METHOD Deepak Ramchandara Lad 1, Soumitra S. Das 2 Computer Dept. 12 Dr. D. Y. Patil School of Engineering,(Affiliated
Habibollah Pirnejad MD., MSc., Ph.D., Post Doc.
Habibollah Pirnejad MD., MSc., Ph.D., Post Doc. Curriculum Vitae Health Information Technology group Tel: +98 441 2752305 Urmia Medical Science University Fax: +98 441 2770047 PO BOX: 1138 Email: h_pirnejad[at]yahoo.com
C U R R I C U L U M V I T A E T R I V A N L E
C U R R I C U L U M V I T A E T R I V A N L E Department of Computer Science, 253 Love Building Florida State University, Tallahassee, Florida 32306-4530, USA. Phone: (850) 345-6468, Fax: (850) 644-0058.
Prof. Dr. D. W. Cunningham, Berliner Strasse 35A, 03046 Cottbus, Germany
Curriculum Vitae Prof. Dr. Douglas William Cunningham Work Address: Brandenburg Technical University Cottbus Graphical Systems Department Konrad-Wachsmann-Allee 1 D-03046 Cottbus, Tel: (+49) 355-693816
CURRICULUM VITAE (Highlights)
CURRICULUM VITAE (Highlights) NAME: Bennett, Barrie Brent RANK: Associate Professor DEGREE UNIVERSITY DEPARTMENT YEAR Ph.D. University of Oregon, Education 1986 Eugene, Oregon M.Ed. University of Oregon,
Centre for Entrepreneurship. Master of Science in. Innovation and. graduate
Centre for Entrepreneurship Master of Science in Innovation and Entrepreneurship graduate Prospectus WELCOME WELCOME Contents The University of Oslo Students currently studying at the Centre for Entrepreneurship
FACULTY OF COMPUTER SCIENCE AND ENGINEERING CURRICULUM FOR POSTGRADUATE PROGRAMMES. (Master in Information Technology)
FACULTY OF COMPUTER SCIENCE AND ENGINEERING CURRICULUM FOR POSTGRADUATE PROGRAMMES (Master in Information Technology) MASTER IN INFORMATION TECHNOLOGY (MIT) CURRICULUM 1.1 Introduction This programme is
End-to-end Secure Data Aggregation in Wireless Sensor Networks
End-to-end Secure Data Aggregation in Wireless Sensor Networks Keyur Parmar 1 Devesh Jinwala 2 1 Ph.D Scholar & Senior Research Fellow Department of Computer Engineering SVNIT, Surat, India 2 Professor
20 years of Telemedicine in Tromsø, Norway
Lecture title: 20 years of Telemedicine in Tromsø, Norway Abstract: The lecture gives an overview of telemedicine in Tromsø and North Norway since the first telemedicine projects were started in 1987-1988.
Policy on post-graduate research
Institute of Social and Economic Research Rhodes University Policy on post-graduate research VERSION 2: approved on 28 April 2015 1 Purpose of policy document This document captures the Institute of Social
CV Checklist. F a c u l t y D o s s i e r. John Doe CV and Grants Page For submission of faculty dossier to PSOM COAP and PSC. General Information
John Doe CV and Grants Page For submission of faculty dossier to PSOM COAP and PSC General Information Faculty with PennKeys have access to the Faculty Expertise Database (FEDS), via the FAPD Gateway (my.dot.med),
CURRICULUM VITAE. Dept. of Mechanical Engineering and Industrial Design Τ.Ε.Ι. of Western Macedonia 50100 KOZANI, GREECE
CURRICULUM VITAE PERSONAL DATA Name: Dimokritos Panagiotopoulos Date of birth: March 21, 1960 Family Status: Married, has two children Current Posistion: Work Address: Tel. No. (Work): Mobile No.: E-mail: