Grzegorz Jacek Nalepa - Curriculum Vitae

• 2018 – I received a prize for the outstanding monograph in computer science from the Committee of Computer Science of the Polish Academy of Sciences
• 2012 – I received a prestigious scholarship and scientific award of POLITYKA weekly for the most promising scientific achievements in technical sciences in Poland. Also covered by the AGH UST.
• 2019 – AGH-UST Rector's Prize for Scientific Achievements in 2018
• 2018 – AGH-UST Rector's Prize for Scientific Achievements in 2017
• 2017 – AGH-UST Rector's Prize for Scientific Achievements in 2016
• 2016 – AGH-UST Rector's Prize for Scientific Achievements in 2015
• 2015 – AGH-UST Rector's Prize for Scientific Achievements in 2014
• 2014 – AGH-UST Rector's Prize for Scientific Achievements in 2013
• 2014 – I was awarded a title of ambassador of polish congresses POT Announcement, Announcement, AGH UST
• 2013 – AGH-UST Rector's Prize for Scientific Achievements in 2012
• 2013 – AGH-UST Rector's Prize for Didactic Achievements in 2012 for the organization of the Engineering of Intelligent Systems (EIS) program in computer science
• 2013 – AGH-UST Rector's Prize for Didactic Achievements in 2012 for the book edited by Jan. Werewka on Management of software projects
• 2012 – AGH-UST Rector's Prize for Scientific Achievements in 2011
• 2011 – AGH-UST Rector's Prize for Scientific Achievements in 2010
• 2010 – AGH-UST Rector's Prize for Scientific Achievements in 2009
• 2009 – Best paper award at the ICCCI2009, together with Weronika T. Furmanska, for the paper Proposal of a New Rule-based Inference Scheme for the Semantic Web Applications, published in, New Challenges in Computational Collective Intelligence Series: Studies in Computational Intelligence, Vol. 244, Nguyen, Ngoc Thanh; Katarzyniak, Radoslaw; Janiak, Adam (Eds.), Springer, 2009.
• 2009 – AGH-UST Rector's Prize for Scientific Achievements in 2008
• 2008 – AGH-UST Rector's Prize for Scientific Achievements in 2007
• 2005 – AGH-UST Rector's Prize for Scientific Achievements in 2004
• 2004 – my Ph.D. dissertation was awarded by the AGH-UST Faculty of Electrical Engineering, Automatics, Computer Science and Electronics
• 1999 – I was awarded 2nd prize by Polish Information Processing Society in contest for the best M.Sc. Thesis in computer science, for my MSc Thesis entitled ,,Graphical user interface for Kheops rule-based expert system''

I have been involved in the following research projects:

• 2019→2021 - Process-aware Analytics Support based on Conceptual Models for Event Logs Call (PACMEL) CHIST-ERA-2017-BDSI: project leader, principal investigator, coordinator of the international consortium
• 2015→2017 - KnowMe (Preludium 7 NCN Grant no. UMO-2014/13/N/ST6/01786) Uncertain and incomplete knowledge modelling for mediation in mobile context-aware systems (KnowMe): scientific supervisor.
• 2012→2015 - Prosecco (Grant NCBiR 1. Program Badań Stosowanych, no. PBS1/B3/14/2012) Processes Semantics Collaboration for Companies: project leader.
• 2012→2014 - SaMURaI (Preludium 2 NCN Grant no. UMO-2011/03/N/ST6/00886) Semantic Method for Unified Rules Interoperability in Knowledge-Based Systems: scientific supervisor.
• 2012→2014 - HiBuProBuRul (Preludium 2 NCN Grant no. UMO-2011/03/N/ST6/00909) Methodology for designing Hierarchical Business Processes integrated with Business Rules: scientific supervisor.
• 2011→2012 - Parnas (Grant NCN N516 481240) Methods for inference control and quality management in modularized rule bases: project leader.
• 2010→2012 - BIMLOQ (Grant MNiSW N516 422338) Business Models Optimization for Quality: project coordination, visual design methods concepts and tools.
• 2009→2015 - INDECT (FP7-218086, FP7:Collaboration/Security) Intelligent information system supporting observation, searching and detection for security of citizens in urban environment. (See the official information at CORDIS)
  Direct team involvement in WP4, mainly in Task 4.6 Tools to process the information provided by citizens via emergency website, i.e. tools for filtering, validation and classifying textual information
