Computer Science Engineering
Resume:
Nenad Krdzavac
Email: *********@********.***
Address: ** ***** ****** ******
City: Gaithersburg
State: MD
Zip: 20877
Country: USA
Phone: 301-***-****
Skill Level: Experienced
Salary Range: $60,000
Willing to Relocate
Primary Skills/Experience:
Ontology development Description Logics Model-Driven Engineering (MDE) Technology-Enhanced Learning Classroom & Laboratory Instruction
Educational Background:
Doctorate, Semantic Web Technologies/Description Logics
Faculty of Organizational Scinece, University of Belgrade, 05/2007 - 02/2011
Belgrade, Belgrade, Yugoslavia
Bachelors Degree, Mathematics/Computer Science
Faculty of Science, University of Kragujevac,, 10/1993 - 10/1998
Kragujevac, Kragujevac, Yugoslavia
Job History / Details:
NENAD B. KRDZAVAC, PH.D.
Vionik 19
31320 Nova Varos, Serbia
*********@********.***
ASSISTANT PROFESSOR
RESEARCH FELLOW
Theoretical Computer Science
Semantic Web Technologies
Accomplished research scientist with extensive experience conducting groundbreaking research
contributing to knowledge of semantic web technologies at world-renowned academic institutions.
*Strong research interests spanning description logics, automated reasoning, ontology
development, e-learning and assessment systems, and model-driven engineering (MDE).
*Track record of success in forging partnerships with world-renowned universities and
industry-leading organizations to fuel research and discovery.
*Prolific record of publication in high-profile peer-reviewed journals and presentation at
academic conferences.
*Proven instructional ability, with significant experience teaching in classroom, online, and
laboratory environments and mentoring students through thesis development.
Description Logics
Automated Reasoning
Ontology Development
Model-Driven Engineering (MDE)
Design and Implementation E-Learning & Assessment Systems
Online Instruction
Application Ontology Approach in Financial Domain
Semantic Web Technologies
Technology-Enhanced Learning
Classroom & Laboratory Instruction
Thesis Mentorship
PROFESSIONAL SYNOPSIS
UNIVERSITY COLLEGE CORK, Cork City, Ireland
2012-Present
Constituent of National University of Ireland, with approximately 12,000 undergraduate and 3,600
graduate students.
Post-Doctoral Researcher, Financial Service Technology Center
Conduct in-depth research in ontology development for determination of capital adequacy of credit
institutions. Identify and extract relevant terms from Basel II, as well as Irish statutory
instrument documentation. Define meaning of relevant terms in collaboration with legal teams. Create
XML-based dictionary covering relevant terms and implement XSLT transformations. Utilize
description logics to encode Basel regulations; implement meta-models using model-driven
architecture. Publish peer-reviewed journal and conference papers detailing research results.
*Played continuous role in developing software components with potential to dramatically
increase sales of software products.
*Led initiative to enhance industry tools for automated construction balance sheet by
reconciling financial regulation using ontology approach.
*Secured new clients and significant industry support through skilled presentation of proof-of-
concept to industry partners including SAP AG, Abtran, Qumas and Enterprise Ireland.
UNIVERSITY OF BELGRADE, Belgrade, Serbia
2009-2012
Electrical engineering and computer science college with approximately 1,500 students.
Lecturer / Professor, School of Electrical & Computer Engineering of Applied Studies
Delivered expert instruction in field of Intelligent Systems and semantic web technologies as well as
laboratory teaching in areas of mathematics and software engineering to undergraduate students.
Designed curriculum and programs based on IEEE standards. Advised students in diploma theses.
Conducted and graded exams; assigned and evaluated homework and exercises. Assisted students
in preparing papers for publication in peer-reviewed journals and conference presentations.
*Developed semantic web-based project allowing students to leverage real-world expertise in
ontology-based reasoning.
*Advised theses in topics such as -Semantic Web Technologies and Social Networks- and -A
Semantic Annotation Learning Content.-
*Secured increasing numbers of students each year through skilled motivation, hands-on
application, and assistance in writing and publication.
*Produced research cited in high-profile journals including Computer & Education, Knowledge-
based Systems, and Information Sciences.
*Served as speaker during panel discussion at Automated Reasoning Workshop 2010
regarding automated reasoning in education.
NATIONAL INSTITUTE OF STANDARDS & TECHNOLOGY, Gaithersburg, Maryland
2007-2008
US federal government agency focused on developing technologies, measurements, and standards
impacting industry.
Guest Researcher
Coordinated development of extension for tableau algorithm governing SROIQ (OWL 2) description
logic supporting reasoning with part-part relations Investigated classification ontologies on MDA levels
as well as in product modelling and modelling composite structures. Modelled and implemented
ontologies for manufacturing test cases using OWL API and Java; utilized Hermit and Pellet
reasoners to test consistency of ontologies. Developed tableau algorithm for SROIQ description logic
to support reasoning with composite structure encoded as role inclusion axiom.
*Conducted groundbreaking research improving existing SROIQ description logic to support
reasoning with composite structures, boosting quality of technical products.
*Forged connections at Oxford Laboratory of Knowledge Engineering and University of
Montenegro in creating applications description graphs in modelling manufacturing systems.
NOTE: Additional professional experience includes Mathematics Teacher at Dimitrije Davidovic High
School (2007), Researcher at GOOD OLD AI Research Group (2003-Present), and Software
Designer at Recreatours (1999-2001). Details upon request.
JOURNAL REVIEW POSITIONS
Computer Science & Information Systems (ISSN: 1820-0214)
Knowledge-Based Systems (ISSN: 1820-0214)
Information Systems (ISSN: 0306-4379)
EDUCATION
Doctor of Technical Science
Thesis: Intelligent Systems & Composite Structures
University of Belgrade, Belgrade, Serbia
Master of Science in Applied Mathematics
Thesis: Comparative Analysis of Reasoning Techniques in Description Logics
University of Belgrade, Belgrade, Serbia
Diploma in Mathematics & Informatics
University of Kragujevac, Kragujevac, Serbia
LANGUAGES (FLUENT)
English & Serbian
TECHNICAL SKILLS
Eclipse Modelling Framework (EMF): Atlas Transformation Language & Unified Modelling Language
SPARQL
OWL, Jena, Hermit, & Pellet API
Ognjanovic, Z., Krdzavac, N., Introduction to Theoretical Computer Science, Vol. 1, Faculty of
Business Administration, University of Belgrade, (2004), ISBN: 86-7680-028-6.
[Online]: http://www.mi.sanu.ac.rs/~zorano/taja/TeorijskoRacunarstvo.pdf
Book Chapters
Radenkovic, S., Krdzavac N., and Devedzic V., -An Assessment System on the Semantic Web,-
Web 2.0 & Semantic Web, Annals of Information Systems, Vol. 6, Part 4, pp.177-200, ISSN: 1934-
3221, (2009). [Online]: http://www.springerlink.com/content/x2mhv5330805r8rl/
Radenkovic, S., Devedzic V., and Krdzavac N., -An Intelligent Framework for Assessment Systems,-
in D. Dicheva, R. Mizoguchi, J. Greer (Eds.), The Future of Learning, Netherland, Vol. 4, pp.178 - 196,
ISBN 978-1-60750-062-9, (2009). [Online]:
http://www.booksonline.iospress.nl/Content/View.aspx
piid=14120
Radenkovic, S., Krdzavac N., and Devedzic V., -Towards More Intelligent Assessment Systems,- M.
D. Lytras, D. Gasevic, P. O. de Pablos, W. Huang (Eds.), Technology Enhanced Learning, New York,
USA, pp. 258-283, (2008), ISBN-10: 159*******.
[Online]: http://www.igi-global.com/Bookstore/Chapter.aspx
TitleId=30198
Peer-Reviewed Journal Publications
Krdzavac, N., Gasevic, D., -Reasoning with part-part relations in a description logic,- Knowledge
Based Systems, Volume. 24. Issue 2, pp. 347-353, 2011. Doi: 10.1016/j.knosys.2010.09.001
Krdzavac, N., Gasevic D., and Devedzic V., -Model Driven Engineering of a Tableau Algorithm
for Description Logics,- International Journal on Computer Science and Information Systems, Vol. 6,
pp.23-43, (2009). [Online]: http://www.comsis.org/ComSIS/Vol6No1/RegularPapers/paper1.htm
3. Krdzavac, N., Gasevic D., -A Method for Implementation Description Logic Reasoner,- Univ.
Beograd. Publ. Elektrotehn. Fak. Ser. Mat., Vol. 16, pp.119-130, (2005).
[Online]: http://pefmath2.etf.rs/files/125/976.pdf
Conference / Workshop Papers
R. Haque, Krdzavac, N., T. Butler, -Transforming Nescient Activity into Intelligent Activity-,In Proc. of
International Conference of Data and Knowledge Engineering, Wu Yi Shan, China, Nov.2012.
[Online]: http://link.springer.com/chapter/10.1007/978-3-642-34679-8_3
Krdzavac, N., R. Haque, T. Butler, -Web-based Reasoning with Balance Sheets-, Workshop -AI on
the Web- at the 35th German conference on Artificial Intelligence, Saarbrucken, Germany, pp. 1-4,
2012. [Online]: https://aiw2012.west.uni-koblenz.de/files/2012/09/aiw2012.pdf
Krdzavac, N., Haque R., and Butler T., -An IFRS-Compliant Balance Sheet Metamodel-, In Proc. of
2nd Workshop on Model Driven Approaches in System Development (MDASD), 09/2012, Wroc
aw,
Poland, (2012).
[Online]: http://ieeexplore.ieee.org/stamp/stamp.jsp
arnumber=06354379
Mosurovic, M., Henson, G., Krdzavac, N., -A Decidable Extension of SRIQ with Disjunction in
Complex Role Inclusion Axioms-, In Proc. of 25th International Workshop on Description Logics (DL
2012), 06/2012, Rome, Italy, (2012). [Online]: http://ceur-ws.org/Vol-846/paper_16.pdf
Krdzavac, N., Djuri,
D., Deved
i,
V., Radenkovi,
S., Miliki,
N., Jovi
i,
B.,
Automated Synthesis
Tableau Calculi in Intelligent Web-based Education Systems-, In Proc. of International Conference on
Latest Trends in Engineering & Technology (ICLTET'2011), Dec. 17-18, Pattaya, Thailand, (2011).
[Online]: http://psrcentre.org/images/extraimages/1211247.pdf
Mosurovic, M., Krdzavac, N., -A Technique for Handling the Right Hand Side of Complex RIAs,- In
Proc. of 24th International Workshop on Description Logics (DL 2011), 07/2011, Barcelona, Spain,
(2011). [Online]:
http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-745/paper_34.pdf
Krdzavac, N., Mosurovic, M., -An extension of role inclusion axioms with regular expressions,- In
Proceedings of Information Technology IT-2010, Zabljak, Montenegro, (2010) (Abstract). [Online]:
Abstract: http://www.it.ac.me/radovi.php
Krdzavac, N., Mosurovic M., -Terminal Complex Role Inclusion Axioms,- Automated Reasoning
Workshop 2010, Bridging the Gap between Theory and Practice (arw2010), pp.26-28, March 2010,
London, (2010). [Online]: http://www2.wmin.ac.uk/bolotoa/ARW/arw-2010.html
Krdzavac, N., Radenkovic S., Devedzic V., -QTI-FAR Framework for Assessment Systems,- In the
proceedings of the International Conference of Technology Enhanced Learning, 12/2008, Hanoi,
Vietnam, (2008), (CD Edition). [Online]: http://telearn2008.cl.ncu.edu.tw/Abs/7-abstract.pdf
Radenkovic, S., Krdzavac N., Devedzic V., -MDA and Semantic Web Technologies for Assessment
Systems,- In Proceedings of the SWEL'08 Workshop on Ontologies and The Semantic Web for
Intelligent Educational Systems, held in conjunction with The 9th International Conference on
Intelligent Tutoring Systems, ITS 2008, 06/2008, Montreal, Canada, pp.65-69, (2008). [Online]:
http://compsci.wssu.edu/iis/swel/SWEL08/Papers/Krdzavac.pdf
Radenkovic, S., Krdzavac, N. Devedzic, V., -A QTI Metamodel,- In Proceedings of the International
Multi-conference on Computer Science and Information Technology, Wisla-Poland, pp. 1123 - 1132,
ISSN 1896-7094, (2007). [Online]: http://www.papers2007.imcsit.org/pliks/95.pdf
Krdzavac, N., Djuric D., Devedzic V., -MDA-Based Architecture of a Description Logics Reasoner,-
The 3rd IFIP Conference on Artificial Intelligence Applications and Innovations (AIAI), Athens, Greece,
p.98-105, (2006). [Online]:
http://www.springerlink.com/content/q2g12k2184427033/
Technical Reports
Krdzavac, N., Bock. C., Reasoning in Manufacturing Part-part Examples with OWL 2, Technical
report, NISTIR 7535, National Institute of Standards and Technology, USA, (2008).
[Online]: http://www.nist.gov/customcf/get_pdf.cfm
pub_id=824692
Impact of Research: h-index=4.
See link: http://scholar.google.com/citations
user=c7cDraAAAAAJ&hl=en&oi=ao
Contact this candidate