CS Postdoc Profiles » Other

Zhiqiang Liu from Clarkson University

tdomf_c5ea8 — Fri, 06 Apr 2012 06:34:58 +0000

Education Background:

I got my master’s degree in theoretical mathematics, specifically the homology algebra in 2005. After two years working, from 2007, I started my computer science study at Clarkson University. Besides studying basic computer science classes, I learned some knowledge on Satisfiability Modulo Theories, which is a SAT problem in first order logic modulo equational theo-ries. Later, I read some papers about theorem proving and unification for preparing my future research. At the same time, I learned some basic background of cryptographic primitives and protocol design. I also took some classes on quantum computing, quantum cryptography and tensor products.

My Current Research:

Starting in 2009, I started working on designing E-unification algorithm modulo XOR and AG(with and without homomorphism) . My focus is on the application of unification to cryptographic protocols analysis via formal methods. The gaol is to find simple and efficient E-unification algorithms, which are applied to cryptographic protocol. This includes two parts: algorithms that are easy to be implemented and are efficient in practice. So far we devised several unification algorithms modulo exclusive OR (with homomorphism), Abelian groups (with homomorphism) and implemented them in Maude, which is a high-performance reflective language and system supporting both equational and rewriting logic specification and programming for a wide range of applications. Now we are working on asymmetric unification algorithm modulo XOR and Abelian, which is a new approaches derived from cryptograpic protocol analysis in Maude-NPA.

My Career Goal:

I want to be a research professor in computer science. So far, I am willing to find a postdoc or related research position in computer science, specifically in model checking, theorem proving, cryptographic protocols analysis, etc.

You can view my CV via here.

Contact Information

E-Mail: EMAIL OBFUSCATED

Phone: 5182750-63

Suzanne Matthews from Texas A&M University

tdomf_c5ea8 — Mon, 26 Mar 2012 15:39:37 +0000

About my PhD Research: Evolutionary relationships between a group of organisms are typically depicted in a phylogenetic tree. However, the most popular techniques to infer these structures tend to return tens to hundreds of thousands of equally or similarly weighted hypothetical trees, making it very difficult to determine the “best” tree. As tree collections grow large, they become cumbersome to analyze and store. My dissertation presents several novel computational techniques that enable scientists to efficiently manage and analyze their large tree collections, helping them leverage their data to build better phylogenetic trees.

Impact of My Work: The ability to manage and analyze large collections of phylogenetic trees is critical to biological research. As the numbers of organisms under study grow, so too will the outputted tree collections. My work makes it easy for scientists to efficiently analyze and store tree collections consisting of tens to hundreds of thousands of trees: TreeZip is the most efficient approach for compressing tree collections; MrsRF is the fastest method for comparing large groups of trees.

What I’m Looking For: I love working on challenging problems in computational biology. Currently, I’m looking for a position that will broaden my knowledge of data analysis and management of large biological datasets, and assist my growth as a researcher. I also have a strong interest in reproducible research, and working on a project related to promoting reproducibility in computational biology is a huge plus.

What I Bring to the Table: I am an experienced computer scientist and computational biologist with strong knowledge of both computer science and biology. In addition to computational phylogenetics, I have worked on projects related to sequence alignment and protein folding. I have strong written and oral communication skills, and have authored (or co-authored) seven papers during my graduate career. I have also given numerous presentations, four of which have won awards. I have a reputation of being a hard worker who is very passionate about what I do.

For More Information: Please visit my website for a full list of my publications, CV, and contact information.

Contact Information

E-Mail: EMAIL OBFUSCATED

Phone: 609-365-0468

srinivas nedunuri from University of Texas at Austin

tdomf_c5ea8 — Wed, 22 Feb 2012 23:34:37 +0000

My PhD is in the area of efficient algorithm synthesis, under the supervision of Doug Smith and William Cook. My dissertation is about how to systematically synthesize efficient algorithms from formal specifications within an automated software engineering framework. I am highly motivated by the goal of solving practical problems. In my dissertation I identify a class of problems that can be efficiently solved by best first search, as well as providing an algorithm schema for doing so, and a methodology by which a solution can be developed. I also show how to semi-automatically synthesize efficient algorithms for NP-hard problems such as Planning that leads to domain-specific planners that are much faster than state of the art automated ones.

