???global.info.a_carregar???
António Machiavelo has completed his PhD degree in 1993 at Cornell University, USA. He has published 27 papers in specialized scientific journals, 2 book chapters, and 40 papers popularizing several mathematical topics. He has supervised 2 PhD thesis and co-supervised 4; supervised 15 master thesis and co-supervised 6 more. António works on Number Theory and Computer Science, having also strong interests in the History and Philosophy of Mathematics.
Identification

Personal identification

Full name
António Machiavelo

Citation names

  • Machiavelo, António

Author identifiers

Ciência ID
5211-4FE8-66D8
ORCID iD
0000-0002-7595-7275

Knowledge fields

  • Exact Sciences - Mathematics

Languages

Language Speaking Reading Writing Listening Peer-review
English Advanced (C1) Proficiency (C2) Advanced (C1) Advanced (C1) Proficiency (C2)
French Upper intermediate (B2) Advanced (C1) Upper intermediate (B2) Advanced (C1) Advanced (C1)
Chinese Beginner (A1) Beginner (A1) Beginner (A1) Beginner (A1) Beginner (A1)
Education
Degree Classification
1994
Concluded
 Matemática (Doutoramento)
Major in Sem especialidade
Universidade do Porto Faculdade de Ciências, Portugal
"On Semi-linear Representations Over Local Fields" (THESIS/DISSERTATION)
1993
Concluded
 Matemática (Doutoramento)
Cornell University, United States
"On Semi-linear Representations Over Local Fields" (THESIS/DISSERTATION)
1985
Concluded
 Matemática (Licenciatura)
Major in Ramo Espec. Científica em Matemática Pura
Universidade do Porto Faculdade de Ciências, Portugal
Affiliation

Teaching in Higher Education

Category
Host institution 		Employer
1994 - 2018 Assistant Professor (University Teacher) Universidade do Porto, Portugal
1989 - 1994 Assistant (University Teacher) Universidade do Porto Departamento de Matemática, Portugal
1985 - 1989 Trainee Assistant (University Teacher) Universidade do Porto Departamento de Matemática, Portugal

Positions / Appointments

Category
Host institution 		Employer
2020/07/13 - Current Membro da Comissão Executiva do Departamento de Matemática Universidade do Porto Faculdade de Ciências, Portugal
2020/01/17 - Current Subdiretor da Comissão Científica do Mestrado em Matemática Universidade do Porto Faculdade de Ciências, Portugal
2018/11/20 - Current Membro da Comissão Científica do Mestrado em Matemática Universidade do Porto Faculdade de Ciências, Portugal
2013/02 - 2021/01 Membro da direcção do Centro de Matemática da Universidade do Porto Universidade do Porto Faculdade de Ciências, Portugal
2013/09 - 2020/09 Membro da Comissão Cientifica do Mestrado em Ensino de Matemática no 3º Ciclo do Ensino Básico e no Secundário Universidade do Porto Faculdade de Ciências, Portugal
2012/09 - 2014/09 Membro da Comissão Cientifica da Licenciatura em Matemática Universidade do Porto Faculdade de Ciências, Portugal
2006/05 - 2007/09 Coordenador da Comissão Científica do Mestrado em Engenharia Matemática Universidade do Porto Faculdade de Ciências, Portugal
2003 - 2005 Membro da Comissão Científica do Mestrado em Matemática - Fundamentos e Aplicações Universidade do Porto Faculdade de Ciências, Portugal
1998 - 1999 Vice-Presidente do Conselho Pedagógico da FCUP Universidade do Porto Faculdade de Ciências, Portugal
1994 - 1999 Membro da Comissão Científica do Mestrado em Ensino da Matemática Universidade do Porto Faculdade de Ciências, Portugal
Outputs

Publications

