Oh look, it's me!
João Martins
(if you can't see the ã learn to use unicode!)

CMU|Portugal Dual Ph.D in CS,
Carnegie Mellon University
FCT/UNL

B.Sc in CS by FCT/UNL, 2008
M.Sc in CS by FCT/UNL, 2010

> Research Interests_ 
. Argumentation Theory
. Hybrid Systems Verification
. Logic
. Epistemics
 
> Advisors_ 
. João Leite (FCT/UNL)
. André Platzer (CMU)
 
> Publications_ 
. 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)
 
Tech Reports:
. 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)!