Recent Publications

The full list is available too

Recent & Upcoming Talks

Recent Posts

Content can be written using Markdown, LaTeX math, and Hugo Shortcodes. Additionally, HTML may be used for advanced formatting. This article gives an overview of the most common formatting options.

CONTINUE READING

How to use Hugo and Academic to get a nice site (pubs in bibtex!)

CONTINUE READING

Projects

My research has primarily focused on the design and implementation of domain specific languages for combinatorial optimization. It is motivated by the recognition that many optimization problems require considerable expertise in theoretical and experimental computer science as well as in the application domain (e.g., scheduling, chemical engineering). Indeed most of these problems are NP hard and require sophisticated algorithms and data structures to obtain reasonable solutions. Moreover, the resulting software is often intricate and hard to maintain, modify, and extend.

Cyberseed

An annual Cyber security conference and competitions.

Cryptanalysis

Breaking Encryption with Optimization (and side-channel)

Objective-CP

An Hybrid Optimization Platform

Securing Cloud Apps

Secure VM Deployments

Teaching

Present

Past

I taught the following classes at UConn

I also taught CS4 at Brown University together with Nancy Pollard in the Fall of 2000.

Contact

  • ldm@uconn.edu
  • 860-486-2584
  • ldmbis
  • Department of Computer Science & Engineering University of Connecticut, 371 Fairfield Way, Unit 2155 Storrs, CT 06269-2155
  • Monday and Wednesday 09:00 to 10:00 (ITE 247) or email for appointment