-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathindex.html
More file actions
57 lines (46 loc) · 6.76 KB
/
index.html
File metadata and controls
57 lines (46 loc) · 6.76 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
<!DOCTYPE html>
<html lang="en">
<head >
<meta charset="utf-8"/>
<meta http-equiv="X-UA-Compatible" content="IE=edge"/>
<meta name="viewport" content="width=device-width, initial-scale=1"/>
<meta name="description" content=""/>
<meta name="author" content=""/>
<link rel="stylesheet" href="ciao-htmlfontify.css" type="text/css"/><link rel="stylesheet" href="css/bootstrap.min.css" type="text/css"/><link rel="stylesheet" href="css/custom.css" type="text/css"/><link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" type="text/css"/><script type="text/javascript" src="lpdoc-aux.js"></script><title>Jose F. Morales</title>
</head>
<body >
<div class="container">
<div class="row">
<div class="col-sm-2">
</div>
<div class="col-sm-10">
<div class="page-header">
<h1 >Jose F. Morales</h1>
</div>
</div>
</div>
<div class="row">
<div class="col-sm-2">
<!-- Sidebar -->
<ul class="nav nav-pills flex-column"><li role="presentation" class="active"><a class="lpdoc-selmenu" href=""><strong>Home</strong></a></li><li role="presentation"><a class="lpdoc-unselmenu" href="contact.html"><strong>Contact</strong></a></li><li role="presentation"><a class="lpdoc-unselmenu" href="publications.html"><strong>Publications</strong></a></li></ul>
</div>
<div class="col-sm-10">
<!-- Content -->
<a href="http://software.imdea.org/people/josef.morales/index.html">Researcher</a> at <a href="http://software.imdea.org">IMDEA Software Institute</a>.<p>Member of the <a href="http://www.clip.dia.fi.upm.es/">CLIP</a> research group.<p><a class="btn btn-default btn-xs" href="https://twitter.com/notjfmc"><i class="fa fa-twitter"></i> Twitter</a>
<a class="btn btn-default btn-xs" href="https://github.com/jfmc"><i class="fa fa-github"></i> GitHub</a>
<a class="btn btn-default btn-xs" href="http://es.linkedin.com/pub/jose-f-morales/1a/439/239"><i class="fa fa-linkedin"></i> LinkedIn</a>
<a class="btn btn-default btn-xs" href="http://www.informatik.uni-trier.de/~ley/pers/hd/m/Morales:Jos=eacute=_F=.html"><i class="fa fa-houzz"></i> dblp</a>
<a class="btn btn-default btn-xs" href="https://www.researchgate.net/profile/Jose_Morales10">R<sup ><small >G</small></sup></i /> ResearchGate</a>
<!-- a class="btn btn-primary btn-xs" href="http://scholar.google.com/citations?hl=en&user=DZOdfUIAAAAJ"><i class="fa fa-google"></i> Scholar</a> -->
<br/>
<br/>
<p><strong>PhD in Computer Science</strong> by the <a href="http://www.upm.es/">Technical University of Madrid (UPM)</a>.<p><strong>Previous Positions:</strong> <em>Teaching Assistant</em> at <a href="http://federwin.sip.ucm.es/sic/sitemap">SIC Department</a> of the <a href="http://www.ucm.es/">Complutense University (UCM)</a> <p><strong>Research Topics of Interest</strong>:<p>My research topics are centered around the design and implementation of programming languages, compilers and abstract machines, program analysis and automated verification. I am one of the main contributors to the <a href="https://github.com/ciao-lang/ciao">Ciao system</a>.<p><div id="Service"><h3>Service</h3> <ul> <li><a href="https://www.cs.nmsu.edu/ALP/iclp2019/">ICLP 2019</a> <em>35th International Conference on Logic Programming</em>, September 20-25, Las Cruces, New Mexico, USA (PC) <li><a href="https://sri-csl.github.io/VSTTE19/">VSTTE 2019</a> <em>11th Working Conference on Verified Software: Theories, Tools, and Experiments</em> July 13-14, New York City, USA. Co-located with <a href="http://i-cav.org/2019/">CAV 2019</a> (PC) <li><a href="https://www.cs.nmsu.edu/ALP/iclp2018/">ICLP 2018</a> <em>34th International Conference on Logic Programming</em> July 14-17, Oxford, UK <li><a href="https://www.cs.nmsu.edu/ALP/iclp2018/Proceedings/ICLP_DC.html">ICLP DC 2018</a> <em>14th ICLP Doctoral Consortium</em>, July 18, Oxford, UK (PC) <li><a href="http://iclp2017.gitlab.io/doctoral_program/">CP/ICLP/SAT DC 2017</a> Doctoral Program co-located with CP 2017, ICLP 2017, SAT 2017. August 28, Melbourne, Australia. (PC) <li><a href="https://software.imdea.org/Conferences/CICLOPS2017/">CICLOPS 2017</a>, <em>15th International Colloquium on Implementation of Constraint and LOgic Programming Systems</em>, August 28, Melbourne, Australia. Workshop of <a href="http://iclp2017.gitlab.io/">ICLP 2017</a> (chair) <li><a href="http://software.imdea.org/Conferences/ICLP2016/">ICLP 2016</a>, <em>32nd International Conference on Logic Programming</em>, October 17-21, New York City, USA (PC) <li><a href="http://conf.researchr.org/committee/pldi-2016/pldi-2016-artifacts-evaluation-committee">PLDI 2016</a>, <em>37th annual ACM SIGPLAN conference on Programming Language Design and Implementation</em>, June 13-17, Santa Barbara, California, USA (Artifact Evaluation Committee) <li><a href="http://cc2016.eew.technion.ac.il/">CC 2016</a>, <em>25th International Conference on Compiler Construction</em>, March 17-18, Barcelona, Spain (PC) <li><a href="http://dc-iclp15.cs.bath.ac.uk/">ICLP DC 2015</a>, <em>11th ICLP Doctoral Consortium</em>, 31 August, Cork, Ireland (PC) <li><a href="http://users.ugent.be/~tschrijv/ICLP2014/">ICLP 2014</a>, <em>30th International Conference on Logic Programming</em>, July 19-22, Vienna, Austria (PC) <li><a href="https://sites.google.com/site/iclpdc14/">ICLP DC 2014</a>, <em>10th ICLP Doctoral Consortium</em>, July 20, Vienna, Austria (PC) <li><a href="http://clip.dia.fi.upm.es/Conferences/WLPE13/">WLPE 2013</a>, <em>Workshop on Logic-based methods in Programming Environments</em>, Workshop of <a href="http://www.iclp2013.org/en/">ICLP 2013</a> (Chair) <li><a href="http://akira.ruc.dk/~cth/ciclops13/">CICLOPS 2013</a>, <em>Colloquium on Implementation of Constraint and LOgic Programming Systems</em>, Workshop of <a href="http://www.iclp2013.org/en/">ICLP 2013</a> (PC) <li><a href="http://www.unife.it/dipartimento/ingegneria/information-technology/computer-science/iclp-dc-13">ICLP-DC 2013</a>, <em>ICLP Doctoral Consortium</em>, August 24, Istanbul, Turkey (PC) <li><a href="http://www.cs.bme.hu/iclp2012/">ICLP 2012</a>, <em>28th International Conference on Logic Programming</em> (PC) <li><a href="http://clip.dia.fi.upm.es/Conferences/CICLOPS-2008/">CICLOPS 2008</a>, <em>Colloquium on Implementation of Constraint and LOgic Programming Systems</em>, Workshop of <a href="http://iclp08.dimi.uniud.it/">ICLP 2008</a> (PC) <li><a href="http://clip.dia.fi.upm.es/Conferences/CICLOPS-2004/">CICLOPS 2004</a>, <em>Colloquium on Implementation of Constraint and LOgic Programming Systems</em>, Workshop of <a href="http://www.irisa.fr/manifestations/2004/ICLP04/">ICLP 2004</a> (PC and Co-Organizer) </ul> </div> <br/>
</div>
</div>
</div>
<!-- jQuery -->
<script src="js/jquery.js"></script>
<!-- Bootstrap Core JavaScript -->
<script src="js/bootstrap.min.js"></script>
</body>
</html>