Manuel Peralta, Ph.D.

Manuel Peralta, Ph.D. Email and Phone Number

Research Assistant Professor @ Pontificia Universidad Católica Madre y Maestra
Dominican Republic
Manuel Peralta, Ph.D.'s Location
Dominican Republic, Dominican Republic
Manuel Peralta, Ph.D.'s Contact Details

Manuel Peralta, Ph.D. personal email

n/a
About Manuel Peralta, Ph.D.

Specialties: -Software Engineering (Academic/Industrial Proficiency).-Formal Verification *Programming Language Theory *Programming Logics *Distributed Systems Theory

Manuel Peralta, Ph.D.'s Current Company Details
Pontificia Universidad Católica Madre y Maestra

Pontificia Universidad Católica Madre Y Maestra

View
Research Assistant Professor
Dominican Republic
Website:
pucmm.edu.do
Employees:
1824
Manuel Peralta, Ph.D. Work Experience Details
  • Pontificia Universidad Católica Madre Y Maestra
    Research Assistant Professor
    Pontificia Universidad Católica Madre Y Maestra
    Dominican Republic
    View
  • Pontificia Universidad Católica Madre Y Maestra
    Research Assistant Professor
    Pontificia Universidad Católica Madre Y Maestra May 2016 - Present
    Santo Domingo, D. R.
    Taught Courses * Senior-level Algorithms & Data Structures (ISC-435)* Sophomore-level Discrete Mathematics (MAT-111) * Freshmen-level Programming Fundamentals (ISC-105)*Senior Elective: Software Engineering Seminar (ISC-581)* Junior-level Logic Programming (ISC-317)*Sophomore-level Computational Logic (ISC-219)*Junior-level Concurrent & Parallel Programming (ISC-307)*Junior-level Compilers: Theory & Practice (ISC-317)* Sophomore-level Propositional and… Show more Taught Courses * Senior-level Algorithms & Data Structures (ISC-435)* Sophomore-level Discrete Mathematics (MAT-111) * Freshmen-level Programming Fundamentals (ISC-105)*Senior Elective: Software Engineering Seminar (ISC-581)* Junior-level Logic Programming (ISC-317)*Sophomore-level Computational Logic (ISC-219)*Junior-level Concurrent & Parallel Programming (ISC-307)*Junior-level Compilers: Theory & Practice (ISC-317)* Sophomore-level Propositional and First-Order Logic (ISC-219) Show less
    View
  • Pontificia Universidad Catolica Madre Y Maestra
    Adjunct Professor & Lecturer
    Pontificia Universidad Catolica Madre Y Maestra Jan 2016 - May 2016
    View
  • Instituto Tecnológico De Santo Domingo
    Adjunct Lecturer
    Instituto Tecnológico De Santo Domingo Feb 2016 - May 2016
    Taught Courses: Senior-level Software Architecture (IDS-309)
    View
  • Louisiana State University
    Research Associate
    Louisiana State University Jan 2013 - 2015
    Baton Rouge, Louisiana Area
    Published the extended results chapter of my dissertation (Perpetual Requirements Engineering) while researching the area of type inference systems and joint code-synthesis for the \​alpha-C process calculus. The result of this phase is a treatise on how to generate process calculus terms via Prolog-style resolution, i.e., the process terms are constructed at the same time the proof-terms are being verified.Researched new applications of counter-factual logic. Specifically, we explored… Show more Published the extended results chapter of my dissertation (Perpetual Requirements Engineering) while researching the area of type inference systems and joint code-synthesis for the \​alpha-C process calculus. The result of this phase is a treatise on how to generate process calculus terms via Prolog-style resolution, i.e., the process terms are constructed at the same time the proof-terms are being verified.Researched new applications of counter-factual logic. Specifically, we explored whether or not the logic could be applied to areas such as decision theory. The deliverables of this position were three papers. Two journal papers and one conference paper. Show less
    View
  • Louisiana State University
    Phd Candidate (Graduate Research Assistant)
    Louisiana State University Jan 2010 - 2012
    Baton Rouge, Louisiana Area
    Continued exploratory and intensive research phase with regards to extensions and applications of counterfactual logic. On this phase, we added concepts such as "Programs as Second Order Logic Formulas"​ (i.e., a program is just a finite conjunction of SOL terms), "Program Transformers"​ which were SOL operators that reflected source-code changes as changes of a SOL formula that represented the program, and produced a full-blown proof that showed that a-priori verification of future changes in… Show more Continued exploratory and intensive research phase with regards to extensions and applications of counterfactual logic. On this phase, we added concepts such as "Programs as Second Order Logic Formulas"​ (i.e., a program is just a finite conjunction of SOL terms), "Program Transformers"​ which were SOL operators that reflected source-code changes as changes of a SOL formula that represented the program, and produced a full-blown proof that showed that a-priori verification of future changes in source could indeed be represented in counterfactual logic. This was done all while preserving the soundness and completeness of Lewis' original version of the logic. Show less
    View
  • Utah State University
    Phd Student - Graduate Research Assistant
    Utah State University May 2007 - Dec 2009
    Logan, Utah
    Initial exploratory research on continuous modification of software systems (changes that could be performed while the system remained on-line). Such studies required command of high-level abstract mathematics and theoretical computer science which was guaranteed via carefully selected coursework and directed readings.This phase also featured the discovery of an interesting application of Lewi's counterfactual logic in verifying changes on future (and non-existent) versions of a given… Show more Initial exploratory research on continuous modification of software systems (changes that could be performed while the system remained on-line). Such studies required command of high-level abstract mathematics and theoretical computer science which was guaranteed via carefully selected coursework and directed readings.This phase also featured the discovery of an interesting application of Lewi's counterfactual logic in verifying changes on future (and non-existent) versions of a given program. The first phase consisted on making sure the logic was sound and complete and assessing whether or not it could be applied in the fashion we had envisioned. Show less
    View
  • Asociación La Nacional De Ahorros Y Préstamos
    Programmer Analyst, Requirements Manager
    Asociación La Nacional De Ahorros Y Préstamos May 2003 - Aug 2005
    View

