João Martins (if you can't see the ã learn to use unicode!) CMU|Portugal Dual Ph.D in CS, Carnegie Mellon University GHC 6601 B.Sc in CS by FCT/UNL, 2008 M.Sc in CS by FCT/UNL, 2010

> Research Interests_

. Argumentation Theory . Subjective Reasoning . Formal Approaches to AI . Probabilistic Reasoning . Hybrid Systems Verification

> Advisors_

. João Leite (FCT/UNL) . André Platzer (CMU)

> Publications_

. J. Martins, A. Platzer, J. Leite, Statistical model checking for distributed probabilistic control hybrid automata with Smart Grid applications, ICFEM'11 (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) . 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)

> 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 2011, HSCC 2011, ISSAC 2011, LAM 2011, AOSE 2012, FM 2012

> Other Interests and Hobbies_

. Blacksmithing (pics). I run an empty portuguese blacksmithing forum (forum) . IL-2 Sturmovik: 1946. I am part of CVW-13, VT-13 torpedo squadron mostly. We usually fly on:    . Zekes vs Wildcats, from Warbirds of Prey (Personal, Torpedo stats)    . Ghost Skies . History: XII to XV centuries, Napoleonic naval warfare and WWII . Historical reenactment (OCSP) . Boardgames! Join the CMU grad student boardgames mailing list (link)!