Category
Skill
Country
Region
For Freelancers
- Create an awesome portfolio to showcase your talent.
- Rub elbows with the web's most talented freelancers.
- Earn money doing what you love to do.
- And much more...
For Employers
- Post your freelance job in just 30 seconds. It's free!
- Instant access to the web's most talented freelancers.
- Hire an unlimited number of freelancers.
- And much more...
|
|
|
|
Kirsty Breaks - Freelance Animal Illustration & Children's Book Illustration |
|
185
Kudos
|
|
3.0
2 Skills
|
|
$25
Rate/Hr
|
I am returning to art following the birth of my second child as I want to do something that doesn't tie me to exorbitant childcare costs and no time to spend with my children. Educated to PhD level but not in the field of art :) I love my art and I hope that this is reflected in the work that I produce. I am self taught but expanding my skills set through an art group. I work...
Bradford, West Yorkshire, United Kingdom
|
|
|
Louis Benoit - Freelance Animal Illustration & Children's Book Illustration |
|
292
Kudos
|
|
4.0
2 Skills
|
|
Ask
Rate/Hr
|
louis-benoit.blogspot.com LOUIS BENOIT ~ Illustrator t. 01422 886208 e. louisbenoit88@yahoo.com b. louis-benoit.blogspot.com My drawing style can vary from linear detailed work to many layered pen and wash still with detail but achieving impact, catching energy and movement. I think it is different. I can develop and realise ideas and characters, my own or respond to a...
leeds, West Yorkshire, United Kingdom
|
More Freelancers
|
|
1
Kudos
|
|
5.0
2 Skills
|
|
Ask
Rate/Hr
|
Art Dickerson is a published singer/songwriter from Fort Worth, Texas whose distinctive lyrical and vocal styles allow him to cross the genres of country, pop, rock, R & B, gospel and Christian. He is a member of BMI and Nashville Songwriters Association. Some of his many musical influences include The Beatles, James Taylor, Elton John, Dan Fogelberg, Sting, Journey, Lyle Lovett, Jeffrey Steele, Tim McGraw, Lonestar, Hugh Prestwood and George Strait. Over the years he has worked in studios doing lead and background vocals for clients and was lead vocalist in various pop/rock bands including most recently front man for the group "Full Moon Sun". He performs regularly in Texas and Nashville, Tennessee at Bluebird Café, Douglas Corner, Commodore, Preston Hotel, French Quarter, Hall of Fame, White Elephant Saloon, Richards Cafe, 3rd and Lindsley and others. He makes frequent trips to Nashville to record, network and perform as he loves the close-nit songwriter community. Some of the people he has worked with are: David Geffen, Geffen Records, CBS Songs - Canada, Sony/ATV Music, Jim and Joe Music – Nashville, Copperfield Music - Nashville and Zavitson Music Group Other music industry executives have taken notice of his voice and music: ”The best voice to ever come through the studio” – Ian Tyson, Studio Owner Canada, “Fabulous voice!” – Carol Childs, Geffen Records, “Perfume & Love is a great song…” – Music City Talent. As a writer/artist on the GAR label he had his composition "What Is Christmas For" receive full rotation on over 100 regional and syndicated radio stations. He has appeared on television programs in the USA and Canada. Jessika Murphy(American Idol) cut his song “Tell Me Twice” on her debut album. In 2008 he released his album "Remember Me" to favorable reviews. In 2011 he had artist cuts with Craig Moritz recording "Work For Beer" on EMI Records and Josh Housewright with "I Can Be Strong" on Lamon Records. Art enjoys spending time with family, golf, hockey, reading and movies.
United States
|
|
|
141
Kudos
|
|
4.0
2 Skills
|
|
$25
Rate/Hr
|
Presently working with a defense contractor creating illustrations and images, before the prototype is built.Photographing the product, building documentation, marketing collateral, and corporate identity. llustrator May 2007 - Present Custom Manufacturing & Engineering™ 3690 70th Avenue North St. Petersburg, FL 22781 Screen Printing Full Time Job and Freelance 4 color, spot color, simulated process Design to Production, Tampa, Florida Graphic Artist May 2001- August 2002 duPont Registry 3051 Tech Drive Saint Petersburg, FL 33716 Illustrator Sept. 1997 - Dec. 1999 MacMillian USA 201 W. 103rd. Street Indianapolis, IN 46290 Pre-Press Supervisor August 1995 - Jan. 1997 Digital Arts Prestige Magazine 6213 La Pas Trail Indianapolis, IN 46278 Pre-press Supervisor July 1993 - August 1995 101 Third Avenue S. W. Carmel, IN 46032 Graphic Artist Sept. 1990 - July 1993 R.H. Donnelly 600 South First Street Terre Haute, IN 47807 Instructor Indiana Vocational Technical College Terre Haute, IN 47807 Part time, worked as a second job Education Indiana Vocational Technical College Terre Haute, IN 47807 Graphic Media Production Associates Degree • Creative Mind... • 25 Years as a production artist, illustrator, graphic designer • Government Proposal, Secret Clearance, • Multi tasking, handling many projects and deadlines • Catalog design archiving and preparation • Digital illustration and photo manipulation • Product photography, marketing and documentation • Layout and design, all types of collateral • Marketing collateral created with original art • Sales, service and presentation skills • Customer service, skills also include conflict resolution • Deadline driven able to set and achieve goals • Computer literate in design and service bureau • Experienced in packaging design and standards • Capturing and executing client ideas • Knowledge of pre-press and color separation • Establish scheduling and work flow • Can take any project from concept to press • Work as a team or independently meeting dead lines • Work with supervision or without • Front line supervision and organization • Preparation of art for web design • Web editing and basic design using Dreamweaver • Print buying, spot color, 4 color, screen printing • Strong work ethics and motivational team support • Adobe 5 Creative Suite • Logo Deign Corporate Identity
St. Petersburg, Florida, United States
|
|
|
0
Kudos
|
|
4.0
2 Skills
|
|
Ask
Rate/Hr
|
I am a film and video editor who has recently relocated to Vancouver from Sydney, Australia. I am a hard worker who is dedicated to delivering projects on time. I have a creative mind and am able to find solutions to problems when they arise.
Vancouver, British Columbia, Canada
|
|
|
0
Kudos
|
|
3.5
2 Skills
|
|
Ask
Rate/Hr
|
323 Serena Dr (708)665-5544 Chicago Heights, Il 60411 ` (708)663-0499 Resume Of ROBERT E. ROBERTS PERSONAL DATA: Born 09/24/1992, single, excellent health. OBJECTIVE: Seeking employment for writing positions that is open. EXPERIENCE: June 2010 –September 2010 Rico’s Pizza Pizza Maker 18324 Governors Highway Salary: $8.50 Homewood, 60430-2910 1 (708) 957 -0200 DUTIES: Labor promoted to pizza maker, Clerk ACTIVITY: August 2009 – March 2011 H-F high School Forensics Team Public Address 999 Kedzie Ave Speaker/Writer Flossmoor, 60422-2248 1 (708) 799 -3000 DUTIES: Writing and delivering public addresses for competitions on a novice level, Promoted to varsity writer and speaker, and communicating with other students and teachers at tournaments. ACTIVITY: August 2010- present H-F high School Athletics Student Trainer 999 Kedzie Ave Flossmoor, 60422-2248 1 (708) 799 -3000 Duties: Taping resist, preparing ice bag for injuries, evaluating injuries, and logging in data. EDUCATION: Work in process at: Homewood- Flossmoor High School Senior Graduates June 2011 999 Kedzie Ave Flossmoor, 60422-2248 1 (708) 799 -3000 References available upon requests.
Illinois, United States
|
|
|
1
Kudos
|
|
4.0
2 Skills
|
|
$30
Rate/Hr
|
Carna Richardson (678) 792-8651 clrweb01@gmail.com Objective: Highly self motivated and goal-oriented professional committed to pursuing a long-term career in software development and Web Design. Offer a 10-year track record demonstrating strong analytical and problem solving skills, computer proficiency, and ability to follow through with projects from inception to completion. Qualifications Summary: Design and code web pages using interface best practices, including accessibility, and usability Monitor and enhance web performance and ensuring every page is 508 compliant Use code to automatically include content from other sources via RSS, XML, and similar technologies Create multimedia, including photo galleries, slide shows, and videos embedded in Web pages Research trends in Web design, coding, and functionality such as social media Involved in all aspects of Web Site Security Assist in creating blogs and interactive websites Several years of experience working with posting content on Website and Social Media Sites Perform routine maintenance of Web Content and Web Services to meet client needs Track developments in use of third-party sites Create technical documents outlining options for project managers and other senior staff In-depth knowledge of web design principles to produce innovative and professional web sites Creative talent for offering a keen eye for quality design and document/Web site layout Exceptionally well organized and strong work ethics Software Skills: Software Packages Adobe Suite CS5 Dreamweaver CS6 Microsoft Office Suite 2010 Microsoft SharePoint 2007 Adobe Acrobat PRO 10.1.4 Content Management Software Interwoven Teamsite Stellent SiteRefresh Software Languages HTML CSS JavaScript XML Java (beginning) Education & Training: Capella University, Minneapolis, MN Master’s of Science Degree, Systems Design & Programming, September, 2007 Stevenson University, Stevenson, MD Bachelors of Science Degree, Computer Information Systems, December, 1995 Employment: Northrop Grumman, 4/12 to present (Government Contractor for CDC, Atlanta GA) Web Designer III Hours worked: 40 hours Major Design Projects Completed the redesign of the Division of Population Health Intranet Site (DPH) website: http://intranet.cdc.gov/nccdphp/dph/index.html Completed the Health – Related Quality of Life (HRQOL) Tables project website: http://www.cdc.gov/hrqol/Mental_Health_Reports/mental_health_reports.html Websites currently support DPH Internet and Intranet http://intranet.cdc.gov/nccdphp/dph/index.html http://www.cdc.gov/nccdphp/dph/ PRC (Prevention Research Centers) http://www.cdc.gov/prc/ Alcohol http://www.cdc.gov/alcohol/ Arthritis http://www.cdc.gov/arthritis/ HQROL http://www.cdc.gov/hrqol/ QinetiQ-NA, 9/08 to 4/12 (Government Contractor for IRS Chief Counsel, Washington DC) Webmaster Embedding videos Monitor and enhance Web performance Make sure every web page is section 508 compliant Ensure Intranet/Intranet/Data Security Restore operations in the event of interruptions and/or outages Stage and test updates to Intranet pages and content to verify functionality Move updates from staging area into production Prepare and add new content to the Chief Counsel Intranet, as directed Provide training to users on new systems Assist center technical support staff during on-site or remote support as required Provide documentation of enhancements Providing technical status reports on a weekly basis Provide technical advice and guidance to Government technical staff Software used: Adobe Photoshop, Microsoft SharePoint 2007 Language used: HTML, CSS, JavaScript, and XML, ASP, ASP.net Jhpiego, 7/08 to 9/08 (Contract) Webmaster Managing content for the day to day updates for the company’s HTML and ASP websites Editing code on the Microsoft SharePoint 2003 Intranet server Produce commercial quality graphics, HTML, authoring, banner ads, site-layout and production Assist web developers with coordination and implementation of Interactive Web features Providing technical status reports on a weekly basis Software used: Adobe Photoshop, Dreamweaver, Flash Language used: HTML, CSS, JavaScript, and XML Quotient, Columbia, MD Web Content Manager, 05/08 to 6/08 (Government Contract) Updated content for individual websites using Content Management System (Interwoven) Developed rotating images on a weekly basis Creating e-newsletters and email marketing blasts Participated in client meetings and conference calls Providing technical status reports on a weekly basis Provide technical advice and guidance to Government technical staff Software used: Adobe CS3 Suite and other related HTML items using CSS Language used: HTML, CSS, JavaScript, and XML American Institute of Architects, Washington, D.C. (Government Contract) Web Support Specialist, 01/08 to 4/08 Develops, designs, produces and codes new web pages for individual departments and/or programs Edits, maintains and updates current web pages. Maintains current knowledge of web site development (operating systems, software) Defines web page design criteria; ensures design is consistent and 508 compliant Provides technical support and instruction to staff Providing technical status reports on a weekly basis Provide technical advice and guidance to Government technical staff Software used: Adobe CS3 Suite and other related HTML items using CSS Language used: HTML, CSS, JavaScript, and XML WeLocolize, Frederick, MD (Contract) Web Associate, 8/07 to 12/07 Edited content for the HTML help files for the companies’ local website Modified JavaScript programs to get compliance test to function without any errors Converted word documents in HTML code to post in website Providing technical status reports on a weekly basis Software used: Adobe CS3 Suite and other related HTML items using CSS Language used: HTML, CSS, JavaScript, and XML Corporate Executive Board, Washington DC Web Associate, 4/07 to 8/07 (Contract) Develops, designs, produces and codes new web pages for individual departments and/or programs Created e-newsletters and sent out html emails Converted word documents in HTML code to post in website Providing technical status reports on a weekly basis Software used: Adobe CS3 Suite and other related HTML items using CSS Language used: HTML, CSS, JavaScript, and XML InPhonic, Largo, MD Junior Web Developer, 4/06 to 3/07 Maintain and modify existing software/Web applications Effectively maintain documentation and all codebase Develop new software/Web applications as assigned Providing technical status reports on a weekly basis Language used: HTML, CSS, JavaScript, and XML, ASP, and ASP.net Software used: EditPlus, Visual Source Safe, Visual Studio.net References: Available upon request
Atlanta, Georgia, United States
|
|
|
KB Gysel - Freelance Article Writing & Content Writing |
|
0
Kudos
|
|
5.0
2 Skills
|
|
$50
Rate/Hr
|
30+ years of writing, management, supervision and working with diverse populations. I have written technical documents including policies and procedures; rewritten articles, manuals and articles for various publications on line and in print. I am precise and timely in turning around assignments. You will be very pleased with my ability to transform your thoughts into well played words, formatted for pleasurable reading. I look forward to reading your book and adding to the ease and facility of your readers.
New York, United States
|
|
|
0
Kudos
|
|
4.5
2 Skills
|
|
Ask
Rate/Hr
|
Self-taught Graphic Designer/ Artist with more than 7 1/2 years of experience planning, developing and creating pieces of art uncommon to most eyes. Wish to pursue a more professional career where I can express creative talents with minimal limitations. Detailed-oriented, but still able to see the whole picture. Creative mind in search for creative freedom.
United States
|
|
|
Jonathan Cast - Freelance Website Architecture & Website Programming |
|
0
Kudos
|
|
4.0
2 Skills
|
|
$60
Rate/Hr
|
• Freelance Senior Software Developer with 10 years’ experience developing software and designing and integrating systems. • Looking for front-end or back-end web development position; remote only; open-source preferred; will learn whatever is needed for your job, but strongest with Perl, JavaScript, TypeScript, Haskell. • In my spare time, I’m designing a new programming language, Global Script, where I’m trying to incorporate what I’ve learned from experience and self-study about software architecture and systems design. Social Media • github: https://github.com/jonathancast • LinkedIn: https://www.linkedin.com/in/jonathancast/ • StackOverflow: https://stackoverflow.com/users/1473927/jonathan-cast Principle Skills Testing • Learned test-driven development and wrote unit tests and integration tests at Rentrak, and employed those skills throughout my development work at NYAB, EML, and on Global Script. • Wrote automated integration test suites using Selenium and Python at Givelify, and set them up to run under Jenkins. • Performed manual testing of all software written at Rentrak, NYAB, and EML to ensure quality and correctness before handing them over to QA. Application Design • Helped steer the design of the application at Rentrak and EML. • Helped design the SOA Architecture at EML. Principle Technologies Software-Development Lifecycle • Worked throughout the software-development lifecycle on all projects, from initial conception through coding and developer testing to working with QA and deploying and testing in production. Relational Database • Used Postgres at Rentrak, including writing SQL for application functions. • Use Sybase ASE at EML and worked on Postgres migration project. Functional Programming • Love functional programming; introduced several FP idioms at Rentrak and EML, as well as basing Global Script on the functional paradigm. Agile • Used Scrum and Kanban to regularly deliver software at EML. I found that I preferred Kanban, both for the lower ceremony load and because working in sprints, for us, never produced a steady load on the developers. Continuous Integration • I develop Global Script using continuous integration practices and helped both Rentrak and EML move toward continuous integration testing and continuous deployment best-practices, including the use of Jenkins for testing at EML. • Helped introduced continuous testing using Jenkins at Givelify. Principle Tools Perl • Used Perl at Rentrak, NYAB, and EML as a software developer; also used Perl for automation and scripting tasks throughout that time, including primary use of Perl for automated data transfer at NYAB. Haskell • Learned Haskell in college, and used it in a research position at OU; using Haskell in the new Global Script implementation. SQL • Used SQL at Rentrak, NYAB, EML, and Givelify for database access. Linux • Developed for Linux at Rentrak, NYAB, and EML. Python • Used Python to write automated tests at Givelify. Additional Skills Installation • Worked on automated deployment processes at Rentrak and EML. • Performed stage deployments at EML, and assisted in prod deployments, including diagnosing issues with the code once it went live and finding missing configuration changes. • Migrated EML production website from an obsolete domain name to a supported domain, including software configuration and Apache configuration changes. Additional Technologies Integration • Worked on system integration at EML and migrated EML to SOA, including developing new REST-based APIs for the legacy system at EML and worked with other developers to design the integration between new services and the legacy system. • Worked on integrations with external systems (customers and providers) at EML. REST • Wrote new REST-based APIs for the legacy system at EML and worked with other developers to design the integration between new services and the legacy system. Additional Tools JavaScript • Used JavaScript for front-end tasks as required at Rentrak and EML. CGI Scripts • Used CGI scripting at Rentrak for web development. HTML • Wrote and modified HTML at Rentrak and (particularly) at EML for front-end tasks as required. CSS • Wrote and modified CSS as needed at EML for front-end tasks. jQuery • Used jQuery a little bit at EML for front-end development. Apache • Used Apache at Rentrak and EML; made Apache configuration changes at EML, including migrating a website to a new URL. git • Worked on the SVN to git transition at Rentrak, including designing the branching and merging strategy for their shared code. Used git heavily at EML. AWS • Used AWS servers at Givelify. • I’ve started migrating Global Script’s web presence to AWS, and am planning to learn more about AWS over time. AngularJS • I started learning AngularJS last year. Shell • Used shell scripting for automation and development tasks through my career. Selenium • Used Selenium to write automated tests at Givelify. Jenkins • Used Jenkins for automated testing and deployment at EML and Givelify. Software Development Experience Personal Project: Caleo Greeter April 2018-Present https://github.com/jonathancast/ecclesia-greeter Principle tools: Angular, JavaScript, Perl, Dancer, Linux, Postgres Wrote simple web application to be run on a tablet at the greeter’s desk at church. It allows members to check themselves in, making it easier for the church to track attendance, and would also act as a guest book for visitors. All data is uploaded to a DB, and Greeter also allows attendance data to be retrieved and examined by the church elders at any time during the week. Personal Project: Music Player April 2018-April 2018 https://hub.darcs.net/jcast/music-player Principle tools: Perl, Linux, SQLite Got fed up with the music player applications that were available for Linux, so I decided to write my own, using Perl / DBIC / SQLite. Givelify July 2017-Mar 2018 Senior Software Engineer Dallas, Texas Principle tools: Linux, Amazon AWS, Python, Selenium, Jenkins, BrowserStack, Integration Testing, PHP Givelify is a mobile donations provider for churches and non-profits. Its founder was inspired when, in church one day, he wanted to make an offering, but found himself without the means to do so; he realized that, since most people have their phones on them at all times, a mobile application for giving would make it more convenient for donors and increase donations for donees. • Developed automated integration tests using Python and Selenium, and ran them automatically through Jenkins. Experimented with using BrowserStack, but found that it added an additional variable that actually made the tests less reliable than using Selenium and Firefox to run them locally on Linux. Personal Project: Global Script (Haskell Implementation) Sep 2016 - Present https://hub.darcs.net/jcast/hsglobalscript3 https://hub.darcs.net/jcast/globalscript-spec Principle tools: Haskell, rc, Integration Tests, TDD Global Script is a family of purely-functional domain-specific languages, based on a common syntax. The syntax strikes what, in my opinion, is a good balance between the ML/Haskell style and the Lisp style; it’s extensible in similar ways to a Lisp, while retaining (and, in my opinion, improving) the readability of Haskell. • Keeping the language purely functional and pushing environment-dependent facilities out of the core language implementation has several advantages. ? Refusing to resort to side effects means that we’re likely to generate more information about what can and cannot be done without them. ? Global Script is intended to work in all environments; not only server-side (like most languages) or on the desktop, but also in the browser, in DB stored procedures, in code uploaded to a server and run server-side, etc. Keeping the core language environment-independent makes it easier to guarantee that code that shouldn’t do file I/O is incapable of it. • Having a common core language means that data structures and functions can still be re-used between stored procedures, middle-layer software, and client-side software. • Global Script allows model-view-controller applications to give different types to model and view code, which makes it easier to keep them separate, while still allowing them to communicate. • The current Global Script implementation consists of a translator from Global Script to Haskell, written in Haskell, and another parser / type-checker / interpreter for Global Script written in Global Script itself, and compiled to Haskell using the Haskell version of the compiler. I am working on filling out this second Global Script implementation until the first compiler can be re-implemented in Global Script, removing the direct Haskell dependency. Assurant Valuations (was eMortgageLogic) Jan 2014-Jan 2017 Senior Software Developer North Richland Hills, Texas Principle tools: Linux, Apache, Perl, JavaScript, ActiveMQ, TDD, Unit Testing, Kanban, Scrum Maintained and extended automated system for collecting Broker Price opinion (BPO) and Appraisal (APR) orders from banks, offering orders to brokers and/or appraisers, and collecting BPO / APR data, rendering BPOs as PDFs, and sending final deliverables to banks. A BPO differs from an APR in that it’s completed by an experience real estate broker and not by a licensed appraiser. Banks are required to use APRs for certain decisions (in particular, loan originations) by relevant banking regulations; for other decisions, they purchase BPOs for cost reasons (APRs are 5-10x as expensive as BPOs). • Wrote auditing software for the APR assignment process (which is highly regulated), allowing EML to demonstrate that the best appraiser available was fulfilling each APR order. • Removed substantial dead code from the legacy system, preparing for a transfer to a new system. • Introduced object-oriented entity class system, improving caching and performance as well as creating a uniform API internally. • Introduced DBIx::Class-based persistence layer, reducing the amount of hand-written SQL in the system significantly and speeding up the process of conversion from Sybase to Postgres. • Introduced Test::Class-based unit testing system, reducing start-up time and allowing better test isolation. • Sped up the webpage for brokers to accept orders, and tied it to the automated assignment process to prevent unqualified brokers from getting orders. • Wrote single sign-on system for EML employees to share usernames and passwords between the legacy system and the new systems. Personal Project: Global Script (C Implementation) Jan 2011 – Sep 2016 https://hub.darcs.net/jcast/globalscript Principle tools: Linux, C, rc, Integration Tests, Unit Tests, TDD This was an old implementation of the Global Script runtime. I abandoned it because I was unable to make it stable in practice on large programs. It’s divided into three pieces: a C language library common to all languages which implements the basic calculus, a per-language C program using that library, and a set of compiler passes written in the Global Script-based language IBIO, which translate source-level Global Script to a level the C library understands. It takes an intermediate language I intended to produce from a compiler; this is purely functional, and Global Script evaluation as performed by the library has no side effects. New York Air Brake, Train Dynamic Systems Division Jul 2013-Jan 2014 Software Developer Irving, Texas Principle Tools: Linux, Perl, SQLite, Integration tests, Shell, KML Worked on Perl scripts for loading track and item location into SQLite database for use by train simulator. TDS built its simulations to be as close to the exact tracks the engineers will be driving over as possible. Rentrak Corporation Aug 2007 – Oct 2012 Senior Software Engineer Portland, OR Principle tools: Linux, Apache, Perl, speedy_cgi, Mason, Unit Tests, TDD Wrote TV measurement (ratings) reports for networks. Rentrak does many kinds of media measurement, based on enormous amounts of data (up to 90% of all available data in for some media), and I worked on the roll-out of their linear TV project. • Wrote a new system for generating reports in Excel, based on Mason templates that generated XML, with emphasis both on the appearance of the reports (we wanted them to look good when printed and distributed to advertisers) and the usefulness of the reports as spreadsheets. • Enhanced the report SQL auto-generation logic to handle trickier data than Rentrak had previously used. • Developed Average Audience and Rating calculations to meet customer requirement, including custom logic for summarizing Average Audience from internal data. • Championed and enhanced re-usable object-oriented system for report display, and for delivering reports uniformly across HTML, PDF, and Excel output. University of Oklahoma 2001 - 2003 Research Assistant Norman, OK Principle tools: Haskell This project was for an experiment with replacing the standard Discrete Math curriculum for Computer Science students with a functional programming/software reasoning course. The project was to build a proof checker for boolean algebra. • The proof-checker was built as a DSL in Haskell; boolean expressions and proofs were encoded as Haskell expressions, with a function in the IO monad to take a proof, check it, and report validity/invalidity to the user. • The proof-checker was used as an aid for teaching the students equational reasoning; the course taught boolean algebra first before moving on to equational reasoning in Haskell. Education Bachelors in Mathematics University of Oklahoma, Norman August 2006
Fort Worth, Texas, United States
|
|