Home page of Aleksandar
Ignjatovic
Senior Lecturer University of New South
Wales Sydney, NSW 2052,
Australia CRICOS
Provider Number: 00098G Office hours: Tuesday 4-5pm, Thursday 6-7pm Office: CSE (K-17), 5th
floor, 504 |
|
|
|
|
|
I
got my Bachelor's and Master's degrees in mathematics at the University of Belgrade, former
Yugoslavia, and Ph.D. in mathematical logic at the University of California at Berkeley,
while holding University of California Regents Fellowship. My thesis was
entitled "Fragments of Arithmetic and Lengths of Proofs"; I was
fortunate to have as my Thesis Advisor Professor Jack Silver, one of the
foremost set theorists, and as a Thesis Committee member Professor Manuel Blum,
whose work stimulated my interest in Theoretical Computer Science. After
graduating at Berkeley, I got a tenure track position as an Assistant
Professor at the Carnegie Mellon University, where I taught for 5 years at
the Department of Philosophy and the CMU's Program for Pure and Applied Logic.
I left CMU to start a company, and my startup "Kromos Technology"
employed several of my former CMU students. The company's CEO was Raj Parekh,
former CTO of Sun Microsystems and among our investors and Board members were
former President and COO of AMD Atiq Raza, the former CEO of Fiberlane,
Cerent and Siara Raj
Singh, as well as Redwood Venture Partners. The company was acquired by Comstellar Technologies and it is now a part of "Kromos
Telecommunications". I joined the School of Computer Science and Engineering
at UNSW in 2002, where I am
teaching algorithms and data structures. My research interests include
sampling theory and signal processing, applications of mathematical logic to
computational complexity theory, algorithms for embedded systems design as
well as educational use of puzzles for teaching serious problem solving
techniques. |
|
|
|
|
|
My contact
info: Office: Room 504, K-17, The University of New South Wales Phone: +61 2 9385 6659 Fax: +61 2 9385 5995 Email:
School of Computer Science and Engineering, |
|
|
|
|
|
MathSciNet for my Math
papers |
|
Xplore and dblp for my CS papers |
|
|
|
Disclaimer: These documents are made available to ensure timely
dissemination of scholarly work. Copyright and all rights therein are
retained by the
copyright holders. All parties copying this information are
expected to adhere to the terms and constraints invoked by each copyright
holder. In most cases, these documents may not be reposted without the
explicit permission of the copyright holder. Other restrictions to copying
individual documents may apply. |
|
Journal Papers: |
|
1.
C. T. Chou, A. Ignjatovic,
W. Hu: Efficient
computation of robust average of compressive sensing data in wireless sensor
networks in the presence of sensor faults, to appear in: IEEE
Transactions on Parallel and Distributed Systems, 2012. 2. J Ambrose, S Parameswaran, A Ignjatovic, R Ragel:
Multiprocessor information concealment
architecture to prevent side channel attacks, IET Transactions on Computers & Digital
Techniques, IET, 2011. 3.
J Ambrose, S Parameswaran, A Ignjatovic, N Aldon:
Differential Power Analysis in AES: A Crypto Anatomy 4. A. Ignjatovic and A. Zayed: Multidimensional chromatic derivatives and series expansions, Proceedings of the American Mathematical Society 139, Number 10 (2011), 3513-3525. 5.
Haris Javaid,
Aleksandar Ignjatovic and Sri Parameswaran. Rapid Design Space Exploration of
Application Specific Heterogeneous Pipelined Multiprocessor Systems. IEEE Transactions on CAD, Volume: 29 Issue:
11, pp. 1777 – 1789, 2010. 6. Aleksandar Ignjatovic: Chromatic
derivatives, chromatic expansions and associated spaces, East Journal
on Approximations, Volume 15, Number 3 (2009), 263-302. 7. Aleksandar Ignjatovic: Chromatic
derivatives and local approximations, IEEE
Transactions on Signal Processing, Volume 57, Issue 8, 2009. 8.
S. Radhakrishnan, H. Guo, S. Parameswaran, A. Ignjatovic: HMP-ASIPs: Heterogeneous Multi-Pipeline Application
Specific Instruction-set Processors, IET
Computers & Digital Techniques, IET Volume 3, Issue 1,
January 2009 pp. 94 - 108 9.
Aleksandar Ignjatovic: Local Approximations Based on
Orthogonal Differential Operators, Journal of Fourier Analysis and Applications, Vol. 13, Issue 3,
2007, pp. 309-330. 10. Andhi Janapsatya, Aleksandar Ignjatovic, Sri Parameswaran: Exploiting Statistical Information for Implementation of Instruction Scratchpad Memory in Embedded Systems, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, vol. 14, no. 8, August 2006. 11. Patrick Caldon
and A. Ignjatovic: On Mathematical Instrumentalism, Journal of Symbolic Logic (JSL), 70, 3, pp.
778-794. September 2005, New York. 12. A. Ignjatovic and A.
Sharma: Some applications of logic to feasibility in higher types,
ACM Transactions on Computational
Logic (ToCL), Volume 5, Number 2, 2004. 13. M. J. Narasimha,
A. Ignjatovic, P.P. Vaidyanathan: Chromatic Derivative Filter Banks, IEEE Signal Processing Letters, Vol.
9, No. 7, July 2002. 14. A. Ignjatovic and M. Grulevic: A comment on the joint embedding property, Periodica
Mathematica Hungarica Vol. 33 (1), 1996. 15. S. Buss and A. Ignjatovic: Unprovability of
Consistency Statements in Fragments of Bounded Arithmetic, Annals of Pure and Applied Logic,
vol. 74, Number 3, June 1995, pp 221-244. |
|
16.
A. Ignjatovic: Delineating
Classes of Computational Complexity via Second Order Theories with Weak Set
Existence Principles. I, The Journal of Symbolic Logic (JSL), vol. 60, Number 1, March
1995, pp. 103-121. 17.
A. Ignjatovic: Hilbert's
Program and the omega-rule, The Journal of Symbolic Logic (JSL), vol. 59, Number 1, March 1994. pp. 322-343. 18.
A.
Ignjatovic: Unions and intersections of isomorphic images of
nonstandard models of arithmetic. Publications
de l’Institut Mathématique,
Nouvelle Série 39(53) (1986), 25--28. 19.
A.
Ignjatovic: Initial segments and isomorphic
images of nonstandard models of arithmetic, Matematicki Vesnik 38 (1986), no. 3, 285--289. 20.
A.
Ignjatovic: An Ordering of the Set
of Sentences of Peano Arithmetic, Publications
de l’Institut Mathématique,
Nouvelle Série 38(52) (1985), 13--15. Conference
Papers: 21. J. A. Ambrose, A. Ignjatovic, Sri
Parameswaran: CoRaS: A Multiprocessor Key Corruption and
Random Round Swapping for Power Analysis Side Channel Attacks: A DES Case
Study, IEEE International
Symposium on Circuits and Systems, Korea, 2012. 22. Aleksandar Ignjatovic: Chromatic Derivatives and
Approximations, International Symposium in Approximation Theory in
conjunction with the 26th Annual Shanks Lecture, Vanderbilt University, Nashville,
Tennessee, USA, May 2011. slides 23. Aleksandar Ignjatovic, Ahmed Zayed: Chromatic Series
Expansions in Several Variables, SAMPTA, May 2011, Singapore. 24. Haris Javaid, Xin He, Aleksander Ignjatovic and Sri
Parameswaran. Optimal Synthesis of Latency and Throughput Constrained
Pipelined MPCoCs Targeting Streaming Applications, CODES+ISSS, 2010. 25. Haris Javaid, Aleksander Ignjatovic and Sri
Parameswaran. Fidelity Metrics for Estimation Models. ICCAD, 2010. 26. A. Ignjatovic: Frequency estimation using time domain methods based on
robust differential operators, the 10th IEEE
International Conference on Signal Processing (ICSP), 26 – 28 October 2010,
Beijing, China. 27. A. Ignjatovic: Signal interpolation
using numerically robust differential operators, 14th WSEAS CSCC Multi-conference, July 22-25, 2010, Corfu Island, Greece. 28. Andhi Janapsatya, Aleksandar Ignjatovic, Jorgen Peddersen, Sri Parameswaran:
Dueling CLOCK: Adaptive Cache Replacement Policy Based on the CLOCK
Algorithm. Design, Automation and Test in Europe (DATE) 2010
. 29. Chung Tong Lee, Natasa Milic-Frayling, Vishwa Vinay,
Eduarda Mendes Rodrigues, Gabriella
Kazai, Aleksandar Ignjatovic:
Measuring System Performance and Topic Effectiveness using Generalized Means
with Adaptive Weights, CIKM 2009, Hong Kong. 30. Chung Tong Lee, Eduarda Mendes Rodrigues, Gabriella
Kazai, Nataša Milić-Frayling,
Aleksandar Ignjatović: Model for Voter Scoring and Best Answer Selection in
Community Q&A Services, WI 09. 31. Aleks Ignjatovic, Chung Tong Lee, Paul Compton, Cat Cutay, Hui Guo: Computing
Marks from Multiple Assessors Using Adaptive Averaging, ICEE 09. 32. A. Ignjatovic, Chromatic Derivatives, Chromatic Expansions and Associated Function Spaces,
SAMPTA, Marseille, 2009. 33. A. Janapsatya, A. Ignjatovic and S.
Parameswaran, “HitME: Low Power Hit Memory Buffer
for Embedded Systems,” Proceedings of the 14th Asia and south Pacific Design
Automation Conference (DAC-ASP),
pp. 335-340, Japan, January 2009. 34. Aleksandar Ignjatovic,
Norman Foo, Chung Tong Lee, An Analytic Approach to Reputation Ranking of
Participants in Online Transactions, IEEE/WIC/ACM
International Conference on Web Intelligence and Intelligent Agent Technology
(WI), 2008. 35. Jude Angelo Ambrose, Naeill
Aldon, Aleksandar Ignjatovic and Sri Parameswaran, Anatomy of Differential Power Analysis for AES, RTES '08 in conjunction with SYNASC'
08, Timisoara, Romania, September 2008. |
|
36. J. Ambrose, S. Parameswaran and A. Ignjatovic:
MUTE-AES: A Multiprocessor Architecture to prevent Power Analysis based Side
Channel Attack of the AES Algorithm, ICCAD
'08. 37. Andhi Janapsatya, Aleksandar Ignjatovic, Sri
Parameswaran, Joerg Henkel: Instruction Trace
Compression for Rapid Instruction Cache Simulation, DATE 2007, Nice, France. |
|
38. Swarnalatha Radhakrishnan, Hui Guo,
Sri Parameswaran, Aleksandar Ignjatovic: Application Specific
Forwarding Network and Instruction Encoding for Multi-pipe ASIPs, CODES+ISSS’06, October
22–25, 2006, Seoul, Korea. |
|
39.
Andhi Janapsatya,
Aleksandar Ignjatovic, Sri Parameswaran: A Novel Instruction
Scratchpad Memory Optimization Method based on Concomitance Metric, Asia South Pacific Design
Automation Conference (ASP-DAC), Yokohama, January 2006. |
|
40.
Andhi Janapsatya,
Aleksandar Ignjatovic, Sri Parameswaran: Finding Optimal L1 Cache Configuration
for Embedded Systems, Asia
South Pacific Design Automation Conference (ASP-DAC), Yokohama,
January 2006. |
|
41.
Andhi
Janapsatya, Sri Parameswaran, Aleksandar Ignjatovic:
Hardware/Software Managed
Scratchpad Memory for Embedded Systems, International Conference on Computer
Aided Design (ICCAD), 7 - 11 November 2004. |
|
42.
A. Ignjatovic,
P. Nguyen: Characterizing Polynomial Time Computable Functions Using
Set Theories with Weak Set Existence Principles (II), Computing: The
Australasian Theory Symposium (CATS) 2003, Electronic Notes in Computer Science 78, Elsevier,
Netherlands. |
|
43.
A. Ignjatovic: Numerical
Differentiation and Signal Processing, The Proceedings of International Conference on Information,
Communications and Signal Processing, October 15-18, 2001,(ICICS
2001), Singapore. |
|
44.
P. P.
Vaidyanathan, A. Ignjatovic, S. Narasimha: New
Sampling Expansions Of Band Limited Signals Based On
Chromatic Derivatives. 35th
Asilomar Conference on Signals, Systems, and Computers, November 4-7,
2001, Monterey, CA, USA. 45.
P. Clote, A. Ignjatovic and B. Kapron: Parallel
Computable Higher Type Functionals,
34th IEEE Annual Symposium on
Foundations of Computer Science (FOCS), 1993, Stanford. |
|
Thesis: Fragments of first and second order arithmetic and length
of proofs, University of
California at Berkeley, 1990. [citations] |
|
|
Patents:
|
|
1. US Patent US6587064, issued
July 2003: M. Cushman and A. Ignjatovic: Signal Processor with Local Signal
Behavior and Predictive Capability. |
|
2. US Patent US6313778, issued
June 2001: Aleksandar Ignjatovic and Nicholas Carlin: Method and a system of
acquiring local signal behavior parameters for representing and processing a
signal. |
|
3. US Patent US6115726, issued
May 2000: Aleksandar Ignjatovic: Signal processor with local signal behavior. |
Book
chapter:
Sri Parameswaran, Joerg
Henkel, Andhi Janapsatya, Talal Bonny, and Aleksandar
Ignjatovic: Design and runtime
compression for embedded systems. In: Joerg
Henkel and Sri Parameswaran (editors): Designing
Embedded Processors: A Low Power Perspective, pages 97--128. Springer, 2007.
Book:
Jude Ambrose, Aleksandar Ignjatovic, and Sri
Parameswaran: Power Analysis Side Channel Attacks: The Processor Design-level Context,
VDM Verlag
Dr. Müller, 2010. ISBN
978-3-8364-8508-1