Luis Nerio Scoccola Email: [email protected] Born: March 18, 1991 — Copenhagen, Denmark Nationality: Italian and Argentine

Interests • Homotopy Theory, Topology, Category Theory, Type theory, Homotopy Type Theory, Constructive mathematics, Geometry and Algebra. • Functional Programming, Complexity Theory, Computability.

Education University of Buenos Aires (UBA) • Licenciatura en Ciencias Matemáticas (equivalent to a Bachelor + MSc in Mathematics) Graduated: June 2016. Thesis on Spherical Fibrations in Homotopy Type Theory and in the classical setting. Advisor: Eduado Dubuc. https://github.com/LuisScoccola/mthesis/blob/master/mthesis.pdf • Analista Universitario en Computación (equivalent to a Bachelor Computer Science) Graduated: June 2016. Workshops and Scientific meetings • CIMPA School, Homological Methods, Representation Theory and Cluster Algebras, Mar del Plata. Marh 2016. https://webusers.imj-prg.fr/~patrick.le-meur/CIMPA/cimpa.php Two week meeting. Courses taken: Advanced homological algebra (Mariano Suárez-Alvarez), Introduction to the representation theory of algebras (Maria Inés Platzeck), Cluster algebras arising from surfaces (Ralf Schiffler), Cluster tilted algebras (Ibrahim Assem), Introduction to K-theory (Guillermo Cortiñas). Various talks including: Linear categories and associated rings (Guillermo Cortiñas), Calabi-Yau algebras and their uses (Patrick Le Meur), Kozul Calculus (Andrea Solotar), Behaviour of injective dimension with respect to regradings (Pablo Zadunasky).

1

• XXIV Encuentro Rioplatense de Álgebra y Geometría, Montevideo, Uruguay. December 2015. http://www.cmat.edu.uy/cmat/eventos/erag24 Four day meeting. Courses taken: The Weyl Groupoid (Leandro Vendramín). Various talks including: Conglomerated Automorphisms (Assem Ibrahim), Cyclic periodic homology in positive characteristic (Guillermo Cortiñas), Fundamental groups and coverings of algebras (Le Meur Patrick), Brauer Theory for profinite groups (John MacQuarrie). • XIII Congreso Dr. Antonio Monteiro 2015 (National Encounter of Algebra, Argentina). http://www.matematica.uns.edu.ar/xiiicm/spanish.php Three day meeting. Courses taken: The Diamond Lemma, Gröbner basis, construction of resolutions (Mariano Suárez Álvarez), Introduction to Universal Algebra (Diego Castaño), Path Algebras and Riemann Surfaces (Yadira Valdivieso). Various talks including: Analytic homology for algebras over a finite field (Guillermo Cortiñas), Composition of irreducible morphisms and the radical of a module category (Claudia Chiao). • elENA 2014 (National Encounter of Algebra, Argentina). FAMAF http://www.famaf.unc.edu.ar/~ciem/elena7/index.html Five day meeting. Courses taken: Introduction to Galois Theory (Agustín García Iglesias), Introduction to Lie Algebras (Vanesa Meinardi), Algebraic Methods in Combinatorics (Daniel Jaume), Combinatorial Knot Theory (Leandro Vendramín). Various talks including: The second homotopy group and the asphericity conjecture (Gabriel Minian), Galois Representations (Ariel Pacetti), Hochschild cohomology for algebras (María Julia Redondo). • Interactive theorem proving: theory and practice [Type theory and Coq intensive course] (Beta Ziliani, University of Saarland and Max Planck Institute for Software Systems, Germany), at UBA. July 2014. Five day intensive course with evaluation (10/10). • Positional Games (Milos Stojakovic, Department of Mathematics and Informatics, University of Novi Sad, Serbia), at UBA. July 2013. Five day intensive course with evaluation (10/10). Seminars • Attended the Topology Seminar held at UBA (organized by the Research Group on Algebraic Topology) from March 2015 to present. http://mate.dm.uba.ar/~ncapitel/rgat/esp/seminars.html • Seminar on Model Categories held at UBA (organized by Matias Data). Once a week from July to September 2015. https://sites.google.com/site/matiasdata/home/cht