Book
  1. Konstantinidis, S.; Machiavelo, A.; Moreira, N.; Reis, R.. On the Average State Complexity of Partial Derivative Transducers. 2020.
    10.1007/978-3-030-38919-2_15
  2. Broda, S.; Machiavelo, A.; Moreira, N.; Reis, R.. On the average complexity of strong star normal form. 2017.
    10.1007/978-3-319-60252-3_6
  3. Broda, S.; Machiavelo, A.; Moreira, N.; Reis, R.. Position automaton construction for regular expressions with intersection. 2016.
    10.1007/978-3-662-53132-7_5
  4. Bastos, R.; Broda, S.; Machiavelo, A.; Moreira, N.; Reis, R.. On the state complexity of partial derivative automata for regular expressions with intersection. 2016.
    10.1007/978-3-319-41114-9_4
  5. Broda, S.; Machiavelo, A.; Moreira, N.; Reis, R.. Partial derivative automaton for regular expressions with shuffle. 2015.
    10.1007/978-3-319-19225-3_2
  6. Pereira, Susana; Machiavelo, António; Azevedo, José. A matemática na imprensa diária portuguesa. 2015.
  7. Broda, S.; Machiavelo, A.; Moreira, N.; Reis, R.. On the equivalence of automata for KAT-expressions. 2014.
    10.1007/978-3-319-08019-2_8
  8. Amorim, I.; Machiavelo, A.; Reis, R.. Counting equivalent linear finite transducers using a canonical form. 2014.
    10.1007/978-3-319-08846-4_5
  9. Broda, S.; Machiavelo, A.; Moreira, N.; Reis, R.. On the average size of Glushkov and equation automata for KAT expressions. 2013.
    10.1007/978-3-642-40164-0_10
  10. Broda, S.; Machiavelo, A.; Moreira, N.; Reis, R.. The average transition complexity of glushkov and partial derivative automata. 2011.
    10.1007/978-3-642-22321-1_9
  11. Broda, S.; Machiavelo, A; Moreira, N.; Reis, R.. On the average number of states of partial derivative automata. 2010.
    10.1007/978-3-642-14455-4_12
Book chapter
  1. Sabine Broda; António Machiavelo; Nelma Moreira; Rogério Reis. "Location Based Automata for Expressions with Shuffle". 43-54. Springer International Publishing, 2021.
    10.1007/978-3-030-68195-1_4
  2. Machiavelo, António. "On the importance of useless mathematics". 397-408. 2012.
Conference paper
  1. Azevedo, Assis; Carvalho, Maria; Machiavelo, António. "Um problema de grandes denominadores". 2012.