I also have 12 years of industrial experience in both R&D labs and software development divisions involving all phases of software development from initial conception to final code production. During this time I worked on program generation (Inferdata and Nasa Ames), program comprehension tools (Semantic Designs), software architecture (Evolve), and software tools (Oracle). Please refer to my CV for more details.

I am interested in both applying some of my research ideas in practical settings as well as incorporating them (in a form of lightweight synthesis) into existing tools. Either way, there are a number of directions in which I feel they could be extended. A particular area of interest is in the direction of handling uncertainty and multi-player scenarios (e.g. for contingent planning, controller synthesis, etc)

Contact Information

E-Mail: EMAIL OBFUSCATED

Phone: 512 419 8325

Smitashree Choudhury from Digital Enterprise research Institute, National university of Ireland

tdomf_c5ea8 — Thu, 26 May 2011 21:11:01 +0000

I am a Phd student in Digital Enterprise Research Institute,National University of Ireland.My Areas of interest includes semantic web, social web, application of semantic web in multimedia, user behaviour in socialweb. I will finish my Phd in August,2011.

http://www.linkedin.com/profile/view?id=75526575&locale=en_US&trk=tab_pro

Contact Information

E-Mail: EMAIL OBFUSCATED

Phone: +353-0852893217

Amit Patel from Duke University

tdomf_c5ea8 — Sat, 12 Feb 2011 10:28:40 +0000

I am interested in persistent homology, stability, and in general, algorithms related to topology.

www.akpatel.org

Contact Information

E-Mail: EMAIL OBFUSCATED

Ilana Diamant from University of Pittsburgh

tdomf_c5ea8 — Sun, 24 Oct 2010 14:06:35 +0000

My main research interests are in cyberinfrastructure studies, and CSCW/HCI/social computing.

Contact Information

E-Mail: EMAIL OBFUSCATED

Phone: 7348460648

Vladimir Rogojin from Åbo Akademi, Turku, Finland

tdomf_c5ea8 — Thu, 29 Oct 2009 16:05:10 +0000

I am working in the interdisciplinary area of Natural Computing and Systems Biology. As a computer scientist and mathematician I am developing and implementing new advanced mathematical and computational methods, algorithms and models to explain, interpret and analyze different biological processes.

On another hand, I am focused on the bio-inspired paradigms and computational models in Theoretical Computer Science. In particular, I am working in DNA-computing, Membrane computing and Cellular computing areas.

I am interseted in both applying my computer science and mathematical background in order to deepen our understanding of biological systems, and also, to develop biologicaly inspired models and methods in computer science and mathematics.

My research interests are:

• Computational biomodelling
• Discrete Mathematics
• Automata and formal languages
• Systems Biology
• Biocomputing
• Bioinformatics

My research topics are:

• Cellular computing:
- Modelling gene assembly in ciliates
• Theoretical Computer Science:
- Computability theory
- Automata and Formal language theory
• Computational systems biology:
- Modelling self-assembly of intermediate filaments
- Modelling heat-shock response
• Biocomputing:
- Membrane computing
- DNA computing

I have in total 17 publications, out of which: 7 journal publications, 6 publications in conference proceedings. List of publications is accessible here: http://combio.abo.fi/~vrogojin/publications_page.shtml

My Curriculum Vitae is accessible here: http://combio.abo.fi/~vrogojin/cv_page.shtml

The abstract of my doctoral dissertation is accessible here: http://combio.abo.fi/~vrogojin/dissertation.shtml

Contact Information

E-Mail: EMAIL OBFUSCATED

Phone: +358 400 861 647

Thomas Kiehl from Rensselaer Polytechnic Institute

tdomf_c5ea8 — Thu, 17 Sep 2009 15:11:41 +0000

My interests lie primarily in three areas:
1.Systems Biology: in the application of modeling, simulation, machine learning, and experimental biology techniques toward the understanding and design of biological systems.
2.Evolutionary Computing (EC): in theory as well as in application to machine learning, networks and engineering/design.
3.Information Systems: as a necessary backbone supporting the above efforts and other novel applications. This includes distributed computing systems to support large scale stochastic simulations and EC applications and to address the pursuant data management problems.

Contact Information

E-Mail: EMAIL OBFUSCATED

Phone: 518.248.1578

Wei Cheng from National University of Singapore