2

Extra courses • Grothendieck-Galois Theory (Eduardo Dubuc), second semester of 2015, at UBA. One semester graduate level course. • Differential Topology (Gabriel Minian), second semester of 2015, at UBA. One semester graduate level course. • Basic Topics in Category Theory (Eduardo Dubuc), first semester of 2015, at UBA. One semester graduate level course. • Algebraic Topology (Gabriel Minian), first semester of 2015, at UBA. One semester graduate level course. • Modal Logic (Ricardo Rodriguez), second semester of 2013, at UBA. One semester graduate level course. TECSON School Grabación y Post-Producción de Audio (Audio recording and Post-Production). Two year course, 2011 and 2012. Juan José Castro conservatory of music First two years of FOBA (basic formation), 2007 and 2008. GPA: 8.16 out of 10. (Unfinished) Scuola Italiana Cristoforo Colombo Bilingual (Spanish-Italian) scientific high school. Bilingual bachelor (Argentine bachelor) and Diploma di Stato (Italian bachelor). 93 out of 100 in the final exam, 2009.

Teaching and Talks Talks • Two talks, Introduction to Homotopy Type Theory (19 and 26 June, 2015, Topology Seminar, UBA). • I organized a study group on Homotopy Type Theory and related topics from July 2014 to July 2015. The format was to get together two or three hours, once a week. We were usually three to six students with a Math or a Computer Science background. In the begining I gave talks presenting the most important topics in the book. Then we discussed ideas about constructions in HoTT, Type Theory and Category Theory in general, and we solved many of the exercises in the book.

3

Math teacher • Remedial math tutoring at Cristoforo Colombo high school in Buenos Aires, for high school students. One day a week, two hour class to a group of five to ten students. Second semester of 2011 and first semester of 2012. • Private remedial math tutoring for high school students. One hour class two times a week each student. Two or three students per week. From the first semester of 2009 to the second semester of 2010.

Programming Experience Main Experience C, Haskell and Python. GNU and Linux programming. Proof assistants Coq, Agda, CubicalTT. Familiar with C++, ARM and Intel assembly and Java. Android programming. Tools LaTex, Sage, Wolfram Mathematica, GNU Make, Git. Willing to learn Anything that runs on Linux. Projects • Graphic equalizer with spectral analyzer app. for Android. Frontend with Java. Main code in C with optimizations in ARM assembly. Fast Fourier transform in C and ARM assembly. https://github.com/LuisScoccola/graphicEq.git

Languages • Spanish — native • Italian — second language 4

• English — fluent • German — very basic

Hobbies Problem solving. Playing music. Cooking. Biking.

Last updated: July 5, 2016

5

Luis Scoccola- vita - GitHub

Jul 5, 2016 - https://github.com/LuisScoccola/mthesis/blob/master/mthesis.pdf. • Analista ... Five day intensive course with evaluation (10/10). • Positional ...

45KB Sizes 14 Downloads 348 Views

Recommend Documents

pdf-1472\vita-sackville-west-collection-by-vita ...
Page 3 of 6. pdf-1472\vita-sackville-west-collection-by-vita-sackville-west.pdf. pdf-1472\vita-sackville-west-collection-by-vita-sackville-west.pdf. Open. Extract.

Curriculum Vita
May 7, 2018 - The Great Recession and Import Protection: The Role of Temporary Trade ... “Trade Deflection and Trade Depression,” Journal of International.

SANDRE Luis Enrique.pdf
There was a problem previewing this document. Retrying... Download. Connect more apps... Try one of the apps below to open or edit this item. SANDRE Luis ...

by Luis Valdez
obsessed with death, the personality of the raza encom- passes all ... civilization. Most of us. know we are not European simply by look- ... abandon, creating a nation of bewildered half-breeds in countless ... ml IOn murders, to the MeXIcans.

15SU-Vita-Yenor.pdf
Scott Yenor ... David Hume's Humanity (Palgrave, due July 2015). Peer Review ... “Between Rationalism and Postmodernism: David Hume's Political Science of.