Manuel Peralta, Ph.D. Skills

Formal Verification Algorithms C++ Software Engineering Python Java Latex Programming Artificial Intelligence Linux Mpi Matlab Data Analysis Computer Science Simulations Research Science Distributed Systems Statistics Software Development Teaching Literature Reviews Grant Proposal Writing Lecturing Guest Lecturing Course Management Syllabus Development

Manuel Peralta, Ph.D. Education Details

Frequently Asked Questions about Manuel Peralta, Ph.D.

What company does Manuel Peralta, Ph.D. work for?

Manuel Peralta, Ph.D. works for Pontificia Universidad Católica Madre Y Maestra

What is Manuel Peralta, Ph.D.'s role at the current company?

Manuel Peralta, Ph.D.'s current role is Research Assistant Professor.

What is Manuel Peralta, Ph.D.'s email address?

Manuel Peralta, Ph.D.'s email address is mp****@****usu.edu

What schools did Manuel Peralta, Ph.D. attend?

Manuel Peralta, Ph.D. attended Pontificia Universidad Católica Madre Y Maestra, Louisiana State University, Utah State University, Utah State University, Pontificia Universidad Católica Madre Y Maestra.

What are some of Manuel Peralta, Ph.D.'s interests?

Manuel Peralta, Ph.D. has interest in Health, Science And Technology, Arts And Culture, Economic Empowerment.

What skills is Manuel Peralta, Ph.D. known for?

Manuel Peralta, Ph.D. has skills like Formal Verification, Algorithms, C++, Software Engineering, Python, Java, Latex, Programming, Artificial Intelligence, Linux, Mpi, Matlab.

Free Chrome Extension

Find emails, phones & company data instantly

Find verified emails from LinkedIn profiles
Get direct phone numbers & mobile contacts
Access company data & employee information
Works directly on LinkedIn - no copy/paste needed
Get Chrome Extension - Free

Aero Online

Your AI prospecting assistant

Download 750 million emails and 100 million phone numbers

Access emails and phone numbers of over 750 million business users. Instantly download verified profiles using 20+ filters, including location, job title, company, function, and industry.