tdomf_c5ea8 — Wed, 02 Sep 2009 09:18:58 +0000

My research area is in Multimedia system, especially in streaming of 3D models over network, including the encoding, transmitting, decoding, and rendering of the 3D data. Since 2007, I have eight papers published in referred journals and conferences. More detail can be seen in . In 2008, as a co-author, I received the best paper award in ACM Multimedia conference 2008. In 2009, I received Dean’s Graduate Research Excellence Award of National University of Singapore.

Contact Information

E-Mail: EMAIL OBFUSCATED

Phone: +65 81289359

Daniel Evans from University of Idaho

tdomf_c5ea8 — Wed, 19 Aug 2009 17:18:13 +0000

Ph.D. in Computer Science, August 2009, University of Idaho

Master of Science in Electrical Engineering, August 1998, University of Utah

Bachelor of Science in Electrical Engineering, June 1996, University of Utah

Coursework Emphasis in Lasers, Electromagnetics and Optics

Professional & Research Experience

Refereed Publications

D.J. Evans, M.L. Manwaring, and T. Soule, “Parameterized Computational Imaging: Data Driven Computational Modeling for Image Extension”, 31st Annual International Conference of the IEEE Engineering in Medicine and Biology Society, September, 2009, Minneapolis, MN.

D.J. Evans, M.L. Manwaring, and T. Soule, “Inverse computational feedback optimization imaging applied to time varying changes in a homogeneous structure”, 30th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, August 20-24, 2008, p. 3630-3633.

D.J. Evans and M.L. Manwaring, “Modeling the interaction of lasers and tissue: importance of accounting for time varying electric properties”, Optical Interactions with Tissue and Cells XIX. Proceedings of the SPIE, 6854, January 19-24, 2008, p. 68540U-11.

D.J. Evans and M.L. Manwaring, “Modeling the interaction of electric current and tissue: Importance of accounting for time varying electric properties”, 29th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, August 22-26, 2007, p.1117 – 1120.

M.W. Pan, D.J. Evans, et. al., “Spatial and temporal coherence of broad-area lasers with grating feedback,” Journal of the Optical Society of America B: Optical Physics, 15, 10, Oct, 1998, p. 2531-2536.

Conference Presentations

D.J. Evans and M.L. Manwaring, “Modeling the interaction of lasers and tissue: importance of accounting for time varying electric properties”, Presentation at SPIE Photonics West, January 19-24, 2008 in San Jose, CA.

D.J. Evans and M.L. Manwaring, “Modeling the Time Varying Electric Properties of Tissue”, Poster presentation at the Biomedical Engineering Society Conference, September 26-29, 2007 in Hollywood, CA.

D.J. Evans and M.L. Manwaring, “Modeling the interaction of electric current and tissue: Importance of accounting for time varying electric properties”, Poster presentation at the 29th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, August 22-26, 2007.

D.J. Evans and M.L. Manwaring, “Modeling the Interaction of Electric Current and Tissue: Varying Dielectric Properties”, Presentation at the 2007 Idaho Academy of Science Symposium, April 19-21, Idaho Falls, ID.

D.J. Evans and M.L. Manwaring, “Electric Current Model of Varying Tissue Properties”, Presentation at the COMSOL Multiphysics Conference, October 22-24, 2006, Boston, MA.

D.J. Evans, “Horizon Identification using a Pixel Map Array”, Poster Presentation at the 9th Annual EOSTN Symposium – May 2-4, 2006, Santa Barbara, CA.

D.A. Christensen, D.J. Evans and D.R. Westenskow, “Laser Diode Power Build-up Cavity for Raman Analysis of Gas Samples,” FACSS ’98, Austin, Texas, October 12-16, 1998.

Other Publications

D.J. Evans and M.L. Manwaring, “Electric Current Model of Varying Tissue Properties”, Paper Publication in Conference CD of the COMSOL Multiphysics Conference, October 22-24, 2006, Boston, MA.

J.C. Ramirez-San-Juan, G. Aguilar, et. al. “Skin Model Surface Temperatures During Single and Multiple Cryogen Spurts Used in Laser Dermatologic Surgery”, Lasers in Surgery and Medicine, 36, 141-146, 2005 (D.J. Evans listed in acknowledgment).

Contact Information

E-Mail: EMAIL OBFUSCATED