People
Dr Emmanuel Tadjouddine
Lecturer in Computing
School/Department: Computing and Mathematic Sciences, School of
Telephone: +44 (0)116 223 1368
Email: emt12@leicester.ac.uk
Profile
I am currently
- Lecturer in computing
- Admissions Tutor for the BSc Computer Science and BSc Software Engineering.
Prior to this role, I worked at Xi’an Jiaotong-Liverpool University, University of Aberdeen, and Cranfield University (the Royal Military College of Science now Defense Academy of the UK). I have earned a PhD in Computer Science at the University of Nice Sophia Antipolis, France.
Research
My research interests concern
- Algorithmic Differentiation and its application to numerical methods such as sensitivity analysis, optimisation, financial computing, and Machine Learning algorithms.
- Electronic markets in particular the design and verification of auction mechanisms
- Computer Science education
Publications
1. W. Bai, E.M. Tadjouddine, T. Payne, and G. Li. Dialogue Based Decision Making in Online Trading. Vol. 5 No. 3 (2017): Transactions on Machine Learning and Artificial Intelligence, https://doi.org/10.14738/tmlai.53.3390
2. Huan Gao, Hai-Bin Zhang, Zhi-Bao Li, and Emmanuel M. Tadjouddine. A Nonmonotone Inexact Newton Method for Unconstrained Optimization, Optimization Letters, Springer, Vol. 11, Issue 5, pp. 947-965, June 2017.
3. L. Liu, C. Thornton, S. J. Shaw, E. M. Tadjouddine. Discrete Element Modelling of agglomerate impact using autoadhesive elastic-plastic particles. Powder Technology, Elsevier, pp. 81-88, Sep. 2016.
4. E. M. Tadjouddine. Calibration based on entropy minimization for a class of asset pricing models. Applied Soft Computing, Vol. 42, pp.431-438 , Elsevier, May 2016.
5. E.M. Tadjouddine. Modeling and Simulation of Sequential Auctions: Pricing and Calibration Algorithms. International Journal of Modeling, Simulation, and Scientific Computing, Vol. 3, World Scientific Press, 2012.
6. E.M. Tadjouddine. Vertex-Ordering Algorithms for Automatic Differentiation of Computer Codes. The Computer Journal, Oxford University Press, 2008, Volume 51, Number 6, pages: 688-699.
7. J.D. Pryce and E.M. Tadjouddine. Fast AD Jacobians by Compact LU Factorization. SIAM Journal on Scientific Computing, 2008, Volume 30, Issue 4, pages: 1659-1677.
8. M. Tadjouddine, S.A. Forth, and N. Qin. Elimination AD Applied to Jacobian Assembly for an Implicit Compressible CFD Solver. International Journal for Numerical Methods in Fluids, 2005, Volume 47, Issue 10-11, pages:1315-1321, Special Issue: 8th ICFD Conference on Numerical Methods for Fluid Dynamics, John Wiley & Sons, Ltd.
9. S.A. Forth, M. Tadjouddine, J.D. Pryce and J.K. Reid. Jacobian Code Generated by Source Transformation and Vertex Elimination can be as Efficient as Hand-coding. ACM TOMS (Transactions on Mathematical Software), 2004, 30(3), pages: 266-299.
10. M. Tadjouddine, S.A. Forth, and A.J. Keane. Adjoint Differentiation of a Structural Dynamics Solver. In Automatic Differentiation: Applications, Theory, and Implementations. Bucker et al (Eds), Vol. 50, Lecture Notes in Computational Science and Engineering, Springer, 2005, pages:309-319
11. W. Bai, S. Cheng, E.M. Tadjouddine and S. Guan. Incremental Attribute Based Particle Swarm Optimization, In Proceedings of the 8th Int. Conf. on Natural Computation, Chongqing China, 2012.
Supervision
I have supervised various undergraduate and postgraduate projects. However, I am interested in supervising or co-supervising PhD students in computing related areas such as Data science, Financial Computing, Artificial Intelligence, Algorithmic Differentiation, or Computer science education.
Graduated PhD students:
- Bai, W (2016) Automated Certification of Online Auction Services. PhD thesis, University of Liverpool. See https://livrepository.liverpool.ac.uk/3003726/
Teaching
Current teaching include the followings:
- I am a co-convenor for CO1102 - Programming fundamentals taken by Year 1 students in the BSc Computer Science BSc Software Engineering and BSc Creative Computing.
- I am the convenor for CO2106 - Data Analytics taken by Year 2 students in the BSc Computer Science and BSc Software Engineering.
- I am the convenor for CO3093/CO7093 - Big Data and Predictive Analytics taken by Year 3 students in the BSc Computer Science and BSc Software Engineering as well as various MSc students including MSc Bioinformatics and MSc Satellite Data Science.
Activities
- I am a Fellow of the HEA
- I am a member of ETAPS e.V. (https://etaps.community/)
Conferences
- W. Bai, E.M. Tadjouddine, T. Payne. A Dialectical Approach to Enable Decision Making in Online Trading. In 13th European Conference on Multi-Agent Systems Athens, 17-18 December 2015.
- W. Bai, E.M. Tadjouddine. Automated Program Translation in Certifying Online Auctions. In ETAPS/VPT 2015, April 11-18, London, UK, Electronic Proceedings of Theoretical Computer Science, 2015.
- W. Bai, E.M. Tadjouddine, T. Payne. Dialogue Driven Semantic Web Services. In CTI 2015, May 27-28, London, UK, IEEE Xplore.
- David Liu, Stephen James Shaw, Emmanuel Tadjouddine, Shufang Liao, Colin Thornton. Discrete element modelling of impact attritions of agglomerates of fine particles, Conference of Computational Mechanics of Granular Materials (CMGM-2014), 22-24, Aug, 2014, Lanzhou, China.
- W. Bai, E.M. Tadjouddine, and Y. Guo. Enabling Automatic Certification of Online Auctions. In ETAPS/FESCA 2014, April 5-13, Grenoble, France, Electronic Proceedings of Theoretical Computer Science, 2014.
- W. Bai, E.M. Tadjouddine, T.R. Payne and S. U. Guan. A Proof-Carrying-Code Approach to Certificate Auction Mechanisms. In FACS 2013, the 10th International Symposium on Formal Aspects of Component Software, Nanchang, China, 2013.
- E.M. Tadjouddine and X. Wu. Optimal Decision-Making Under Uncertainties, In Proceedings of the 9th Int. Conf. on Fuzzy Systems and Knowledge Discovery, Chongqing China, 2012.
- W, Bai, S, Cheng, E.M. Tadjouddine and S. Guan. Incremental Attribute Based Particle Swarm Optimization, In Proceedings of the 8th Int. Conf. on Natural Computation, Chongqing China, 2012.
- E.M. Tadjouddine and Y. Cao. An Option Pricing Model Calibration Using Algorithmic Differentiation. In Proceedings of the 26th International Symposium on Computer and Information Sciences (ISCIS 2011), The Royal Society, London, September 26-28, 2011.
- W.K. Chong, E.M. Tadjouddine, B.L. Tan and M. Shafaghi. On Developing Interoperable B2B e-Commerce Models for SMEs. In Proceedings of International Conference on E-business, Management and Economics, IEEE Press, Hong Kong, 28-30 December 2010.
- E.M. Tadjouddine. A Probabilistic Framework for Automated Mechanism Design. In Proceedings of IEEE Service Operations, Logistics and Informatics Conference, Qing Dao, China, 15-18 July, 2010, pages:315-320.
- E.M. Tadjouddine. On the Application of Algorithmic Differentiation to Newton Solvers. In Proceedings of the IMECS 2010, Hong Kong, 17-19 March 2010, pages: 1342-1347.
- E.M. Tadjouddine, F. Guerin and W. Vasconcellos. Abstracting and Verifying Strategy-proofness for Auction Mechanisms. In Proceedings of the AAMAS’08 workshop DALT 2008, Lecture Notes in Artificial Intelligence, Springer, pages: 197-214.
- E.M. Tadjouddine. Automated Mechanism Design Using Process Algebra. In Proceedings of the AISB 2008 Conference, Aberdeen, Scotland, UK, April 1-4 2008.
- E.M. Tadjouddine, F. Guerin and W. Vasconcellos. Abstractions for Model-checking Game-theoretic Properties for Auctions. In Proceedings of the AAMAS’08 Conference, Estoril, Portugal, ACM Press, 2008, pages:1613–1616.
- E.M. Tadjouddine. Complexity of Verifying Game Equilibria. In Multi-agent systems and Applications V, Burkhard, H.E et al (Eds.), Leipzig, Germany, September 25-27, 2007, pages:103–112, LNCS 4696, Springer.
- E.M. Tadjouddine and F. Guerin. Verifying Dominant Strategy Equilibria in Auctions. In Multi-agent systems and Applications V, Burkhard, H.E et al (Eds.), Leipzig, Germany, September 25-27, 2007, pages: 288-297, LNCS 4696, Springer.
- F. Guerin and E.M. Tadjouddine. Realising Common Knowledge Assumptions in Agent Auctions. In proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology, pages:579-586, Hong Kong, China, 18-22 December 2006.
- E. M. Tadjouddine and F. Guerin. Verifying Equilibria in Games of Complete and Perfect Information Represented by Presburger Formulas. In LOFT 06 Proceedings, pages:219-226, Liverpool, England, UK, 13-15 July 2006.
- M. Tadjouddine, S.A. Forth and N. Qin. Automatic Differentiation of a Time-Dependent CFD Solver for Optimisation of a Synthetic Jet. In the Proceedings of ICNAAM (Int. Conf. on Numerical Analysis and Applied Maths), Simos et al (Eds), pages:514-517, Wiley-VCH, Rhodes, Greece, Sep. 2005.
- M. Tadjouddine, S.A. Forth, and J.D. Pryce. Hierarchical Automatic Differentiation by Vertex Elimination and Source Transformation. In the Int’l Conference on Computational Science and its Applications (ICCSA’03), V. Kumar et al (Eds), LNCS 2668, pages:115-124, Part II, Springer, Montreal 2003.
- S.A. Forth and M. Tadjouddine. Newton Solvers with EliAD, An Elimination Automatic Differentiation Tool. Proceedings of the Int’l Conference on Computational Fluid Dynamics, July 15 - 19, 2002, Sydney, Australia, pages:134-139, Springer, 2003.
- M. Tadjouddine, S.A. Forth, J.D. Pryce and J.K. Reid. Performance Issues for Vertex Elimination Methods in Computing Jacobians using Automatic Differentiation. In the Int’l Conference on Computational Science, Peter M.A. Sloot et al (Eds), LNCS 2330, pages:1077-1086, Part II, Springer, Amsterdam 2002.
- M. Tadjouddine, F. Eyssette and C. Faure. Sparse Jacobian Computation in Automatic Differentiation by Static Program Analysis. In the Fifth Int’l Static Analysis Symposium, LNCS, No 1503, pages:311-326, Springer Verlag, Italy 1998.
Qualifications
- PhD in Computer Science. University of Nice Sophia Antipolis, France.
- DEA (Advanced Master Studies) in Cryptography and Optimisation, University of Limoges, France.