Journal article
  1. António Machiavelo; Nikolaos Tsopanidis. "Zhi-Wei Sun's 1-3-5 conjecture and variations". Journal of Number Theory 222 (2021): 1-20. https://doi.org/10.1016/j.jnt.2020.10.001.
    In press • 10.1016/j.jnt.2020.10.001
  2. Machiavelo, António; Reis, Rogério; Tsopanidis, Nikolaos. "Report on Zhi-Wei Sun's 1-3-5 conjecture and some of its refinements". Journal of Number Theory 222 (2021): 21-29. http://dx.doi.org/10.1016/j.jnt.2021.01.001.
    In press • 10.1016/j.jnt.2021.01.001
  3. Broda, Sabine; Machiavelo, Antonio; Moreira, Nelma; Reis, Rogerio. "Analytic Combinatorics and Descriptional Complexity of Regular Languages on Average". ACM SIGACT News 51 1 (2020): 38-56. http://dx.doi.org/10.1145/3388392.3388401.
    Published • 10.1145/3388392.3388401
  4. António Machiavelo; Rogério Reis. "Criptografia e Criptoanálise". Revista de Ciência Elementar 7 4 (2019): https://doi.org/10.24927/rce2019.067.
    10.24927/rce2019.067
  5. Broda, S.; Machiavelo, A.; Moreira, N.; Reis, R.. "On Average Behaviour of Regular Expressions in Strong Star Normal Form". International Journal of Foundations of Computer Science 30 6-7 (2019): 899-920. http://www.scopus.com/inward/record.url?eid=2-s2.0-85072942232&partnerID=MN8TOARS.
    10.1142/S0129054119400227
  6. Broda, S.; Machiavelo, A.; Moreira, N.; Reis, R.. "Position automata for semi-extended expressions". Journal of Automata, Languages and Combinatorics 23 1-3 (2018): 39-65. http://www.scopus.com/inward/record.url?eid=2-s2.0-85062068817&partnerID=MN8TOARS.
  7. Broda, S.; Machiavelo, A.; Moreira, N.; Reis, R.. "Automata for regular expressions with shuffle". Information and Computation 259 (2018): 162-173. http://www.scopus.com/inward/record.url?eid=2-s2.0-85029209123&partnerID=MN8TOARS.
    10.1016/j.ic.2017.08.013
  8. Daniella Assemany; Costa, Cecília; António Machiavelo. "As múltiplas representações em tarefas e a conexão de conteúdos de matemática: perceções em um curso de formação contínua de professores". (2018): http://hdl.handle.net/10773/26657.
  9. Pereira, S.; Machiavelo, A.; Azevedo, J.. "Maths in the news: Uses and errors in Portuguese newspapers". Journal of Science Communication 15 4 (2016): http://www.scopus.com/inward/record.url?eid=2-s2.0-84979896296&partnerID=MN8TOARS.
  10. Pereira, Susana; Azevedo, José; Machiavelo, António. "A numeracia e a formação dos jornalistas". (2016): http://ojs.letras.up.pt/index.php/prismacom/article/view/1825.
  11. Pereira, S.; Machiavelo, António; Azevedo, J.. "A literacia matemática nas notícias: um problema para o jornalismo?". (2016): http://revistas.ua.pt/index.php/sopcom/article/view/3826.
  12. Amorim, I.; Machiavelo, A.; Reis, R.. "On the Number of Linear Finite Transducers". International Journal of Foundations of Computer Science 26 7 (2015): 873-893. http://www.scopus.com/inward/record.url?eid=2-s2.0-84952881475&partnerID=MN8TOARS.
    10.1142/S0129054115400043
  13. Broda, S.; Machiavelo, A.; Moreira, N.; Reis, R.. "A Hitchhiker's Guide to descriptional complexity through analytic combinatorics". Theoretical Computer Science 528 (2014): 85-100. http://www.scopus.com/inward/record.url?eid=2-s2.0-84895920762&partnerID=MN8TOARS.
    10.1016/j.tcs.2014.02.013
  14. Amorim, I.; Machiavelo, A.; Reis, R.. "On the invertibility of finite linear transducers". RAIRO - Theoretical Informatics and Applications 48 1 (2014): 107-125. http://www.scopus.com/inward/record.url?eid=2-s2.0-84897377159&partnerID=MN8TOARS.
    10.1051/ita/2014004
  15. Machiavelo, António; dos Santos, Carlos Pereira; Silva, Jorge Nuno; Santos, José Carlos; Viana, José Paulo. "Cinco tributos a Martin Gardner". Boletim da SPM 71 (2014): 98-100. https://revistas.rcaap.pt/boletimspm/article/view/6806.
    Published
  16. Azevedo, Assis; Carvalho, Maria; Machiavelo, António. "Dynamics of a quasi-quadratic map". Journal of Difference Equations and Applications 20 1 (2014): 36-48. https://hdl.handle.net/10216/90734.
    10.1080/10236198.2013.805754
  17. Machiavelo, António. "On the Source of Mathematical Intuition". Kairos — Revista de Filosofia & Ciência 6 (2013): 223-237.
    Published
  18. Broda, S.; Machiavelo, António; Moreira, N.; Reis, R.. "On the average size of glushkov and partial derivative automata". International Journal of Foundations of Computer Science 23 5 (2012): 969-984. http://www.scopus.com/inward/record.url?eid=2-s2.0-84867198775&partnerID=MN8TOARS.
    10.1142/S0129054112400400
  19. Machiavelo, António; Reis, Rogério. "Turing e a Enigma". Boletim da SPM 67 (2012): 97-120. https://revistas.rcaap.pt/boletimspm/article/view/3887.
    Published
  20. Broda, S.; Machiavelo, A.; Moreira, N.; Reis, R.. "On the average state complexity of partial derivative automata: An analytic combinatorics approach". International Journal of Foundations of Computer Science 22 7 (2011): 1593-1606. http://www.scopus.com/inward/record.url?eid=2-s2.0-82955202691&partnerID=MN8TOARS.
    10.1142/S0129054111008908
  21. António Machiavelo; Rogério Reis. "Ainda o totobola: o singular caso dos 5". Boletim da Sociedade Portuguesa de Matemática 62 (2010): 49-60. https://repositorio-aberto.up.pt/handle/10216/95873.
    Published
  22. Machiavelo, A.; Reis, R.. "Automated ciphertext - Only cryptanalysis of the Bifid cipher". Cryptologia 31 2 (2007): 112-124. http://www.scopus.com/inward/record.url?eid=2-s2.0-34347363018&partnerID=MN8TOARS.
    10.1080/01611190601134222
  23. Hunziker, Markus; Machiavelo, António; Park, Jihun. "Chebyshev polynomials over finite fields and reversibility of s-automata on square grids". Theoretical Computer Science 320 2-3 (2004): 465-483. http://dx.doi.org/10.1016/j.tcs.2004.03.031.
    10.1016/j.tcs.2004.03.031
Magazine article
  1. Machiavelo, António. "Segurança Pré e Pós-Quântica", Gazeta de Matemática, 2018
  2. Machiavelo, António. "Dízimas Periódicas e uma Conjetura de Emil Artin", Gazeta de Matemática, 2013
  3. Machiavelo, António. "O que é Realmente a raiz quadrada de 2?", Gazeta de Matemática, 2013
  4. Machiavelo, António. "Matemática e Malabarismo", Gazeta de Matemática, 2012
  5. Machiavelo, António. "Primos de Outros Mundos", Gazeta de Matemática, 2012
  6. Machiavelo, António. "Problemas Potencialmente Perigosos", Gazeta de Matemática, 2012
  7. Machiavelo, António. "Pontos, Linhas e a Estrutura do Universo", Gazeta de Matemática, 2011
  8. Machiavelo, António. "Números Hipergigantescos", Gazeta de Matemática, 2011
