Revision as of 17:31, 4 July 2015

Amin Farjudian

Amin Farjudian, Assistant Professor, Dr.

Family Name: Farjudian
Given Name: Amin
Role: Assistant Professor
Title: Dr.
Subject: 
Organization: Center for Research on Embedded Systems
Email: Amin.Farjudian@hh.se
url: http://ceres.hh.se/mediawiki/Amin_Farjudian
Phone: +46-35-167846
Cell Phone: 

Projects: ESCHER

Research Interests

• Domain specific languages for signal processing on heterogeneous architectures ( ESCHER Project), with Tomas Nordström.
• Differential Equations (mainly PDEs and Rearrangement Theory), with Behrouz Emamizadeh.
• Computability and Complexity in Analysis.

Selected Publications

1. Amin Farjudian and Behrouz Emamizadeh: Absolute continuity in partial differential equations. Real Analysis Exchange, 40(1):209–218, 2015.
2. Amin Farjudian and Behrouz Emamizadeh: Maximal mean exit time related to the p-Laplace operator. Applied Mathematics E-Notes, 14:173–184, 2014.
3. Behrouz Emamizadeh and Amin Farjudian: Monotonicity of the principal eigenvalue related to a non-isotropic vibrating string. Nonautonomous Dynamical Systems, 1:123–136, 2014.
4. Jan Duracz, Amin Farjudian, Michal Konečný, and Walid Taha: Function Interval Arithmetic. In Hoon Hong and Chee Yap, editors, Mathematical Software ICMS 2014, volume 8592 of Lecture Notes in Computer Science, pages 677–684. Springer Berlin Heidelberg, 2014. (Preprint version)
5. Amin Farjudian and Behrouz Emamizadeh: Some Results on Radial Symmetry in Partial Differential Equations. New York Journal of Mathematics. 20:241–255, 2014.
6. Amin Farjudian: On the Kolmogorov complexity of continuous real functions. Annals of Pure and Applied Logic. 164(5):566–576, May 2013. (Preprint version)
7. Amin Farjudian: Game Semantics and the Later Wittgenstein: A Computer Scientific Approach to Linguistics. Keynote speech at The 4th International Conference on Philosophy of Language, Faculty of Foreign Languages, Ningbo University, Ningbo, China, October 26–29, 2012. (Slides)
8. Amin Farjudian: Polynomial-time solution of initial value problems using polynomial enclosures. In Luke Ong and Ruy de Queiroz, editors, Logic, Language, Information and Computation: Proceedings of the 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3–6, 2012, volume 7456 of Lecture Notes in Computer Science, pages 232–245. Springer, 2012. (Preprint version)
9. Michal Konečný and Amin Farjudian. Semantics of query-driven communication of exact values. Journal of Universal Computer Science, 16(18):2597–2628, 2010.
10. Michal Konečný and Amin Farjudian. Compositional semantics of dataflow networks with query-driven communication of exact values. Journal of Universal Computer Science, 16(18):2629–2656, 2010.
11. Jan A. Duracz, Amin Farjudian and Michal Konečný: media:2009.05.29-Fri-Duracz Farjudian Konecny-CFV09.pdf Enclosure constraints for floating point software verification. Sixth International Workshop on Constraints in Formal Verification, a satellite event of the 21st International Conference on Computer Aided Verification, CAV 2009, Grenoble, France, Jun 26–July 2 2009.