• 2009→2011 - Rebit (a POIG 1.3.1 project), Business and Technological Rules Management. Team objective: development of a business rules verification module.
• 2007→2009 - HeKatE (Grant MNiSW N516 024 32/2878) Hybrid Knowledge Engineering: project coordination, XTT2 and ARD+ design methods concepts and tools
• 2005→2006 - Adder (Grant KBN 4 T11C 035 2) research on formal methods in design of correct real-time and embedded systems, including rule-based systems: rule-based security systems design and analysis methods and tools
• 2003→2004 - Mirella (Grant KBN 4 T11C 027 24) Meta-Level Approach to Integrated Process of Design and Implementation of Rule-Based Systems: proposal of an integrated process of visual design, formal analysis and implementation of rule-based expert systems, supported by a CASE tool
• 1999→2001 - Regulus (Grant KBN 8 T11C 019 17) research on formal methods in knowledge engineering and artificial intelligence: analysis of Prolog-based rule-based systems design methods

• BPwiki and SBVRwiki – work with K. Kutt, K. Kaczor, K. Kluza – are semantic wiki plugins supporting collaborative design of business processes with rules,
• Context Simulator and Viewer – work with Szymon Bobek – Context Simulator and Viewer are tools that allows to simulate and visualize context events stored in SQL database in real time. They are designed to work with AWARE framework.
• HeaRTDroid – work with Szymon Bobek – HeaRTDroid is a rule-based inference engine for Android mobile devices, that is based on HeaRT inference engine.
• PelletHeaRT – a prototype of a hybrid rule reasoner for ontologies (see LNCS/LNAI 6359/2010 Paper: Pellet-HeaRT – Proposal of an Architecture for Ontology Systems with Rules (2010) based on the DAAL concept, see Springer SCI vol. 244/2009 Paper: Proposal of a New Rule-Based Inference Scheme for the Semantic Web Applications (2009) and TCCI II, LNCS/LNAI 6450/2010 Paper: Integration Proposal for Description Logic and Attributive Logic – Towards Semantic Web Rules (2010) together with W. T. Adrian (de domo Furmańska).
• Loki (PlWiki) – a semantic wiki using strong logic-based knowledge representation, a prototype Dokuwiki plugin using Prolog → concept, design, implementation, supervision; extended implementation by MSc. student: M. Kotra, revised version by M. Ozgowicz (publicly available prototype soon, early spring 2011), see LNCS/LNAI 5796/2009 Paper: PlWiki – A Generic Semantic Wiki Architecture (2009), JUCS paper: Collective Knowledge Engineering with Semantic Wikis (2010), as well as TCCI III LNCS paper: Loki ­ Semantic Wiki with Logical Knowledge Representation (2011,
• HeaRT – custom hybrid rule inference engine → concept, design, implementation, supervision; together with Prof. A. Ligęza; extended implementation by MSc. students: S. Bobek and M. Gawędzki, see LNCS/LNAI 6114/2010 Paper: Architecture of the HeaRT Hybrid Rule Engine (2010)
• HJed – visual editor for conceptual rule prototyping → concept, requirements, supervision; design and implementation by MSc. student Sz. Książek, see CEUR WS 511 RuleApps2009 Paper: HeKatE Rule Runtime and Design Framework (2009)
• HQed – visual editor for decision rules (XTT-tables/trees) → concept, requirements, extensions, supervision; design and implementation by K. Kaczor, MSc., see CEUR WS 511 RuleApps2009 Paper: HeKatE Rule Runtime and Design Framework (2009)
• PlNXT – a Prolog control library for LEGO Mindstorms NXT: → prototype by P. Hołownia, extensions by M. Makowski, aimed at integration with the XTT2 visual rule-based layer, prototype → B. Biesiada, see the LNCS/LNAI 5243/2008 Paper: Prototype Prolog API for Mindstorms NXT (2008) as well as the LEGO Mindstorms lab by GEIST
• VARDA – semi-visual tool for conceptual rule prototyping → concept, design, implementation; together with I. Wojnicki, Ph.D., see LNCS/LNAI 5243/2008 Paper: VARDA Rule Design and Visualization Tool-Chain (2008)
• Mirella – visual editor for decision rules → concept, design, implementation; part of my Ph. D. Thesis, no longer supported, see Systems Science Journal: A graphical tabular model for rule-based logic programming and verification (2005, vol. 2), Systems Science Journal: A visual edition tool for design and verification of knowledge in rule-based systems (2005, vol. 3), and AGH UST Computer Science journal paper: A New Approach to the Rule-Based Systems Design and Implementation Process (2004)

• over 200 reviewed scientific papers in artificial intelligence, knowledge and software engineering
• two monographs
• one edited volume
• three special issues of journals
• professional training materials concerning GNU/Linux administration and security

For the external lists my papers see: for all the papers → AGH UST BPP

See my papers on other sites: