Denis Gracanin

Department of Computer Science

 


Contact Information

Denis Gracanin

Associate Professor

Virginia Tech

Department of Computer Science

2202 Kraft Drive, Room 1135

Blacksburg, VA 24060

USA

Phone: +1 540 231 2060

Fax: +1 540 231 9218

Email: gracanin@vt.edu

Education

Ph.D., Computer Science: The Center for Advanced Computer Studies, University of Louisiana at Lafayette, USA, 1994.

M.Sc., Computer Science: The Center for Advanced Computer Studies, University of Louisiana at Lafayette, USA, 1992.

M.Sc., Electrical Engineering: Telecommunications Department, Faculty of Electrical Engineering and Computing, University of Zagreb, Croatia, 1988.

B.Sc., Electrical Engineering (Radiocommunications): Radiocommunications Department, Faculty of Electrical Engineering and Computing, University of Zagreb, Croatia, 1986.

B.Sc., Electrical Engineering (Telecommunications): Telecommunications Department, Faculty of Electrical Engineering and Computing, University of Zagreb, Croatia, 1985.

Memberships

  1. 1.American Physical Society (APS).

  2. 2.American Society for Engineering Education (ASEE).

  3. 3.Association for Computing Machinery (ACM) - senior member.

  4. 4.Association for the Advancement of Artificial Intelligence (AAAI).

  5. 5.Institute of Electrical and Electronics Engineers (IEEE) - senior member.

  6. 6.Phi Kappa Phi Honor Society - life member.

  7. 7.Society for Industrial and Applied Mathematics (SIAM).

Fellowships

  1. 1.“ONR-ASEE summer senior faculty fellowship.” Naval Surface Warfare Center Dahlgren Division (NSWC/DD), Dahlgren, VA, 10 May–16 July 2010.

  2. 2.“ONR-ASEE summer senior faculty fellowship.” Naval Surface Warfare Center Dahlgren Division (NSWC/DD), Dahlgren, VA, 10 June–19 Aug. 2005.

  3. 3.“NASA summer faculty fellowship.” NASA Goddard Space Flight Center (GSFC), Greenbelt, MD, 24 May–30 July 2004.

Scholarships

  1. 1.“Fulbright scholarship.” The Center for Advanced Computer Studies, University of Louisiana at Lafayette, USA, 1991.

  2. 2.“Swedish Institute scholarship.” Royal Institute of Technology, Stockholm, Sweden, Apr.–July 1990.

Patents

  1. 1.M. G. Hinchey, J. L. Rash, W. F. Truzkowski, C. A. Rouff, R. Sterritt, and D. Gracanin, “Systems, methods and apparatus for generation and verification of policies in autonomic computing systems,” Patent US 7,886,273, United States Patent Office, 8 Feb. 2011.

  2. 2.M. G. Hinchey, J. L. Rash, J. D. Erickson, D. Gracanin, and C. A. Rouff, “Systems, methods and apparatus for verification of knowledge-based systems,” Patent US 7,752,608 B1, United States Patent Office, 6 July 2010.

  3. 3.M. G. Hinchey, J. L. Rash, J. D. Erickson, D. Gracanin, and C. A. Rouff, “Systems, methods and apparatus for implementation of formal specifications derived from informal requirements,” Patent US 7,739,671 B1, United States Patent Office, 15 June 2010.

Editorships

  1. 1.Editorial Review Board Member, “International journal on distance education technologies.” Apr. 2002–present.

  2. 2.Editorial Board Member, “International journal on systems and software engineering: A NASA journal.” Dec. 2004–present.

  3. 3.Editorial Board Member, “IEEE robotics and automation magazine.” Jan. 1996–Dec. 2000.

  4. 4.Editorial Board Member, “ITA: Information, telecommunication, automata.” Jan. 1990–Dec. 1995.

  5. 5.Guest Editor (with Kimon P. Valavanis), “IEEE robotics and automation magazine,” June 1999.