(if you can't see the ã learn to use unicode!)
CMU|Portugal Dual Ph.D in CS,
Carnegie Mellon University
B.Sc in CS by FCT/UNL, 2008
M.Sc in CS by FCT/UNL, 2010
|> Research Interests_|
|. Argumentation Theory
. Hybrid Systems Verification
|. João Leite
. André Platzer (CMU)
| . S. Egilmez, J. Martins and J. Leite, Extending Social
Abstract Argumentation with votes on attacks, TAFA'13 (pdf).
. V. Dahl, S. Egilmez, J. Martins, E. Miralles, On Failure-Driven Constraint-Based Parsing through CHRG, CHR'13 (pdf).
. D. Henriques, J. G. Martins, P. Zuliani, A. Platzer, E. M. Clarke, Statistical Model Checking for Markov Decision Processes, QEST'12 (pdf).
. J. Martins, A. Platzer, J. Leite, Statistical model checking for distributed probabilistic control hybrid automata with Smart Grid applications, ICFEM'11 (pdf, slides)
. J. Leite, J. Martins, Social Abstract Argumentation, IJCAI'11 (pdf)
. P. Torroni, M. Prandini, M. Ramilli, J. Leite, J. Martins, Arguments Against the Troll (position paper), ARGAIP'10
. J. Martins, J. Leite (adv.), Argumentation Systems with Social Voting, M.Sc Dissertation, 2010 (pdf)
. D. Henriques, J. G. Martins, P. Zuliani, A. Platzer, E. M. Clarke, Statistical Model Checking for Markov Decision Processes (Tech Report), CMU-CS-12-122 (pdf)
. J. Martins, A. Platzer, J. Leite, Statistical model checking for distributed probabilistic control hybrid automata with Smart Grid applications (Tech Report), CMU-CS-11-119 (pdf)
|> Research Misc_|
| . Distributed Probabilistic-Control Hybrid Automata (DPCHA)
Modelling & Statistical Model Checking Framework (link)
. Case Study: The Smart Grid with DPCHA (link, tech report)
. (Sub)reviewed for TABLEAUX'11, HSCC'11, ISSAC'11, LAM'11, AOSE'12, FM'12, HSCC'13, ICALP'13, SCSS'13, AAMAS'14, LAMAS'14, FM'14, CAV'15, CADE'15, FI-XX1-19
|> Other Interests and Hobbies_|
. Mental health activism (my story).
. Sex positivity, polyamory, feminism, pro-choice.
. Blacksmithing (pics, FB album), co-founder of the Portuguese Blacksmiths Association (page, forum).
. Reading (Goodreads)!
. ArmA 2 with Folk ARPS (some videos).
. Was a pilot with VT-13, CVW-13 virtual torpedo squadron, flying in IL-2 Sturmovik: 1946 ( video 1, video 2, video 3).
. History: XII to XV centuries, Napoleonic naval warfare and WWII, (naval) aviation in particular (least interested to most interested!)
. Historical reenactment with (OCSP), in the past.
. Weekly boardgames! Join the CMU grad student boardgames mailing list (link)!