Me rome 2023 nov

Miguel Gamboa

I am passionate about solving operational problems through the design of innovative and technological solutions that prioritize flexibility, extensibility, and reutilization. With a career spanning since 1997, I have successfully developed and managed diverse information systems projects, specifically within the financial and telecommunications sectors.

Currently, I hold the position of Assistant Professor at ISEL in Computer Science and Computer Engineering. In addition, I serve as the supervisor of the Languages and Managed Runtimes course, which has evolved to include comprehensive coverage of Kotlin on the JVM.

I earned my PhD degree (2009-14) in Information Systems and Computer Engineering from IST. My dissertation, titled "Optimizing Memory Transactions for Large-Scale Programs," focuses on providing an efficient alternative to shared-memory synchronization methods (such as monitors and locks) in modern managed runtime environments like Java and .Net. Notably, my work was honored with the BEST Paper Award at ICA3PP’13 in Vietri sul Mare, Italy.

Since completing my PhD in 2014, my focus has shifted towards active involvement in open source development. I am the proud author of the HtmlFlow library, a Java DSL for crafting typesafe HTML (github.com/xmlet/HtmlFlow). In recognition of my contributions, I was honored with the Excellence Award by IPL in 2019.

Published Books

The Managed Runtime Environment: Diving into the JVM with Kotlin
The Managed Runtime Environment: Diving into the JVM with Kotlin
Miguel Gamboa

Logo white 96 67 2x

Publish Early, Publish Often

  • Path
  • There are many paths, but the one you're on right now on Leanpub is:
  • Store › User
    • READERS
    • Newsletters
    • Weekly Sale
    • Monthly Sale
    • Store
    • Home
    • Redeem a Token
    • Search
    • Support
    • Leanpub FAQ
    • Leanpub Author FAQ
    • Search our Help Center
    • How to Contact Us
    • FRONTMATTER PODCAST
    • Featured Episode
    • Episode List
    • MEMBERSHIPS
    • Reader Memberships
    • Department Reader Memberships
    • Author Memberships
    • Your Membership
    • COMPANY
    • About
    • About Leanpub
    • Blog
    • Contact
    • Press
    • Essays
    • AI Services
    • Imagine a world...
    • Manifesto
    • More
    • Partner Program
    • Causes
    • Accessibility
    • AUTHORS
    • Write and Publish on Leanpub
    • Create a Book
    • Create a Bundle
    • Create a Course
    • Create a Track
    • Testimonials
    • Why Leanpub
    • Services
    • TranslateAI
    • TranslateWord
    • TranslateEPUB
    • PublishWord
    • Publish on Amazon
    • CourseAI
    • GlobalAuthor
    • Marketing Packages
    • IndexAI
    • Author Newsletter
    • The Leanpub Author Update
    • Author Support
    • Author Help Center
    • Leanpub Authors Forum
    • The Leanpub Manual
    • Supported Languages
    • The LFM Manual
    • Markua Manual
    • API Docs
    • Organizations
    • Learn More
    • Sign Up
    • LEGAL
    • Terms of Service
    • Copyright Policy
    • Privacy Policy
    • Refund Policy

*   *   *

Leanpub is copyright © 2010-2025 Ruboss Technology Corp.
All rights reserved.

This site is protected by reCAPTCHA
and the Google  Privacy Policy and  Terms of Service apply.

Leanpub requires cookies in order to provide you the best experience. Dismiss