luis gonzalo llosa
8283 Bunche Hall. Los Angeles, CA 90095. Email: [email protected] ... monopolistic competitive business cycle model driven by aggregate technology shocks. The inefficiency of the equilibrium implies that ... account for a large fraction of the patte

Panamá - Luis Zegarro.pdf
DIRECCIÓN INSTITUCIONAL EN ASUNTOS DE SEGURIDAD PÚBLICA. Page 4 of 9. Panamá - Luis Zegarro.pdf. Panamá - Luis Zegarro.pdf. Open. Extract.

agradecimiento luis Buñuel.pdf
Sign in. Loading… Whoops! There was a problem loading more pages. Retrying... Whoops! There was a problem previewing this document. Retrying... Download. Connect more apps... Try one of the apps below to open or edit this item. agradecimiento luis Bu

agradecimiento luis Buñuel.pdf
agradecimiento luis Buñuel.pdf. agradecimiento luis Buñuel.pdf. Open. Extract. Open with. Sign In. Main menu. Displaying agradecimiento luis Buñuel.pdf.

Luis Álvarez.pdf
There was a problem previewing this document. Retrying... Download. Connect more apps... Try one of the apps below to open or edit this item. Luis Álvarez.pdf.

Panamá - Luis Zegarro.pdf
Page 1 of 9. REPÚBLICA DE PANAMÁ. MINISTERIO DE SEGURIDAD PÚBLICA. DIRECCION DE ASUNTOS INSTITUCIONALES DE. SEGURIDAD PUBLICA.

pdf-095\vita-sackville-west-selected-writings-by-vita-sackville-west ...
pdf-095\vita-sackville-west-selected-writings-by-vita-sackville-west.pdf. pdf-095\vita-sackville-west-selected-writings-by-vita-sackville-west.pdf. Open. Extract.

Hancher web vita 20160810.pdf
On the Writing, Illustration and Publication of Lewis Carroll's“Alice” Books. London: Macmillan; New York: Knopf, 1984. Pamphlet, 12pp. Published together with ...

Dr. Atkins' Vita-Nutrient Solution
use of nutrients as a cure for major and minor diseases. Dr Atkins has been ... Handle Even If You Hate Marketing and Selling · Living the Low Carb Life: From ...

la vita bella it.pdf
La vita bella coffee longmont 39 s favorite coffee shop. La vita. à ̈ bella life is beautiful filmfest.ca. Filmla vita à ̈ bella humanity house. La vita bella coffee ...

cafe vita evening menu.pdf
CLASSIC BURGER £6.95. TENNESSEE BURGER £8.95. Topped with bacon, monterey jack cheese and BBQ. sauce. CHICKEN MELT BURGER £8.95.

c Vita Godec_Lek d.d..pdf
There was a problem previewing this document. Retrying... Download. Connect more apps... Try one of the apps below to open or edit this item. c Vita Godec_Lek d.d..pdf. c Vita Godec_Lek d.d..pdf. Open. Extract. Open with. Sign In. Main menu. Whoops!

Dr. Daniel Stufflebeam- Vita abreviado.pdf
Page 1 of 1. Daniel L. Stufflebeam. ABBREVIATED VITA. Education. B.A., (music) University of Iowa; M.S. (counseling and psychology) Purdue University; Ph.D.

sony-ps-vita-tv.pdf
A. standard USB the to conforms that cable a or system 3®PlayStation a with supplied) ..... may children Small. children small of reach the of out accessories and ...

c Vita Godec_Lek d.d..pdf
There was a problem previewing this document. Retrying... Download. Connect more apps... Try one of the apps below to open or edit this item.

POnencia Juan Luis Pla.pdf
Page 1 of 26. I N S T I T U T O P A R A L A D I V E R S I F I C A C I Ó N Y A H O R R O D E L A E N E R G Í A. I Conferencia Española de Car Sharing. Madrid, 14 ...

Vita Martin Bøg
... Birkbeck College, University of Warwick, University of Helsinki (HECER). 2003 EEA/ESEM European Meeting, Stockholm. 2001 ENTER Jamboree, Toulouse. Refereeing. Journal of Economic Behavior and Organization. Professional Experience. 1992-95. System