Newsletter article
  1. Machiavelo, António. "Pythagoras, Facts and Legends", Newsletter of the European Mathematical Society , 2009, https://www.ems-ph.org/journals/newsletter/pdf/2009-12-74.pdf.
Activities

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2016 - 2020/11 Insubordinação Criativa, Auto(Trans)Formação e Conexões Matemáticas: Engendrando Saberes na Autoformação de Professores Portugueses
Co-supervisor
 Ensino e Divulgação das Ciências (PhD)
Universidade do Porto Faculdade de Ciências, Portugal
2017 - 2020 The Hurwitz and Lipschitz Integers and Some Applications
Supervisor
 Matemática (PhD)
Universidade do Porto, Portugal
2016 - 2020 On Some Norm Equations over Cyclotomic Fields
Supervisor
 Matemática (PhD)
Universidade do Porto Faculdade de Ciências, Portugal
2011 - 2016/05 Linear Finite Transducers Towards a Public Key Cryptographic System
Co-supervisor
 Computer Science (PhD)
Universidade do Porto Faculdade de Ciências, Portugal
2015 - 2016 Frankl Conjecture
Supervisor
 Matemática (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2015 - 2016 Pontos Racionais em Circunferências
Supervisor
 Matemática (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2014 - 2015 Números Racionales en el Antiguo Egipto
Supervisor
 Matemática para Professores (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2012 - 2015 A Matemática na Imprensa Portuguesa
Co-supervisor
 Ensino e Divulgação das Ciências (PhD)
Universidade do Porto Faculdade de Ciências, Portugal
2013 - 2014 Aritmética nos Quaterniões e o Problema da Metacomutação
Supervisor
 Matemática (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2013 - 2014 Cellular Automata and Cryptography
Co-supervisor
 Ciência de Computadores (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2007 - 2011/12 A Obra Matemática de Juan Pérez de Moya no Contexto dos Saberes Matemáticos do Século XVI
Co-supervisor
 História da Matemática (PhD)
Universidade do Porto Faculdade de Ciências, Portugal
2010 - 2011/07 O Advento da Criptografia de Chave Pública e as suas Aplicações
Supervisor
 Matemática (Master)
Universidade do Porto Departamento de Matemática, Portugal
2008 - 2009/07 Crivo Quadrático
Co-supervisor
 Engenharia Matemática (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2007 - 2009/03 Criptografia com Curvas Elípticas
Co-supervisor
 Engenharia Matemática (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2007 - 2009/02 Fracções Contínuas e Música
Supervisor
 Matemática (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2007 - 2009/02 Votações Electrónicas e a Cifra de Paillier
Co-supervisor
 Matemática (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2005 - 2007/05 A Criptanálise da ENIGMA: 1932 — 1939
Co-supervisor
 Engenharia Matemática (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2005 - 2007/03 Medusa --- uma Cifra Inspirada na Bífida e uma sua Implementação
Supervisor
 Engenharia Matemática (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2005 - 2006/12 Protocolos de Segurança em Redes Sem Fios
Co-supervisor
 Engenharia Matemática
Universidade do Porto Faculdade de Ciências, Portugal
2005 - 2006 Teoria Matemática das Eleições
Supervisor
 Ensino da Matemática (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2002 - 2004/03 Os Códigos Reed-Solomon e o seu uso nos CDs
Supervisor
 Ensino da Matemática (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2002 - 2003/09 O Sistema Criptográfico RSA: Variantes e Ataques
Supervisor
 Ensino da Matemática (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2002 - 2003/07 Teoria de Jogos: os Resultados Fundamentais e algumas aplicações à Biologia
Supervisor
 Ensino da Matemática (Master)
Universidade do Porto Faculdade de Ciências, Portugal
1999 - 2000/12 O Carácter Residual de Ordem 2^r de 2
Supervisor
 Matemática - Fundamentos e Aplicações (Master)
Universidade do Porto Faculdade de Ciências, Portugal
1995 - 1996/12 Origem e Génese do Teorema Fundamental do Cálculo
Supervisor
 Ensino da Matemática (Master)
Universidade do Porto Faculdade de Ciências, Portugal
1995 - 1996/10 Infinito e Dimensão: uma revolução no século XIX
Supervisor
 Ensino da Matemática (Master)
Universidade do Porto Faculdade de Ciências, Portugal
1995 - 1996/10 Análise p-ádica
Supervisor
 Ensino da Matemática (Master)
Universidade do Porto Faculdade de Ciências, Portugal

Interview (tv / radio show)

Program Topic
2011/01/22 - 2011/01/22 Inovadores — TVI24 Cryptography and Mathematics